Milo M. K. Martin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
16
Active years
1997–2022
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | NSDI | 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 |
| 2021 | SIGCOMM | 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 |
| 2020 | SIGCOMM | 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 |
| 2014 | CGO | WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking. | Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
| 2013 | ASPLOS | 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 |
| 2013 | FMCAD | Syntax-guided synthesis. | Rajeev Alur, Rastislav Bodk, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa |
| 2013 | OOPSLA | 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 |
| 2013 | PLDI | TRANSIT: specifying protocols with concolic snippets. | Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur |
| 2013 | PLDI | Formal verification of SSA-based optimizations for LLVM. | Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
| 2012 | CAV | 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 |
| 2012 | HPCA | Computational sprinting. | Arun Raghavan, Yixin Luo, Anuj Chandawalla, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin |
| 2012 | ISCA | Watchdog: Hardware for safe and secure manual memory management and full memory safety. | Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
| 2012 | PLDI | Multicore acceleration of priority-based schedulers for concurrency bug detection. | Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi |
| 2012 | POPL | Formalizing the LLVM intermediate representation for verified program transformations. | Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
| 2011 | DAC | Litmus tests for comparing memory consistency models: how long do they need to be? | Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin |
| 2010 | CAV | Generating Litmus Tests for Contrasting Memory Consistency Models. | Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin |
| 2010 | ISCA | RETCON: transactional repair without replay. | Colin Blundell, Arun Raghavan, Milo M. K. Martin |
| 2010 | SP | 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 |
| 2009 | ISCA | InvisiFence: performance-transparent memory ordering in conventional multiprocessors. | Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch |
| 2009 | PLDI | SoftBound: highly compatible and complete spatial memory safety for c. | Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic |
| 2008 | ASPLOS | Hardbound: architectural support for spatial safety of the C programming language. | Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic |
| 2008 | MICRO | Token tenure: PATCHing token counting using directory-based cache coherence. | Arun Raghavan, Colin Blundell, Milo M. K. Martin |
| 2007 | ISCA | 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 |
| 2007 | PLDI | CheckFence: checking consistency of concurrent data types on relaxed memory models. | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
| 2006 | CAV | Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study. | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
| 2006 | MICRO | NoSQ: Store-Load Communication without a Store Queue. | Tingting Sha, Milo M. K. Martin, Amir Roth |
| 2005 | HPCA | 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 |
| 2005 | ICCD | Formal Verification and its Impact on the Snooping versus Directory Protocol Debate. | Milo M. K. Martin |
| 2005 | MICRO | Scalable Store-Load Forwarding via Store Queue Index Prediction. | Tingting Sha, Milo M. K. Martin, Amir Roth |
| 2005 | VMCAI | Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
| 2003 | ISCA | 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 |
| 2003 | ISCA | Token Coherence: Decoupling Performance and Correctness. | Milo M. K. Martin, Mark D. Hill, David A. Wood |
| 2002 | HPCA | Bandwidth Adaptive Snooping. | Milo M. K. Martin, Daniel J. Sorin, Mark D. Hill, David A. Wood |
| 2002 | ISCA | 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 |
| 2001 | MICRO | 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 |
| 2000 | ASPLOS | 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 |
| 1997 | MICRO | Exploiting Dead Value Information. | Milo M. K. Martin, Amir Roth, Charles N. Fischer |