Exploiting Dead Value Information. - Milo M. K. Martin; Amir Roth; Charles N. Fischer (MICRO, 1997)

Timestamp snooping: an approach for extending SMPs. - 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 001 (ASPLOS, 2000)

Correctly implementing value prediction in microprocessors that support multithreading or multiprocessing. - Milo M. K. Martin; Daniel J. Sorin; Harold W. Cain; Mark D. Hill; Mikko H. Lipasti (MICRO, 2001)

Bandwidth Adaptive Snooping. - Milo M. K. Martin; Daniel J. Sorin; Mark D. Hill; David A. Wood 001 (HPCA, 2002)

SafetyNet: Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint/Recovery. - Daniel J. Sorin; Milo M. K. Martin; Mark D. Hill; David A. Wood 001 (ISCA, 2002)

Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol. - Daniel J. Sorin; Manoj Plakal; Anne Condon; Mark D. Hill; Milo M. K. Martin; David A. Wood 001 (IEEE Trans. Parallel Distributed Syst., 2002)

Using Destination-Set Prediction to Improve the Latency/Bandwidth Tradeoff in Shared-Memory Multiprocessors. - Milo M. K. Martin; Pacia J. Harper; Daniel J. Sorin; Mark D. Hill; David A. Wood 001 (ISCA, 2003)

Token Coherence: Decoupling Performance and Correctness. - Milo M. K. Martin; Mark D. Hill; David A. Wood 001 (ISCA, 2003)

Simulating a $2M Commercial Server on a $2K PC. - Alaa R. Alameldeen; Milo M. K. Martin; Carl J. Mauer; Kevin E. Moore; Min Xu; Mark D. Hill; David A. Wood 001; Daniel J. Sorin (Computer, 2003)

Token Coherence: A New Framework for Shared-Memory Multiprocessors. - Milo M. K. Martin; Mark D. Hill; David A. Wood 001 (IEEE Micro, 2003)

Using Speculation to Simplify Multiprocessor Design. - Daniel J. Sorin; Milo M. K. Martin; Mark D. Hill; David A. Wood 001 (IPDPS, 2004)

Improving Multiple-CMP Systems Using Token Coherence. - Michael R. Marty; Jesse D. Bingham; Mark D. Hill; Alan J. Hu; Milo M. K. Martin; David A. Wood 001 (HPCA, 2005)

Formal Verification and its Impact on the Snooping versus Directory Protocol Debate. - Milo M. K. Martin (ICCD, 2005)

Scalable Store-Load Forwarding via Store Queue Index Prediction. - Tingting Sha; Milo M. K. Martin; Amir Roth (MICRO, 2005)

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. - Sebastian Burckhardt; Rajeev Alur; Milo M. K. Martin (VMCAI, 2005)

Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset. - 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 001 (SIGARCH Comput. Archit. News, 2005)

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study. - Sebastian Burckhardt; Rajeev Alur; Milo M. K. Martin (CAV, 2006)

Subtleties of Transactional Memory Atomicity Semantics. - Milo M. K. Martin; Colin Blundell; E Christopher Lewis (IEEE Comput. Archit. Lett., 2006)

Making the fast case common and the uncommon case simple in unbounded transactional memory. - Colin Blundell; Joe Devietti; E. Christopher Lewis; Milo M. K. Martin (ISCA, 2007)

CheckFence: checking consistency of concurrent data types on relaxed memory models. - Sebastian Burckhardt; Rajeev Alur; Milo M. K. Martin (PLDI, 2007)

NoSQ: Store-Load Communication without a Store Queue. - Tingting Sha; Milo M. K. Martin; Amir Roth (IEEE Micro, 2007)

Hardbound: architectural support for spatial safety of the C programming language. - Joe Devietti; Colin Blundell; Milo M. K. Martin; Steve Zdancewic (ASPLOS, 2008)

Token tenure: PATCHing token counting using directory-based cache coherence. - Arun Raghavan; Colin Blundell; Milo M. K. Martin (MICRO, 2008)

InvisiFence: performance-transparent memory ordering in conventional multiprocessors. - Colin Blundell; Milo M. K. Martin; Thomas F. Wenisch (ISCA, 2009)

SoftBound: highly compatible and complete spatial memory safety for c. - Santosh Nagarakatte; Jianzhou Zhao; Milo M. K. Martin; Steve Zdancewic (PLDI, 2009)

Generating Litmus Tests for Contrasting Memory Consistency Models. - Sela Mador-Haim; Rajeev Alur; Milo M. K. Martin (CAV, 2010)

RETCON: transactional repair without replay. - Colin Blundell; Arun Raghavan; Milo M. K. Martin (ISCA, 2010)

CETS: compiler enforced temporal safety for C. - Santosh Nagarakatte; Jianzhou Zhao; Milo M. K. Martin; Steve Zdancewic (ISMM, 2010)

