Milo M. K. Martin

Assistant Professor
Computer and Information Sciences Department
University of Pennsylvania
3330 Walnut Street
Levine Hall
Philadelphia, PA 19104-6389
USA

Email: milom@cis.upenn.edu
Office: Levine 606
Office Phone: (215) 746-2972

Curriculum Vitae/Resume (in PDF format)

Research Interests

My area of expertise is computer architecture; however, my interests span many aspects of computer systems research (including compilers, security, databases, embedded systems, and networking). Specifically, my current research projects involve multiprocessor and multi-core memory systems, cache coherence protocols, transactional memory systems, shared-memory workloads, scalable processor micro-architectures, verification of concurrent hardware and software, hardware support for secure systems, and programming models for next-generation multi-core hardware architectures.

I'm a member of Penn's Computer Architecture and Compilers Group (ACG), which I co-lead with Professor Amir Roth.

Research Projects and Collaborators

Advanced cache coherence protocols
- With Arun Raghavan and Colin Blundell
- Recent result: PATCH and Token Tenure [MICRO08]
Hardware support for security and memory safety of C
- With Joe Devietti (now a PhD student at University of Washington), Colin Blundell, and Prof. Steve Zdancewic
- Recent result: HardBound [ASPLOS08]
Transactional memory
- With Colin Blundell, Joe Devietti (now a PhD student at University of Washington), and E Lewis (now at VMWare).
- Recent result: OneTM [ISCA07]
Verification of concurrent data structures
- With Sebastian Burckhardt (now graduated) and Prof. Rajeev Alur.
- Recent result: CheckFence [PLDI07]
Scalable microarchitectures
- With Tingting Sha and her advisor Prof. Amir Roth
- Recent result: NoSQ [MICRO06, TopPicks]

Seminars and Reading Groups

Emerging Computational Architectures - Fall 2007
Advanced Architecture Discussion Group - Spring 2007 - Spring 2006
Systems Lunch - Fall 2007 - Fall 2006 - Spring 2006 - Fall 2005 - Spring 2005 - Fall 2004 - Spring 2004
ACG Reading Group

Teaching

Fall 2008 - CIS 501: Introduction To Computer Architecture
Spring 2008 - CIS 371: Digital Systems Organization and Design
Fall 2007 - (sabbatical)
Spring 2007 - CSE 372: Digital Systems Organization and Design Lab
Fall 2006 - CSE 240: Introduction to Computer Architecture
Spring 2006 - CSE 372: Digital Systems Organization and Design Lab
Fall 2005 - CIS 501: Introduction To Computer Architecture
Spring 2005 - CIS 700/008 Special Topic: Hardware Support for Security
Autumn 2004
- CSE 240: Introduction to Computer Architecture
- CIS 700: Advanced Topics in Systems - Machine Virtualization
Spring 2004 - CIS 700/002 Special Topic: Multiprocessor Computer Architecture & Server Workloads

Program Committees

PhD Graduates

Sebastian Burckhardt (co-advised with Prof. Rajeev Alur), Memory Model Sensitive Analysis of Concurrent Data Types, 2007
First employment: Microsoft Research

Advice

How to give a bad practice talk

Publications

Conference Publications

Token Tenure: PATCHing Token Counting Using Directory-Based Cache Coherence.
Arun Raghavan, Colin Blundell, and Milo M. K. Martin.
International Symposium on Microarchitecture (MICRO), November 2008.
Paper: pdf
HardBound: Architectural Support for Spatial Safety of the C Programming Language.
Joe Devietti, Colin Blundell, Milo M. K. Martin, and Steve Zdancewic.
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2008.
Paper: pdf
Talk: pdf or pptm
Video of ASPLOS presentation
Making the Fast Case Common and the Uncommon Case Simple in Unbounded Transactional Memory.
Colin Blundell, Joe Devietti, E Christopher Lewis, and Milo M. K. Martin.
International Symposium on Computer Architecture (ISCA), June 2007.
Paper: pdf
Talk: pdf or ppt
CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models.
Sebastian Burckhardt, Rajeev Alur, and Milo M. K. Martin.
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2007
Paper: pdf
Talk: pdf or ppt
Additional Information
Source Code
NoSQ: Store-Load Communication without a Store Queue,
Tingting Sha, Milo M.K. Martin, and Amir Roth,
International Symposium on Microarchitecture (MICRO), December 2006.
Paper: pdf
Talk: pdf or ppt
Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study,
Sebastian Burckhardt, Rajeev Alur, and Milo M. K. Martin,
Proceedings of Computer-aided Verification (CAV), August 2006.
Paper: pdf
Talk: ppt
Additional Information
Scalable Store-Load Forwarding via Store Queue Index Prediction,
Tingting Sha, Milo M.K. Martin, and Amir Roth,
International Symposium on Microarchitecture (MICRO), November 2005.
Paper: pdf
Talk: pdf
Formal Verification and its Impact on the Snooping versus Directory Protocol Debate,
Milo M. K. Martin,
International Conference on Computer Design (ICCD), October 2005.
Paper: pdf
Talk: pdf or ppt
Improving Multiple-CMP Systems Using Token Coherence,
Michael R. Marty, Jesse D. Bingham, Mark D. Hill, Alan J. Hu, Milo M. K. Martin, and David A. Wood,
International Symposium on High Performance Computer Architecture (HPCA), February 2005.
Paper: pdf
Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement,
Sebastian Burckhardt, Rajeev Alur, and Milo M. K. Martin,
Sixth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), January 2005.
Paper: pdf
Extended Version: pdf
Talk: pdf or ppt
Additional Information
Using Speculation to Simplify Multiprocessor Design,
Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, and David A. Wood,
International Parallel and Distributed Processing Symposium (IPDPS), April 2004.
Paper: pdf
Talk: ppt
Token Coherence: Decoupling Performance and Correctness,
Milo M. K. Martin, Mark D. Hill, and David A. Wood,
International Symposium on Computer Architecture (ISCA), June 2003.
Paper: pdf
Talk: pdf or ppt
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, and David A. Wood,
International Symposium on Computer Architecture (ISCA), June 2003.
Paper: pdf
Talk: pdf or ppt
SafetyNet: Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint/Recovery,
Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, and David A. Wood,
International Symposium on Computer Architecture (ISCA), May 2002.
Paper: pdf
Talk: ppt
Bandwidth Adaptive Snooping,
Milo M. K. Martin, Daniel J. Sorin, Mark D. Hill, and David A. Wood,
International Symposium on High Performance Computer Architecture (HPCA), February 2002.
Paper: pdf
Talk: pdf or ppt
Correctly Implementing Value Prediction in Microprocessors that Support Multithreading or Multiprocessing,
Milo M. K. Martin, Daniel J. Sorin, Harold W. Cain, Mark D. Hill, and Mikko H. Lipasti,
International Symposium on Microarchitecture (MICRO), December 2001.
Paper: pdf
Talk: pdf or ppt
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, and David A. Wood,
International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), November 2000.
Paper: pdf
Talk: pdf
Exploiting Dead Value Information,
Milo M. Martin, Amir Roth, and Charles Fischer,
International Symposium on Microarchitecture (MICRO), December 1997.
Paper: pdf
Talk: pdf

