The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Milo M. K. Martin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Milo M. K. Martin, Daniel J. Sorin, Anastassia Ailamaki, Alaa R. Alameldeen, Ross M. Dickson, Carl J. Mauer, Kevin E. Moore, Manoj Plakal, Mark D. Hill, David A. Wood
    Timestamp snooping: an approach for extending SMPs. [Citation Graph (0, 0)][DBLP]
    ASPLOS, 2000, pp:25-36 [Conf]
  2. Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
    Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:489-502 [Conf]
  3. Milo M. K. Martin, Daniel J. Sorin, Mark D. Hill, David A. Wood
    Bandwidth Adaptive Snooping. [Citation Graph (0, 0)][DBLP]
    HPCA, 2002, pp:251-262 [Conf]
  4. Michael R. Marty, Jesse D. Bingham, Mark D. Hill, Alan J. Hu, Milo M. K. Martin, David A. Wood
    Improving Multiple-CMP Systems Using Token Coherence. [Citation Graph (0, 0)][DBLP]
    HPCA, 2005, pp:328-339 [Conf]
  5. Milo M. K. Martin
    Formal Verification and its Impact on the Snooping versus Directory Protocol Debate. [Citation Graph (0, 0)][DBLP]
    ICCD, 2005, pp:543-449 [Conf]
  6. Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood
    Using Speculation to Simplify Multiprocessor Design. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2004, pp:- [Conf]
  7. Milo M. K. Martin, Pacia J. Harper, Daniel J. Sorin, Mark D. Hill, David A. Wood
    Using Destination-Set Prediction to Improve the Latency/Bandwidth Tradeoff in Shared-Memory Multiprocessors. [Citation Graph (0, 0)][DBLP]
    ISCA, 2003, pp:206-217 [Conf]
  8. Milo M. K. Martin, Mark D. Hill, David A. Wood
    Token Coherence: Decoupling Performance and Correctness. [Citation Graph (0, 0)][DBLP]
    ISCA, 2003, pp:182-193 [Conf]
  9. Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood
    SafetyNet: Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint/Recovery. [Citation Graph (0, 0)][DBLP]
    ISCA, 2002, pp:123-0 [Conf]
  10. Milo M. K. Martin, Amir Roth, Charles N. Fischer
    Exploiting Dead Value Information. [Citation Graph (0, 0)][DBLP]
    MICRO, 1997, pp:125-135 [Conf]
  11. Milo M. K. Martin, Daniel J. Sorin, Harold W. Cain, Mark D. Hill, Mikko H. Lipasti
    Correctly implementing value prediction in microprocessors that support multithreading or multiprocessing. [Citation Graph (0, 0)][DBLP]
    MICRO, 2001, pp:328-337 [Conf]
  12. Tingting Sha, Milo M. K. Martin, Amir Roth
    Scalable Store-Load Forwarding via Store Queue Index Prediction. [Citation Graph (0, 0)][DBLP]
    MICRO, 2005, pp:159-170 [Conf]
  13. Tingting Sha, Milo M. K. Martin, Amir Roth
    NoSQ: Store-Load Communication without a Store Queue. [Citation Graph (0, 0)][DBLP]
    MICRO, 2006, pp:285-296 [Conf]
  14. Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
    Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:130-145 [Conf]
  15. Alaa R. Alameldeen, Milo M. K. Martin, Carl J. Mauer, Kevin E. Moore, Min Xu, Mark D. Hill, David A. Wood, Daniel J. Sorin
    Simulating a $2M Commercial Server on a $2K PC. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2003, v:36, n:2, pp:50-57 [Journal]
  16. Milo M. K. Martin, Mark D. Hill, David A. Wood
    Token Coherence: A New Framework for Shared-Memory Multiprocessors. [Citation Graph (0, 0)][DBLP]
    IEEE Micro, 2003, v:23, n:6, pp:108-116 [Journal]
  17. Milo M. K. Martin, Daniel J. Sorin, Bradford M. Beckmann, Michael R. Marty, Min Xu, Alaa R. Alameldeen, Kevin E. Moore, Mark D. Hill, David A. Wood
    Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset. [Citation Graph (0, 0)][DBLP]
    SIGARCH Computer Architecture News, 2005, v:33, n:4, pp:92-99 [Journal]
  18. Daniel J. Sorin, Manoj Plakal, Anne Condon, Mark D. Hill, Milo M. K. Martin, David A. Wood
    Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2002, v:13, n:6, pp:556-578 [Journal]
  19. Colin Blundell, Joe Devietti, E. Christopher Lewis, Milo M. K. Martin
    Making the fast case common and the uncommon case simple in unbounded transactional memory. [Citation Graph (0, 0)][DBLP]
    ISCA, 2007, pp:24-34 [Conf]
  20. Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
    CheckFence: checking consistency of concurrent data types on relaxed memory models. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:12-21 [Conf]
  21. Tingting Sha, Milo M. K. Martin, Amir Roth
    NoSQ: Store-Load Communication without a Store Queue. [Citation Graph (0, 0)][DBLP]
    IEEE Micro, 2007, v:27, n:1, pp:106-113 [Journal]

  22. Hardbound: architectural support for spatial safety of the C programming language. [Citation Graph (, )][DBLP]


  23. Generating Litmus Tests for Contrasting Memory Consistency Models. [Citation Graph (, )][DBLP]


  24. InvisiFence: performance-transparent memory ordering in conventional multiprocessors. [Citation Graph (, )][DBLP]


  25. RETCON: transactional repair without replay. [Citation Graph (, )][DBLP]


  26. CETS: compiler enforced temporal safety for C. [Citation Graph (, )][DBLP]


  27. Token tenure: PATCHing token counting using directory-based cache coherence. [Citation Graph (, )][DBLP]


  28. SoftBound: highly compatible and complete spatial memory safety for c. [Citation Graph (, )][DBLP]


  29. Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically. [Citation Graph (, )][DBLP]


  30. Subtleties of Transactional Memory Atomicity Semantics. [Citation Graph (, )][DBLP]


Search in 0.030secs, Finished in 0.032secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002