Pubs by Topic
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.

Scalable Microarchitectures

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

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

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

Mini-Graphs

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

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

Transactional Memory

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.

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.

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

Cache Coherence

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

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.

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.

DISE

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

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.

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

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

Pre-Execution

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

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

Renaming Optimizations

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

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