Pubs by Year
ACG Home + Pubs by Year + Pubs by Topic + Reading Group + WICArch +
Faculty
Milo Martin
Joe Devietti (joining in 2013)
Affiliated Faculty
Rajeev Alur
Steve Zdancewic
Students
Christian Delozier
Laurel Emurian
Sela Mador-Haim
Arun Raghavan
Abhishek Udupa
Alumni & Past Members
Santosh Nagarakatte, PhD
Tingting Sha, PhD
Colin Blundell, PhD
Drew Hilton, PhD
Anne Bracy, PhD
Vlad Petric, PhD
Marc Corliss, PhD
James Anderson, MSE
Vivek Rane, MSE
Neeraj Eswaran, MSE
Margaret DeLap, MSE
Matt Jacobs, MSE
Prashant Prahlad, MSE
Joe Devietti, BSE
Prof. Amir Roth
Prof. E Christopher Lewis
Projects
SoftBound
DISE
Mini-graphs
Pre-execution
RENO
ON-Core
Papers & Talks
by year
by topic
Pictures







Facilities
We do the bulk of our work on 128-processor Linux cluster managed by the Liniac Project.
Links
WWW Architecture
Microprocessor Report
Credits
(c) maystar designs
modified by anne bracy
Publications and Talks

The journal and conference publications are all copyrighted by ACM or IEEE. Please respect these copyrights and do not distribute copies for any commercial purpose.

2012

Multicore Acceleration of Priority-based Schedulers for Concurrency Bug Detection(pdf)
Santosh Nagarakatte, Sebastian Burckhardt, Milo M K Martin and Madan Musuvathi
PLDI, June 2012.

Watchdog: Hardware for Safe and Secure Manual Memory Management and Full Memory Safety(pdf)
Santosh Nagarakatte, Milo M K Martin and Steve Zdancewic
ISCA, June 2012.

Computational Sprinting(pdf)
Arun Raghavan, Yixin Luo, Anuj Chandawalla, Marios Papaefthymiou, Kevin P. Pipe, Thomas F. Wenisch and Milo M. K. Martin
HPCA, February 2012.

Formalizing LLVM Intermediate Representation for Verified Program Transformations(pdf)
Jianzhou Zhao, Santosh Nagarakatte, Milo M K Martin and Steve Zdancewic
POPL, January 2012.

2010

RetCon: Transactional Repair without Replay(pdf)
Colin Blundell, Arun Raghavan, and Milo M K Martin
ISCA, June 2010.

CETS: Compiler Enforced Temporal Safety for C (pdf)
Santosh Nagarakatte, Jianzhou Zhao, Milo M K Martin and Steve Zdancewic
ISMM, June 2010.

Overcoming an Untrusted Computing Base: Detecting and Removing Malicious Hardware Automatically (pdf)
Matthew Hicks, Murph Finnicum, Samuel T King, Milo M K Martin and Jonathan M Smith
31st IEEE Symposium on Security and Privacy, May 2010.

SMT-Directory: Efficient Load-Load Ordering for SMT(pdf)
Andrew Hilton and Amir Roth
IEEE Computer Architecture Letters, Vol 12, May 2010.

BOLT: Energy-Efficient Out-of-Order Latency-Tolerant Execution (pdf)
Andrew Hilton and Amir Roth
HPCA, Feb 2010.

iCFP: Tolerating All Level Cache Misses in In-Order Processors (pdf)
Andrew Hilton, Santosh Nagarakatte, and Amir Roth
IEEE MICRO, Vol 30, No. 1, Jan./Feb., 2010.

2009

Decoupled Store Completion/Silent Deterministic Replay: Enabling Scalable Data Memory for CPR/CFP Processors. (pdf)
Andrew Hilton and Amir Roth
ISCA, June 2009.

INVISIFENCE: Performance-Transparent Memory Ordering in Conventional Multiprocessors. (pdf)
Colin Blundell, Milo M. K. Martin and Thomas F. Wenisch
ISCA, June 2009.

SoftBound: Highly Compatible and Complete Spatial Memory Safety for C. (pdf)
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin and Steve Zdancewic
PLDI, June 2009.

iCFP: Tolerating All Level Cache Misses in In-Order Processors. (pdf)
Andrew Hilton, Santosh Nagarakatte, and Amir Roth
HPCA, February 2009.

2008

Token Tenure: PATCHing Token Counting Using Directory-Based Cache Coherence. (pdf)
Arun Raghavan, Colin Blundell, and Milo M. K. Martin
MICRO, November 2008.