Journal Publications

NoSQ: Store-Load Communication without a Store Queue,
Tingting Sha, Milo M. K. Martin, and Amir Roth,
IEEE Micro's "Top Picks of 2006" Issue
Volume 27, Number 1, January-February 2007.
Subtleties of Transactional Memory Atomicity Semantics,
Colin Blundell, E Christopher Lewis, and Milo M. K. Martin,
Computer Architecture Letters, Volume 5, November 2006.
Token Coherence: A New Framework for Shared-Memory Multiprocessors,
Milo M.K. Martin, Mark D. Hill and David A. Wood,
IEEE Micro's "Top Picks of 2003" Issue
Volume 23, Number 6, November-December 2003.
Paper: pdf
Simulating a $2M Commercial Server on a $2K PC,
Alaa R. Alameldeen, Milo M.K. Martin, Carl J. Mauer, Kevin E. Moore, Min Xu, Daniel J. Sorin, Mark D. Hill and David A. Wood,
IEEE Computer, February 2003.
Paper: pdf
Talk: ppt
Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol,
Daniel J. Sorin, Manoj Plakal, Anne E. Condon, Mark D. Hill, Milo M. K. Martin and David A. Wood,
IEEE Transactions on Parallel and Distributed Systems, June 2002 (vol 13, number 6).
(Previously available as Dept. of Computer Sciences Technical Report CS-TR-2000-1412, March 2000.)
Paper: pdf
Online protocol examples in html
Evaluation of Few-view Reconstruction Parameters for Illicit Substance Detection Using Fast-Neutron Transmission Spectroscopy,
C. L. Fink, P. G. Humm, M. M. Martin, and B. J. Micklich,
IEEE Transactions on Nuclear Science, June 1996 (Volume 43, Issue 3, Part 2)
Paper: pdf
Evaluation of Neutron Techniques for Illicit Substance Detection,
C. L. Fink, B. J. Micklich, T. J. Yule, P. G. Humm, L. Sagalovsky, and M. M. Martin,
Nuclear Instruments and Methods in Physics Research B99 (1995), 748-752.

Newsletters, Posters, and Refereed Workshop Publications

FeS2: A Full-system Execution-driven Simulator for x86,
Naveen Neelakantam, Colin Blundell, Joe Devietti, Milo M. K. Martin and Craig Zilles,
Poster session of the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS Poster), 2008.
Poster: pdf
FeS2 website and download
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, and David A. Wood,
SIGARCH Computer Architecture News (CAN), Volume 22, Number 4, September 2005.
Paper: pdf
Web Site: http://www.cs.wisc.edu/gems/
Deconstructing Transactional Semantics: The Subtleties of Atomicity,
Colin Blundell, E Christopher Lewis, and Milo M.K. Martin,
Workshop on Duplicating, Deconstructing, and Debunking (WDDD), June 2005.
Paper: pdf
Talk: pdf or ppt
Evaluating Non-deterministic Multi-threaded Commercial Workloads,
Alaa R. Alameldeen, Carl J. Mauer, Min Xu, Pacia J. Harper, Milo M.K. Martin, Daniel J. Sorin, Mark D. Hill and David A. Wood,
Workshop On Computer Architecture Evaluation using Commercial Workloads (CAECW), February 2002.
Paper: pdf
Talk: pdf or ppt
Characterizing a Java Implementation of TPC-W,
Todd Bezenek, Trey Cain, Ross Dickson, Timothy Heil, Milo Martin, Collin McCurdy, Ravi Rajwar, Eric Weglarz, Craig Zilles, and Mikko Lipasti,
Workshop On Computer Architecture Evaluation Using Commercial Workloads (CAECW), January 2000.
Talk: pdf
Project Page: html

Technical Reports

Unrestricted Transactional Memory: Supporting I/O and System Calls within Transactions,
Colin Blundell, E Christopher Lewis, and Milo M. K. Martin,
Technical Report CIS-06-09, Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, April 2006.

Dissertation

Token Coherence, Ph.D. Dissertation, December 2003.