Milo M. K. Martin

56 papers A* 31A 3B 2C 2Misc 1Journal 14Unranked 2

Year	Rank	Type	Title / Venue / Authors
2022	Misc	`conf`	Aquila: A unified, low-latency fabric for datacenter networks. NSDI 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	A*	`conf`	CliqueMap: productionizing an RMA-based distributed caching system. SIGCOMM Arjun Singhvi, Aditya Akella, Maggie Anderson, Rob Cauble, Harshad Deshmukh, Dan Gibson, Milo M. K. Martin, Amanda Strominger, Thomas F. Wenisch, Amin Vahdat
2020	A*	`conf`	1RMA: Re-envisioning Remote Memory Access for Multi-tenant Datacenters. SIGCOMM 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
2016	J	`jnl`	Top Picks from the 2015 Computer Architecture Conferences. IEEE Micro Milo M. K. Martin, Daniel J. Sorin
2015	—	`conf`	Everything You Want to Know About Pointer-Based Checking. SNAPL Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2015	—	`ch.`	Syntax-Guided Synthesis. Dependable Software Systems Engineering 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
2014	—	`conf`	Synthesizing Finite-State Protocols from Scenarios and Requirements. Haifa Verification Conference Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2014	J	`jnl`	Synthesizing Finite-state Protocols from Scenarios and Requirements. CoRR Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2014	A	`conf`	WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking. CGO Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2013	A*	`conf`	Computational sprinting on a hardware/software testbed. ASPLOS Arun Raghavan, Laurel Emurian, Lei Shao, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin
2013	J	`jnl`	Designing for Responsiveness with Computational Sprinting. IEEE Micro Arun Raghavan, Yixin Luo, Anuj Chandawalla, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin
2013	A*	`conf`	Formal verification of SSA-based optimizations for LLVM. PLDI Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2013	J	`jnl`	Hardware-Enforced Comprehensive Memory Safety. IEEE Micro Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2013	A	`conf`	Ironclad C++: a library-augmented type-safe subset of c++. OOPSLA Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic
2013	B	`conf`	Syntax-guided synthesis. FMCAD 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
2013	A*	`conf`	TRANSIT: specifying protocols with concolic snippets. PLDI Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur
2013	J	`jnl`	Utilizing Dark Silicon to Save Energy with Computational Sprinting. IEEE Micro Arun Raghavan, Laurel Emurian, Lei Shao, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin
2012	A*	`conf`	An Axiomatic Memory Model for POWER Multiprocessors. CAV Sela Mador-Haim, Luc Maranget, Susmit Sarkar, Kayvan Memarian, Jade Alglave, Scott Owens, Rajeev Alur, Milo M. K. Martin, Peter Sewell, Derek Williams
2012	A*	`conf`	Computational sprinting. HPCA Arun Raghavan, Yixin Luo, Anuj Chandawalla, Marios C. Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch, Milo M. K. Martin
2012	A*	`conf`	Formalizing the LLVM intermediate representation for verified program transformations. POPL Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2012	A*	`conf`	Multicore acceleration of priority-based schedulers for concurrency bug detection. PLDI Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi
2012	A*	`conf`	Watchdog: Hardware for safe and secure manual memory management and full memory safety. ISCA Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2012	J	`jnl`	Why on-chip cache coherence is here to stay. Commun. ACM Milo M. K. Martin, Mark D. Hill, Daniel J. Sorin
2011	A*	`conf`	Litmus tests for comparing memory consistency models: how long do they need to be? DAC Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
2010	C	`conf`	CETS: compiler enforced temporal safety for C. ISMM Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic
2010	A*	`conf`	Generating Litmus Tests for Contrasting Memory Consistency Models. CAV Sela Mador-Haim, Rajeev Alur, Milo M. K. Martin
2010	A*	`conf`	Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically. IEEE Symposium on Security and Privacy Matthew Hicks, Murph Finnicum, Samuel T. King, Milo M. K. Martin, Jonathan M. Smith
2010	J	`jnl`	Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically. login Usenix Mag. Matthew Hicks, Murph Finnicum, Samuel T. King, Milo M. K. Martin, Jonathan M. Smith
2010	A*	`conf`	RETCON: transactional repair without replay. ISCA Colin Blundell, Arun Raghavan, Milo M. K. Martin
2010	J	`jnl`	Token tenure and PATCH: A predictive/adaptive token-counting hybrid. ACM Trans. Archit. Code Optim. Arun Raghavan, Colin Blundell, Milo M. K. Martin
2009	A*	`conf`	InvisiFence: performance-transparent memory ordering in conventional multiprocessors. ISCA Colin Blundell, Milo M. K. Martin, Thomas F. Wenisch
2009	A*	`conf`	SoftBound: highly compatible and complete spatial memory safety for c. PLDI Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic
2008	A*	`conf`	Hardbound: architectural support for spatial safety of the C programming language. ASPLOS Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic
2008	A*	`conf`	Token tenure: PATCHing token counting using directory-based cache coherence. MICRO Arun Raghavan, Colin Blundell, Milo M. K. Martin
2007	A*	`conf`	CheckFence: checking consistency of concurrent data types on relaxed memory models. PLDI Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
2007	A*	`conf`	Making the fast case common and the uncommon case simple in unbounded transactional memory. ISCA Colin Blundell, Joe Devietti, E. Christopher Lewis, Milo M. K. Martin
2007	J	`jnl`	NoSQ: Store-Load Communication without a Store Queue. IEEE Micro Tingting Sha, Milo M. K. Martin, Amir Roth
2006	A*	`conf`	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study. CAV Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
2006	A*	`conf`	NoSQ: Store-Load Communication without a Store Queue. MICRO Tingting Sha, Milo M. K. Martin, Amir Roth
2006	J	`jnl`	Subtleties of Transactional Memory Atomicity Semantics. IEEE Comput. Archit. Lett. Milo M. K. Martin, Colin Blundell, E Christopher Lewis
2005	C	`conf`	Formal Verification and its Impact on the Snooping versus Directory Protocol Debate. ICCD Milo M. K. Martin
2005	A*	`conf`	Improving Multiple-CMP Systems Using Token Coherence. HPCA Michael R. Marty, Jesse D. Bingham, Mark D. Hill, Alan J. Hu, Milo M. K. Martin, David A. Wood
2005	J	`jnl`	Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset. SIGARCH Comput. Archit. News 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
2005	A*	`conf`	Scalable Store-Load Forwarding via Store Queue Index Prediction. MICRO Tingting Sha, Milo M. K. Martin, Amir Roth
2005	B	`conf`	Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. VMCAI Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin
2004	A	`conf`	Using Speculation to Simplify Multiprocessor Design. IPDPS Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood
2003	J	`jnl`	Simulating a $2M Commercial Server on a $2K PC. Computer Alaa R. Alameldeen, Milo M. K. Martin, Carl J. Mauer, Kevin E. Moore, Min Xu, Mark D. Hill, David A. Wood, Daniel J. Sorin
2003	J	`jnl`	Token Coherence: A New Framework for Shared-Memory Multiprocessors. IEEE Micro Milo M. K. Martin, Mark D. Hill, David A. Wood
2003	A*	`conf`	Token Coherence: Decoupling Performance and Correctness. ISCA Milo M. K. Martin, Mark D. Hill, David A. Wood
2003	A*	`conf`	Using Destination-Set Prediction to Improve the Latency/Bandwidth Tradeoff in Shared-Memory Multiprocessors. ISCA Milo M. K. Martin, Pacia J. Harper, Daniel J. Sorin, Mark D. Hill, David A. Wood
2002	A*	`conf`	Bandwidth Adaptive Snooping. HPCA Milo M. K. Martin, Daniel J. Sorin, Mark D. Hill, David A. Wood
2002	A*	`conf`	SafetyNet: Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint/Recovery. ISCA Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, David A. Wood
2002	J	`jnl`	Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol. IEEE Trans. Parallel Distributed Syst. Daniel J. Sorin, Manoj Plakal, Anne Condon, Mark D. Hill, Milo M. K. Martin, David A. Wood
2001	A*	`conf`	Correctly implementing value prediction in microprocessors that support multithreading or multiprocessing. MICRO Milo M. K. Martin, Daniel J. Sorin, Harold W. Cain, Mark D. Hill, Mikko H. Lipasti
2000	A*	`conf`	Timestamp snooping: an approach for extending SMPs. ASPLOS 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	A*	`conf`	Exploiting Dead Value Information. MICRO Milo M. K. Martin, Amir Roth, Charles N. Fischer