Milo M. K. Martin

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 4

Top Topics

Constraint Checking

Top Venues

Publications

Dan Gibson, Hema Hariharan, Eric Lance, Moray McLaren, Behnam Montazeri, Arjun Singh, Stephen Wang, Hassan M. G. Wassel, Zhehua Wu, Sunghwan Yoo, Raghuraman Balasubramanian, Prashant Chandra, Michael Cutforth, Peter Cuy, David Decotigny, Rakesh Gautam, Alex Iriza, Milo M. K. Martin, Rick Roy, Zuowei Shen, Ming Tan, Ye Tang, Monica Wong-Chan, Joe Zbiciak, Amin Vahdat
Aquila: A unified, low-latency fabric for datacenter networks. NSDI (2022)
Arjun Singhvi, Aditya Akella, Maggie Anderson, Rob Cauble, Harshad Deshmukh, Dan Gibson, Milo M. K. Martin, Amanda Strominger, Thomas F. Wenisch, Amin Vahdat
CliqueMap: productionizing an RMA-based distributed caching system. SIGCOMM (2021)
Arjun Singhvi, Aditya Akella, Dan Gibson, Thomas F. Wenisch, Monica Wong-Chan, Sean Clark, Milo M. K. Martin, Moray McLaren, Prashant Chandra, Rob Cauble, Hassan M. G. Wassel, Behnam Montazeri, Simon L. Sabato, Joel Scherpelz, Amin Vahdat
1RMA: Re-envisioning Remote Memory Access for Multi-tenant Datacenters. SIGCOMM (2020)
Milo M. K. Martin, Daniel J. Sorin
Top Picks from the 2015 Computer Architecture Conferences. IEEE Micro 36 (3) (2016)
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
Everything You Want to Know About Pointer-Based Checking. SNAPL (2015)
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking. CGO (2014)
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Synthesizing Finite-state Protocols from Scenarios and Requirements. CoRR (2014)
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
Synthesizing Finite-State Protocols from Scenarios and Requirements. Haifa Verification Conference (2014)
Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur
TRANSIT: specifying protocols with concolic snippets. PLDI (2013)
Arun Raghavan, Laurel Emurian, Lei Shao, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin
Computational sprinting on a hardware/software testbed. ASPLOS (2013)
Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
Formal verification of SSA-based optimizations for LLVM. PLDI (2013)
Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic
Ironclad C++: a library-augmented type-safe subset of c++. OOPSLA (2013)
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
Hardware-Enforced Comprehensive Memory Safety. IEEE Micro 33 (3) (2013)
Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
Syntax-guided synthesis. FMCAD (2013)
Arun Raghavan, Yixin Luo, Anuj Chandawalla, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin
Designing for Responsiveness with Computational Sprinting. IEEE Micro 33 (3) (2013)
Arun Raghavan, Laurel Emurian, Lei Shao, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin
Utilizing Dark Silicon to Save Energy with Computational Sprinting. IEEE Micro 33 (5) (2013)
Milo M. K. Martin, Mark D. Hill, Daniel J. Sorin
Why on-chip cache coherence is here to stay. Commun. ACM 55 (7) (2012)
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi
Multicore acceleration of priority-based schedulers for concurrency bug detection. PLDI (2012)
Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
Formalizing the LLVM intermediate representation for verified program transformations. POPL (2012)
Arun Raghavan, Yixin Luo, Anuj Chandawalla, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin
Computational sprinting. HPCA (2012)
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
Watchdog: Hardware for safe and secure manual memory management and full memory safety. ISCA (2012)
Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams
An Axiomatic Memory Model for POWER Multiprocessors. CAV (2012)
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
Litmus tests for comparing memory consistency models: how long do they need to be? DAC (2011)
Matthew Hicks, Murph Finnicum, Samuel T. King, Milo M. K. Martin, Jonathan M. Smith
Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically. IEEE Symposium on Security and Privacy (2010)
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic
CETS: compiler enforced temporal safety for C. ISMM (2010)
Arun Raghavan, Colin Blundell, Milo M. K. Martin
Token tenure and PATCH: A predictive/adaptive token-counting hybrid. ACM Trans. Archit. Code Optim. 7 (2) (2010)
Colin Blundell, Arun Raghavan, Milo M. K. Martin
RETCON: transactional repair without replay. ISCA (2010)
Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
Generating Litmus Tests for Contrasting Memory Consistency Models. CAV (2010)
Matthew Hicks, Murph Finnicum, Samuel T. King, Milo M. K. Martin, Jonathan M. Smith
Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically. login Usenix Mag. 35 (6) (2010)
Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch
InvisiFence: performance-transparent memory ordering in conventional multiprocessors. ISCA (2009)
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic
SoftBound: highly compatible and complete spatial memory safety for c. PLDI (2009)
Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic
Hardbound: architectural support for spatial safety of the C programming language. ASPLOS (2008)
Arun Raghavan, Colin Blundell, Milo M. K. Martin
Token tenure: PATCHing token counting using directory-based cache coherence. MICRO (2008)
Tingting Sha, Milo M. K. Martin, Amir Roth
NoSQ: Store-Load Communication without a Store Queue. IEEE Micro 27 (1) (2007)
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
CheckFence: checking consistency of concurrent data types on relaxed memory models. PLDI (2007)
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. ISCA (2007)
Tingting Sha, Milo M. K. Martin, Amir Roth
NoSQ: Store-Load Communication without a Store Queue. MICRO (2006)
Milo M. K. Martin, Colin Blundell, E. Lewis
Subtleties of Transactional Memory Atomicity Semantics. IEEE Comput. Archit. Lett. 5 (2) (2006)
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study. CAV (2006)
Tingting Sha, Milo M. K. Martin, Amir Roth
Scalable Store-Load Forwarding via Store Queue Index Prediction. MICRO (2005)
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. SIGARCH Comput. Archit. News 33 (4) (2005)
Milo M. K. Martin
Formal Verification and its Impact on the Snooping versus Directory Protocol Debate. ICCD (2005)
Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. VMCAI (2005)
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. HPCA (2005)
Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood
Using Speculation to Simplify Multiprocessor Design. IPDPS (2004)
Milo M. K. Martin, Mark D. Hill, David A. Wood
Token Coherence: A New Framework for Shared-Memory Multiprocessors. IEEE Micro 23 (6) (2003)
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. ISCA (2003)
Milo M. K. Martin, Mark D. Hill, David A. Wood
Token Coherence: Decoupling Performance and Correctness. ISCA (2003)
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. Computer 36 (2) (2003)
Milo M. K. Martin, Daniel J. Sorin, Mark D. Hill, David A. Wood
Bandwidth Adaptive Snooping. HPCA (2002)
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. ISCA (2002)
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. IEEE Trans. Parallel Distributed Syst. 13 (6) (2002)
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. MICRO (2001)
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. ASPLOS (2000)
Milo M. K. Martin, Amir Roth, Charles N. Fischer
Exploiting Dead Value Information. MICRO (1997)