HardBound: Architectural Support for Spatial Safety of the C Programming Language. (pdf)
Joe Devietti, Colin Blundell, Milo M. K. Martin, and Steve Zdancewic
ASPLOS, March 2008.

2007

Making the Fast Case Common and the Uncommon Case Simple in Unbounded Transactional Memory. (pdf)
Colin Blundell, Joe Devietti, E Christopher Lewis, and Milo M. K. Martin
ISCA-34, June 2007.
Talk: 4-up pdf, ppt

Ginger: Control Independence Using Tag Rewriting. (pdf)
Andrew Hilton and Amir Roth
ISCA-34, June 2007.

CheckFence: Checking Consistency of Concurrent Data Types on Relaxed Memory Models. (pdf)
Sebastian Burckhardt, Rajeev Alur, and Milo M. K. Martin
PLDI, June 2007.


2006

Serialization-Aware Mini-Graphs: Performance with Fewer Resources. (pdf)
Anne Bracy and Amir Roth
MICRO-39, December 2006.

NoSQ: Store-Load Communication without a Store Queue. (pdf)
Tingting Sha, Milo M.K. Martin, and Amir Roth
MICRO-39, December 2006.

Subleties of Transactional Memory Atomicity Semantics. (pdf)
Colin Blundell, E Christopher Lewis, and Milo M. K. Martin
Computer Architecture Letters, Volume 5, Number 2, November 2006.

Store Vulnerability Window (SVW): A Filter and Potential Replacement for Load Re-Execution. (pdf)
Amir Roth
JILP, Vol. 8, September 2006.

2005

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

Store Vulnerability Window (SVW): Re-Execution Filtering for Enhanced Load Optimization. (pdf)
Amir Roth
ISCA-32, June 2005.
Talk: 1-up pdf, 4-up pdf

Energy Aspects of Pre-Execution and Energy-Aware P-Thread Selection. (pdf)
Vlad Petric and Amir Roth
ISCA-32, June 2005.

RENO: A Rename-Based Instruction Optimizer. (pdf)
Vlad Petric, Tingting Sha, and Amir Roth
ISCA-32, June 2005.

Deconstructing Transactional Semantics: The Subtleties of Atomicity. (pdf)
Colin Blundell, E Christopher Lewis, and Milo M.K. Martin
Workshop on Duplicating, Deconstructing, and Debunking (WDDD), June 2005.
Talk: pdf

Low-Overhead Interactive Debugging via Dynamic Instrumentation with DISE. (pdf)
Marc L. Corliss, E Christopher Lewis, and Amir Roth
HPCA-11, February 2005.
Talk: ppt, 1-up pdf, 4-up pdf

Improving Multiple-CMP Systems Using Token Coherence. (pdf)
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.

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement. (pdf)
Sebastian Burckhardt, Rajeev Alur, and Milo M. K. Martin
Sixth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), January 2005.

The Implementation and Evaluation of Dynamic Code Decompression using DISE. (pdf)
Marc L. Corliss, E Christopher Lewis, and Amir Roth
Transactions on Embedded Computing Systems, February 2005.

2004

Dataflow Mini-Graphs: Amplifying Superscalar Capacity and Bandwidth. (pdf)
Anne Bracy, Prashant Prahlad, and Amir Roth
MICRO-37, December 2004.

Using DISE to Protect Return Addresses from Attack. (pdf)
Marc L. Corliss, E Christopher Lewis, and Amir Roth
WASSA, October 2004.
Talk: ppt, 1-up pdf, 4-up pdf

2003

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

A DISE Implementation of Dynamic Code Decompression. (pdf)
Marc L. Corliss, E Christopher Lewis, and Amir Roth.
LCTES, June 2003.
Talk: 1-up pdf

DISE: A Programmable Macro Engine for Customizing Applications. (pdf)
Marc L. Corliss, E Christopher Lewis, and Amir Roth.
ISCA-30, June 2003.
Talk: 1-up pdf, 4-up pdf

2002

Three Extensions to Register Integration. (pdf)
Vlad Petric, Anne Bracy, and Amir Roth.
MICRO-35, November 2002.

A Quantitative Framework for Automated Pre-Execution Thread Selection. (pdf)
Amir Roth and Gurindar S. Sohi.
MICRO-35, November 2002.

Talk: 1-up pdf, 4-up pdf

-2001

Le deluge.