Token tenure and PATCH: A predictive/adaptive token-counting hybrid. - Arun Raghavan; Colin Blundell; Milo M. K. Martin (ACM Trans. Archit. Code Optim., 2010)

Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically. - Matthew Hicks; Murph Finnicum; Samuel T. King; Milo M. K. Martin; Jonathan M. Smith (login Usenix Mag., 2010)

Litmus tests for comparing memory consistency models: how long do they need to be? - Sela Mador-Haim; Rajeev Alur; Milo M. K. Martin (DAC, 2011)

An Axiomatic Memory Model for POWER Multiprocessors. - Sela Mador-Haim; Luc Maranget; Susmit Sarkar; Kayvan Memarian; Jade Alglave; Scott Owens; Rajeev Alur; Milo M. K. Martin; Peter Sewell; Derek Williams (CAV, 2012)

Computational sprinting. - Arun Raghavan; Yixin Luo; Anuj Chandawalla; Marios C. Papaefthymiou; Kevin P. Pipe; Thomas F. Wenisch; Milo M. K. Martin (HPCA, 2012)

Watchdog: Hardware for safe and secure manual memory management and full memory safety. - Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (ISCA, 2012)

Multicore acceleration of priority-based schedulers for concurrency bug detection. - Santosh Nagarakatte; Sebastian Burckhardt; Milo M. K. Martin; Madanlal Musuvathi (PLDI, 2012)

Formalizing the LLVM intermediate representation for verified program transformations. - Jianzhou Zhao; Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (POPL, 2012)

Why on-chip cache coherence is here to stay. - Milo M. K. Martin; Mark D. Hill; Daniel J. Sorin (Commun. ACM, 2012)

Computational sprinting on a hardware/software testbed. - Arun Raghavan; Laurel Emurian; Lei Shao; Marios C. Papaefthymiou; Kevin P. Pipe; Thomas F. Wenisch; Milo M. K. Martin (ASPLOS, 2013)

Syntax-guided synthesis. - 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 (FMCAD, 2013)

Ironclad C++: a library-augmented type-safe subset of c++. - Christian DeLozier; Richard A. Eisenberg; Santosh Nagarakatte; Peter-Michael Osera; Milo M. K. Martin; Steve Zdancewic (OOPSLA, 2013)

TRANSIT: specifying protocols with concolic snippets. - Abhishek Udupa; Arun Raghavan; Jyotirmoy V. Deshmukh; Sela Mador-Haim; Milo M. K. Martin; Rajeev Alur (PLDI, 2013)

Formal verification of SSA-based optimizations for LLVM. - Jianzhou Zhao; Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (PLDI, 2013)

Hardware-Enforced Comprehensive Memory Safety. - Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (IEEE Micro, 2013)

Utilizing Dark Silicon to Save Energy with Computational Sprinting. - Arun Raghavan; Laurel Emurian; Lei Shao; Marios C. Papaefthymiou; Kevin P. Pipe; Thomas F. Wenisch; Milo M. K. Martin (IEEE Micro, 2013)

Designing for Responsiveness with Computational Sprinting. - Arun Raghavan; Yixin Luo; Anuj Chandawalla; Marios C. Papaefthymiou; Kevin P. Pipe; Thomas F. Wenisch; Milo M. K. Martin (IEEE Micro, 2013)

WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking. - Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (CGO, 2014)

Synthesizing Finite-State Protocols from Scenarios and Requirements. - Rajeev Alur; Milo M. K. Martin; Mukund Raghothaman; Christos Stergiou 001; Stavros Tripakis; Abhishek Udupa (Haifa Verification Conference, 2014)

Everything You Want to Know About Pointer-Based Checking. - Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (SNAPL, 2015)

Syntax-Guided Synthesis. - Rajeev Alur; Rastislav Bodík; Eric Dallal; Dana Fisman; Pranav Garg 001; Garvit Juniwal; Hadas Kress-Gazit; P. Madhusudan; Milo M. K. Martin; Mukund Raghothaman; Shambwaditya Saha; Sanjit A. Seshia; et al. (Dependable Software Systems Engineering, 2015)

Top Picks from the 2015 Computer Architecture Conferences. - Milo M. K. Martin; Daniel J. Sorin (IEEE Micro, 2016)

1RMA: Re-envisioning Remote Memory Access for Multi-tenant Datacenters. - Arjun Singhvi; Aditya Akella; Dan Gibson; Thomas F. Wenisch; Monica Wong-Chan; Sean Clark 003; Milo M. K. Martin; Moray McLaren; Prashant Chandra; Rob Cauble; Hassan M. G. Wassel; Behnam Montazeri; et al. (SIGCOMM, 2020)

CliqueMap: productionizing an RMA-based distributed caching system. - Arjun Singhvi; Aditya Akella; Maggie Anderson; Rob Cauble; Harshad Deshmukh; Dan Gibson; Milo M. K. Martin; Amanda Strominger; Thomas F. Wenisch; Amin Vahdat (SIGCOMM, 2021)

Aquila: A unified, low-latency fabric for datacenter networks. - 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; et al. (NSDI, 2022)