Milo M. K. Martin

According to our database, Milo M. K. Martin authored at least 53 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

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, 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

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2021

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

Proceedings of the ACM SIGCOMM 2021 Conference, Virtual Event, USA, August 23-27, 2021., 2021

2020

1RMA: Re-envisioning Remote Memory Access for Multi-tenant Datacenters.

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

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

2016

Top Picks from the 2015 Computer Architecture Conferences.

Milo M. K. Martin, Daniel J. Sorin

IEEE Micro, 2016

2015

Syntax-Guided Synthesis.

Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa

Proceedings of the Dependable Software Systems Engineering, 2015

Everything You Want to Know About Pointer-Based Checking.

Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

2014

Synthesizing Finite-State Protocols from Scenarios and Requirements.

Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

Proceedings of the Hardware and Software: Verification and Testing, 2014

WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking.

Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic

Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

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

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

Hardware-Enforced Comprehensive Memory Safety.

Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic

IEEE Micro, 2013

Formal verification of SSA-based optimizations for LLVM.

Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

TRANSIT: specifying protocols with concolic snippets.

Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 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

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 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

Proceedings of the Formal Methods in Computer-Aided Design, 2013

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

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Why on-chip cache coherence is here to stay.

Milo M. K. Martin, Mark D. Hill, Daniel J. Sorin

Commun. ACM, 2012

Formalizing the LLVM intermediate representation for verified program transformations.

Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Multicore acceleration of priority-based schedulers for concurrency bug detection.

Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Watchdog: Hardware for safe and secure manual memory management and full memory safety.

Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic

Proceedings of the 39th International Symposium on Computer Architecture (ISCA 2012), 2012

Computational sprinting.

Arun Raghavan, Yixin Luo, Anuj Chandawalla, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin

Proceedings of the 18th IEEE International Symposium on High Performance Computer Architecture, 2012

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

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Litmus tests for comparing memory consistency models: how long do they need to be?

Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin

Proceedings of the 48th Design Automation Conference, 2011

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

Token tenure and PATCH: A predictive/adaptive token-counting hybrid.

Arun Raghavan, Colin Blundell, Milo M. K. Martin

ACM Trans. Archit. Code Optim., 2010

CETS: compiler enforced temporal safety for C.

Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic

Proceedings of the 9th International Symposium on Memory Management, 2010

RETCON: transactional repair without replay.

Colin Blundell, Arun Raghavan, Milo M. K. Martin

Proceedings of the 37th International Symposium on Computer Architecture (ISCA 2010), 2010

Generating Litmus Tests for Contrasting Memory Consistency Models.

Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

SoftBound: highly compatible and complete spatial memory safety for c.

Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

InvisiFence: performance-transparent memory ordering in conventional multiprocessors.

Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch

Proceedings of the 36th International Symposium on Computer Architecture (ISCA 2009), 2009

2008

Token tenure: PATCHing token counting using directory-based cache coherence.

Arun Raghavan, Colin Blundell, Milo M. K. Martin

Proceedings of the 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), 2008

Hardbound: architectural support for spatial safety of the C programming language.

Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic

Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

2007

NoSQ: Store-Load Communication without a Store Queue.

Tingting Sha, Milo M. K. Martin, Amir Roth

IEEE Micro, 2007

CheckFence: checking consistency of concurrent data types on relaxed memory models.

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

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

Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007

2006

Subtleties of Transactional Memory Atomicity Semantics.

Milo M. K. Martin, Colin Blundell, E Christopher Lewis

IEEE Comput. Archit. Lett., 2006

Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study.

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

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

SIGARCH Comput. Archit. News, 2005

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement.

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin

Proceedings of the Verification, 2005

Scalable Store-Load Forwarding via Store Queue Index Prediction.

Tingting Sha, Milo M. K. Martin, Amir Roth

Proceedings of the 38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-38 2005), 2005

Formal Verification and its Impact on the Snooping versus Directory Protocol Debate.

Milo M. K. Martin

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

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

Proceedings of the 11th International Conference on High-Performance Computer Architecture (HPCA-11 2005), 2005

2004

Using Speculation to Simplify Multiprocessor Design.

Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

Token Coherence: A New Framework for Shared-Memory Multiprocessors.

Milo M. K. Martin, Mark D. Hill, David A. Wood

IEEE Micro, 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, Daniel J. Sorin

Computer, 2003

Token Coherence: Decoupling Performance and Correctness.

Milo M. K. Martin, Mark D. Hill, David A. Wood

Proceedings of the 30th International Symposium on Computer Architecture (ISCA 2003), 2003

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

Proceedings of the 30th International Symposium on Computer Architecture (ISCA 2003), 2003

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

IEEE Trans. Parallel Distributed Syst., 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

Proceedings of the 29th International Symposium on Computer Architecture (ISCA 2002), 2002

Bandwidth Adaptive Snooping.

Milo M. K. Martin, Daniel J. Sorin, Mark D. Hill, David A. Wood

Proceedings of the Eighth International Symposium on High-Performance Computer Architecture (HPCA'02), 2002

2001

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

Proceedings of the 34th Annual International Symposium on Microarchitecture, 2001

2000

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

Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000

1997

Exploiting Dead Value Information.

Milo M. K. Martin, Amir Roth, Charles N. Fischer

Proceedings of the Thirtieth Annual IEEE/ACM International Symposium on Microarchitecture, 1997