Wisconsin Multifacet Project

Publications & Talks

By Year: 2020, 2019, 2018, 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998

By Topic:

• Multiprocessor Design, Specification, & Verification
• Virtual Memory
• Accelerators & GPUs
• Transactional Memory (see also LogTM Home Page)
• Deterministic Recording & Replay
• Modeling & Simulation
• Workload Analysis & Improvement
• Availability
• Miscellaneous

2020

• MOD: Minimally Ordered Durable Datastructures for Persistent Memory
  Swapnil Haria, Mark D. Hill, Michael M. Swift
  25th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2020).
  Local copy: pdf
  Full Talk: pptx, pdf
  
  
• 0sim: Preparing System Software for a World with Terabyte-scale Memories
  Mark Mansi, Michael M. Swift
  25th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2020).
  Local copy: pdf
  Full Talk: pptx, video
  
  
• Blending containers and virtual machines: a study of firecracker and gVisor
  Anjali, Tyler Caraza-Harter, Michael M. Swift
  16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2020).
  Local copy: pdf
  Full Talk: pptx, pdf, video
  
  

2019

• Devirtualizing Memory for Heterogeneous Systems - Talk only
  Swapnil Haria, Mark D. Hill, Michael M. Swift
  PIRL 2020: Persistent Programming In Real Life
  Full Talk: pptx, pdf
  Youtube Recording
  
  
  

2018

• Devirtualizing Memory for Heterogeneous Systems
  Swapnil Haria, Mark D. Hill, Michael M. Swift
  23nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2018).
  Local copy: pdf
  Lightning Talk: pdf
  Full Talk: pptx
  
  
  
• Efficient durability for lock-based programs
  Swapnil Haria, Pratyush Mahapatra, Mark D. Hill, Michael M. Swift
  9th Annual Non-Volatile Memories Workshop (NVMW), San Diego, 2018.
  Local copy: pdf
  Talk: pptx
  
  
  

2017

• Gravel: Fine-Grain GPU-Initiated Network Messages
  Marc S. Orr, Shuai Che, Bradford M. Beckmann, Mark Oskin, Steven K. Reinhardt, and David A. Wood
  The International Conference for High Performance Computing, Networking, Storage, and Analysis (SC17), 2017.
  Local copy: pdf
  
  
• Energy-Proportional Computing: A New Definition
  Rathijit Sen and David A. Wood
  IEEE Computer (cover feature), 50 (8), 26-33. August 2017.
  Local copy: pdf
  
  
• LogCA: A High-Level Performance Model for Hardware Accelerators
  Muhammad Shoaib Bin Altaf, David A. Wood
  Proceedings of the 44th International Symposium on Computer Architecture (ISCA), Toronto, CA, June 2017
  Local copy: pdf
  Slides: pdf
  Lightning talk: pdf
  
  
  
• Pareto Governors for Energy-Optimal Computing

  Rathijit Sen and David A. Wood
  ACM Transactions on Architecture and Code Optimization (TACO).
  14(1):6 (2017)
  Local copy: pdf
  
  
• Learning gem5 Tutorial,
  Jason Lowe-Power
  Tutorial at HPCA February 2017
  Video: youtube
  Presentation: pdf
  Book: online
  
  
• Agile Paging for Efficient Memory Virtualization,
  Jayneel Gandhi, Mark D. Hill, Michael M. Swift
  IEEE Micro Special Issue: Micro's Top Picks from Architecture Conferences, May/June 2017.
  Paper: pdf
  (Shorter, award version of ISCA 2016 Paper)
  
  
• Crossing Guard: Mediating Host-Accelerator Coherence Interactions
  Lena E. Olson, Mark D. Hill, and David A. Wood
  22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2017).
  Local copy: pdf
  Lightning Talk: pdf
  Full Talk: pptx pdf
  Supplemental material: Transition Tables and Code
  
  
• An Analysis of Persistent Memory Use with WHISPER
  Sanketh Nalli, Swapnil Haria, Mark D. Hill, Michael M. Swift, Haris Volos, Kimberly Keeton
  22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2017).
  Selected for one of nine IEEE Micro Top Picks 2018 Honorable Mentions
  Local copy: pdf
  Website: WHISPER Benchmark Suite
  NVM Workshop 2017 talk on WHISPER: pptx
  NVM Workshop 2017 talk on HOPS: pptx
  ASPLOS Main Presentation: pptx
  ASPLOS Lightning Talk: pdf
  
  

2016

• Lazy Release Consistency for GPUs
  Jonathon Alsop, Marc S. Orr, Bradford M. Beckmann, and David A. Wood
  The 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-49), 2016.
  Local copy: pdf
  Talk: pptx
  Poster: pptx
  
  
• Optimization Models for Three On-chip Network Problems
  Nilay Vaish, Michael C. Ferris, David A. Wood
  ACM Transactions on Architecture and Code Optimization (TACO).
  13(3):26 (2016)
  Local copy: pdf
  
  
• Programming Heterogeneous Computers and Improving Inter-Node Communication Across Xeon Phis
  Chris Feilbach, Adam Sperling, Eftychios Sifakis, Mark D. Hill
  Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2016-1834, May 2016.
  Local copy: pdf
  
  
• Agile Paging: Exceeding the Best of Nested and Shadow Paging
  Jayneel Gandhi, Mark D. Hill, Michael M. Swift
  The 43rd International Symposium on Computer Architecture (ISCA'16), 2016.
  Local copy: pdf
  Presentation: pptx
  Lightning Talk: pdf
  
  
• When to use 3D Die-Stacked Memory for Bandwidth-Constrained Big-Data Workloads
  Jason Lowe-Power, Mark D. Hill, David A. Wood
  The Seventh Workshop on Big Data Benchmarks, Performance Optimization, and Emerging Hardware (BPOE 7) at ASPLOS, April 2016
  Local copy: pdf
  Talk: pdf Google Drive
  Data: link
  
  
• Probabilistic Directed Writebacks for Exclusive Caches
  Lena E. Olson, Mark D. Hill
  Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2016-1831, February 2016.
  Local copy: pdf
  
  
• Range Translations for Fast Virtual Memory,
  Jayneel Gandhi, Vasileios Karakostas, Furkan Ayar, Adrian Cristal, Mark D. Hill, Kathryn S. McKinley, Mario Nemirovsky, Michael M. Swift, Osman Unsal
  IEEE Micro Special Issue: Micro's Top Picks from Architecture Conferences, May/June 2016.
  Local Copy: pdf
  (Shorter, award version of ISCA 2015 Paper)
  
  
• Energy-Efficient Address Translation
  Vasileios Karakostas, Jayneel Gandhi, Adrian Cristal, Mark D. Hill, Kathryn S. McKinley, Mario Nemirovsky, Michael M. Swift, Osman Unsal
  The 22nd IEEE International Symposium On High Performance Computer Architecture (HPCA-2016)
  Local copy: pdf
  Presentation: pptx
  
  
  

2015

• Border Control: Sandboxing Accelerators
  Lena E. Olson, Jason Power, Mark D. Hill, and David A. Wood
  The 48th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-48), 2015.
  Local copy: pdf
  Talk: pptx, pdf
  
  
• GPU Computing Pipeline Inefficiencies and Optimization Opportunities in Heterogeneous CPU-GPU Processors,
  Joel Hestness, Stephen W. Keckler, David A. Wood
  The 2015 IEEE International Symposium on Workload Characterization, Oct. 2015.
  Local copy: pdf
  
  
• GPGPU Footprint Models to Estimate Per-Core Power
  Rathijit Sen, David A. Wood
  Computer Architecture Letters. Vol. 15, No. 2, July-December 2016.
  Publication date: July 14, 2015.
  Local copy: pdf
  
  
• Security Implications of Third-Party Accelerators
  Lena E. Olson, Simha Sethumadhavan, Mark D. Hill
  Computer Architecture Letters, 15 June 2015
  Local copy: pdf
  
  
• Toward GPUs being mainstream in analytic processing: An initial argument using simple scan-aggregate queries
  Jason Power, Yinan Li, Mark D. Hill, Jignesh M. Patel, David A. Wood
  Proceedings of the Eleventh International Workshop on Data Management on New Hardware (DaMoN '15)
  Talk: pdf pptx
  Local copy: pdf
  
  
  
• Implications of Emerging 3D GPU Architecture on the Scan Primitive
  Jason Power, Yinan Li, Mark D. Hill, Jignesh M. Patel, David A. Wood
  SIGMOD Rec. Volume 44, Issue 1 (April 2015)
  Local copy: pdf
  
  
  
• Redundant Memory Mappings for Fast Access to Large Memories

  Vasileios Karakostas, Jayneel Gandhi, Furkan Ayar, Adrián Cristal, Mark D. Hill, Kathryn S. McKinley, Mario Nemirovsky, Michael M. Swift, Osman Ünsal
  ISCA '15 Proceedings of the 42nd Annual International Symposium on Computer Architecture, 2015
  Local copy: pdf
  Presentation: pptx
  Lightning Talk: pdf
  
  
• Synchronization Using Remote-Scope Promotion
  Marc S. Orr, Shuai Che, Ayse Yilmazer, Bradford M. Beckmann, Mark D. Hill, David A. Wood
  The 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-20), 2015
  Local copy: pdf
  Talk: pptx
  
  

2014

• Efficient Memory Virtualization: Reducing Dimensionality of Nested Page Walks
  Jayneel Gandhi, Arkaprava Basu, Mark D. Hill, Michael M. Swift
  The 47th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-47), 2014.
  IEEE Micro Top Picks Honorable Mention.
  Local copy (slightly updated): pdf
  Poster: pdf
  Presentation: pptx
  Lightning Talk: pdf
  
  
• Skewed Compressed Caches
  Somayeh Sardashti, André Seznec and David A. Wood
  The 47th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-47), 2014.
  Local copy: pdf
  Talk: pptx
  Poster: pdf
  
  
• Revisiting Stack Caches for Energy Efficiency
  Lena E. Olson, Yasuko Eckert, Srilatha Manne, Mark D. Hill
  Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2014-1813, December 2014.
  Local copy: pdf
  
  
• A Comparative Analysis of Microarchitecture Effects on CPU and GPU Memory System Behavior,
  Joel Hestness, Stephen W. Keckler, David A. Wood
  The 2014 IEEE International Symposium on Workload Characterization, Oct. 2014.
  Local copy: pdf
  IISWC presentation: pptx
  
  
• LogCA: A Performance Model for Hardware Accelerators
  Muhammad Shoaib Bin Altaf, David A. Wood
  Computer Architecture Letters. September 2014.
  Local copy: pdf
  
  
• BadgerTrap: a tool to instrument x86-64 TLB misses

  Jayneel Gandhi, Arkaprava Basu, Mark D. Hill, Michael M. Swift
  ACM SIGARCH Computer Architecture News, 2014
  Local copy: pdf
  
  
• Fine-grain Task Aggregation and Coordination on GPUs
  Marc S. Orr, Bradford M. Beckmann, Steven K. Reinhardt, David A. Wood
  The 41st International Symposium on Computer Architecture (ISCA-2014)
  Local copy: pdf
  Talk: pptx
  
  
• Heterogeneous-race-free Memory Models
  Derek R. Hower, Blake A. Hechtman, Bradford M. Beckmann, Benedict R. Gaster, Mark D. Hill, Steven K. Reinhardt, David A. Wood
  The 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-19), 2014
  Local copy (slightly updated): pdf
  Talk (slightly updated): pptx
  
  
• Supporting x86-64 Address Translation for 100s of GPU Lanes
  Jason Power, Mark D. Hill, David A. Wood
  The 20th IEEE International Symposium On High Performance Computer Architecture (HPCA-2014)
  Local copy with appendix: pdf
  Talk: pptx
  Data: link
  
  
• QuickRelease: A Throughput-oriented Approach to Release Consistency on GPUs
  Blake A. Hechtman, Shuai Che, Derek R. Hower, Yingying Tian, Bradford M. Beckmann, Mark D. Hill, Steven K. Reinhardt, and David A. Wood
  The 20th IEEE International Symposium On High Performance Computer Architecture (HPCA-2014)
  Local copy: pdf
  Talk: pptx
  
  
• gem5-gpu: A Heterogeneous CPU-GPU Simulator
  Jason Power, Joel Hestness, Marc S. Orr, Mark D. Hill, David A. Wood
  Computer Architecture Letters. vol 13, no. 1. Jan-June 2014.
  Local copy: pdf
  Web Site: html
  
  
• Decoupled Compressed Cache: Exploiting Spatial Locality for Energy-Optimized Compressed Caching
  Somayeh Sardashti and David A. Wood
  IEEE Micro Top Picks from the 2013 Computer Architecture Conferences, 2014.
  Local copy: pdf
  
  

2013

• Heterogeneous System Coherence for Integrated CPU-GPU Systems
  Jason Power, Arkaprava Basu, Junli Gu, Sooraj Puthoor, Bradford M. Beckmann, Mark D. Hill, Steven K. Reinhardt, David A. Wood
  The 46th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-46), 2013.
  Local copy: pdf
  Talk: pptx
  Poster: pdf
  
  
• Decoupled Compressed Cache: Exploiting Spatial Locality for Energy-Optimized Compressed Caching
  Somayeh Sardashti and David A. Wood
  The 46th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-46), 2013.
  Local copy: pdf
  Talk: pptx
  Poster: pdf
  
  
• FreshCache: Statically and Dynamically Exploiting Dataless Ways
  Arkaprava Basu, Derek R. Hower, Mark D. Hill, Michael M. Swift
  ICCD'13: To Appear in Proceedings of the International Conference on Computer Design, 2013.
  Local copy: pdf
  Talk: pptx
  
  
• CMP Directory Coherence: One Granularity Does Not Fit All,
  Arkaprava Basu, Bradford M. Beckmann, Steven K. Reinhardt, Mark D. Hill
  Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2013-1798, June 2013.
  Local copy: pdf
  
  
• FreshCache: Statically and Dynamically Exploiting Dataless Ways,
  Arkaprava Basu, Derek R. Hower, Mark D. Hill, Michael M. Swift
  Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2013-1797, June 2013.
  Local copy: pdf
  
  
• Efficient virtual memory for big memory servers

  Arkaprava Basu, Jayneel Gandhi, Jichuan Chang, Mark D. Hill, Michael M. Swift
  ISCA '13 Proceedings of the 40th Annual International Symposium on Computer Architecture, 2013
  Local copy: pdf
  Talk: pptx
  
  
• Reuse-based online models for caches

  Rathijit Sen, David A. Wood
  SIGMETRICS '13 Proceedings of the ACM SIGMETRICS/international conference on Measurement and modeling of computer systems, 2013
  Local copy (corrected): pdf [Errata: txt]
  Slide show: ppsx, Presentation: pptx
  Compilable source code for models is available. README: txt PACKAGE: tar.gz
  
  
• Cache Power Budgeting for Performance,
  Rathijit Sen and David A. Wood
  Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2013-1791, April 2013.
  Local copy: pdf
  
  

2012

• Something old and something new: P-states can borrow microarchitecture techniques too

  Yasuko Eckert, Srilatha Manne, Michael J. Schulte, David A. Wood
  ISLPED '12 Proceedings of the 2012 ACM/IEEE international symposium on Low power electronics and design, 2012
  Local copy: pdf
  
  
• Why on-chip cache coherence is here to stay

  Milo M. K. Martin, Mark D. Hill, Daniel J. Sorin
  Communications of the ACM, 2012
  Local copy: pdf
  Duke University Department of ECE Technical Report TR-2011-1: pdf
  Talk: pptx
  
  
• Reducing memory reference energy with opportunistic virtual caching

  Arkaprava Basu, Mark D. Hill, Michael M. Swift
  ISCA '12 Proceedings of the 39th Annual International Symposium on Computer Architecture, 2012
  Local copy: pdf
  Talk: pptx
  
  
• UniFI: leveraging non-volatile memories for a unified fault tolerance and idle power management technique

  Somayeh Sardashti, David A. Wood
  ICS '12 Proceedings of the 26th ACM international conference on Supercomputing, 2012
  Local copy: pdf
  
  
• Supporting Very Large DRAM Caches with Compound Access Scheduling and MissMap,
  Gabriel H. Loh and Mark D. Hill
  IEEE Micro Special Issue: Micro's Top Picks from Architecture Conferences, May/June 2012.
  44th International Symposium on Microarchitecture (MICRO), Local copy: pdf
  Addendum: pdf
  (Shorter, award version of Micro 2011 Paper)
  
  

2011

• Efficiently enabling conventional block sizes for very large die-stacked DRAM caches

  Gabriel H. Loh, Mark D. Hill
  MICRO-44 '11 Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture, 2011
  Local copy: pdf
  Talk: pptx or pdf
  Addendum: pdf
  (Shorter, award version appears in Micro Top Picks May/June 2012)
  
  
• Karma: scalable deterministic record-replay

  Arkaprava Basu, Jayaram Bobba, Mark D. Hill
  ICS '11 Proceedings of the international conference on Supercomputing, 2011
  Local copy: pdf
  Talk: pptx
  
  
• The gem5 simulator

  Nathan Binkert, Bradford Beckmann, Gabriel Black, Steven K. Reinhardt, Ali Saidi, Arkaprava Basu, Joel Hestness, Derek R. Hower, Tushar Krishna, Somayeh Sardashti, Rathijit Sen, Korey Sewell, Muhammad Shoaib, Nilay Vaish, Mark D. Hill, David A. Wood
  ACM SIGARCH Computer Architecture News, 2011
  Local copy: pdf
  Web Site: http://gem5.org/
  
  
• A Primer on Memory Consistency and Cache Coherence ,
  Daniel J. Sorin, Mark D. Hill, and David A. Wood,
  Synthesis Lectures in Computer Architecture, Morgan & Claypool Publishers, May 2011.
  This lecture is FREE to all -- no paywall.
  Draft copy of front matter and introductory chapter: pdf
  Synthesis Lectures in Computer Architecture Home Page: html
  
  
• Calvin: Deterministic or Not? Free Will to Choose,
  Derek R. Hower, Polina Dudnik, David A. Wood, and Mark D. Hill
  17th International Symposium on High-Performance Computer Architecture (HPCA), Februrary 2011.
  Local copy: pdf
  Talk: pptx
  
  
• Safe and Efficient Supervised Memory Systems,
  Jayaram Bobba, Marc Lupon, Mark D. Hill, and David A. Wood
  17th International Symposium on High-Performance Computer Architecture (HPCA), Februrary 2011.
  Local copy: pdf
  Talk: pptx
  
  

2010

• Karma: Scalable Deterministic Record-Replay,
  Arkaprava Basu, Jayaram Bobba, Mark D. Hill
  Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2010-1680, October 2010.
  Local copy: pdf
  
  
• Forwardflow: a scalable core for power-constrained CMPs

  Dan Gibson, David A. Wood
  ISCA '10 Proceedings of the 37th annual international symposium on Computer architecture, 2010
  Local copy: pdf
  Talk: ppt
  
  
• WiDGET: Wisconsin decoupled grid execution tiles

  Yasuko Watanabe, John D. Davis, David A. Wood
  ISCA '10 Proceedings of the 37th annual international symposium on Computer architecture, 2010
  Local copy: pdf
  Talk: pptx
  
  

2009

• StealthTest: Low Overhead Online Software Testing using Transactional Memory,
  Jayaram Bobba, Weiwei Xiong, Luke Yen, Mark D. Hill, and David A. Wood
  Conference on Parallel Architectures and Compilation Techniques (PACT), Sep 2009.
  Local copy: pdf
  Talk: ppt
  
  
• Two hardware-based approaches for deterministic multiprocessor replay

  Derek R. Hower, Pablo Montesinos, Luis Ceze, Mark D. Hill, Josep Torrellas
  Communications of the ACM - One Laptop Per Child: Vision vs. Reality, 2009
  Local copy: pdf
  (Summarizes "Rerun" and "DeLorean" proposals from ISCA '08 for wider CACM audience.)
  Technical Introduction by Jouppi
  
  
• 
  
  
• Condition Variables and Transactional Memory: Problem or Opportunity?,
  Polina Dudnik and Michael M. Swift
  4th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT), February 2009.
  Local copy: pdf
  Talk: ppt
  
  

2008

• Notary: Hardware Techniques to Enhance Signatures,
  Luke Yen, Stark C. Draper, and Mark D. Hill
  41st International Symposium on Microarchitecture (MICRO), November 2008.
  Local copy: pdf
  Talk: ppt
  
  
• Is Transactional Memory an Oxymoron?,
  Mark D. Hill
  Very Large Data Bases (VLDB) August 2008.
  Keynote Talk: ppt
  
  
• TokenTM: Efficient Execution of Large Transactions with Hardware Transactional Memory

  Jayaram Bobba, Neelam Goyal, Mark D. Hill, Michael M. Swift, David A. Wood
  ISCA '08 Proceedings of the 35th Annual International Symposium on Computer Architecture, 2008
  Local copy: pdf
  Talk: ppt
  
  
• Rerun: Exploiting Episodes for Lightweight Memory Race Recording

  Derek R. Hower, Mark D. Hill
  ISCA '08 Proceedings of the 35th Annual International Symposium on Computer Architecture, 2008
  Local copy: pdf
  Talk: pptx ppt
  Recommended to CACM for wider audience: pdf
  
  
• OS Support for Virtualizing Transactional Memory,
  Michael M. Swift, Haris Volos, Neelam Goyal, Luke Yen, Mark D. Hill and David A Wood
  Third ACM SIGPLAN Workshop on Transactional Memory (TRANSACT), February 2008.
  Local copy: pdf
  Talk: ppt
  Also appears as Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2008-1630, February 2008.
  
  
• Pathological Interaction of Locks with Transactional Memory,
  Haris Volos, Neelam Goyal and Michael M. Swift
  Third ACM SIGPLAN Workshop on Transactional Memory (TRANSACT), February 2008.
  Local copy: pdf
  Talk: ppt
  Also appears as Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2008-1631, February 2008.
  
  
• Amdahl's Law in the Multicore Era,
  Mark D. Hill and Michael R. Marty,
  IEEE Computer, July 2008.
  Local copy: pdf
  Supplementary Website: http://www.cs.wisc.edu/multifacet/amdahl/
  Related Talk Video: Google TechTalk 02/2009 (52 minutes)
  Related Talk Slides: pptx 01/2010
  Selected as an influential paper from the first 50 years of Computer.
  See others: https://www.computer.org/computer-magazine/from-the-archives-computers-legacy/
  2017 Retrospective: pdf
  
  
  
• Performance Pathologies in Hardware Transactional Memory,
  Jayaram Bobba, Kevin E. Moore, Haris Volos, Luke Yen, Mark D. Hill, Michael M. Swift, and David A. Wood
  IEEE Micro Special Issue: Micro's Top Picks from Microarchitecture Conferences, January-February 2008.
  (Shorter, award version of ISCA 2007 Paper)
  
  
• Virtual Hierarchies,
  Michael R. Marty and Mark D. Hill,
  IEEE Micro Special Issue: Micro's Top Picks from Microarchitecture Conferences, January-February 2008.
  Local copy: pdf
  (Shorter, award version of ISCA 2007 Paper)
  
  

2007

• Single-Threaded vs. Multithreaded: Where Should We Focus?,
  Joel Emer, Mark D. Hill, Yale N. Patt, Joshua J, Yi, Derek Chiou, and Resit Sedag
  IEEE Micro Special Issue: Computer Architecture Debates, November-December 2007.
  Local copy: pdf
  
  
• Implementing Signatures for Transactional Memory,
  Daniel Sanchez, Luke Yen, Mark D. Hill, and Karthikeyan Sankaralingam
  40th International Symposium on Microarchitecture (MICRO), December 2007.
  Local copy: pdf
  Talk: ppt
  
  
• Design and Implementation of Signatures for Transactional Memory Systems,
  Daniel Sanchez,
  Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2007-1611, September 2007.
  Local copy: pdf
  Talk: ppt
  
  
• A Case for Deconstructing Hardware Transactional Memory Systems,
  Mark D. Hill, Derek Hower, Kevin E. Moore, Michael M. Swift, Haris Volos and David A. Wood
  Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2007-1594, June 2007.
  Local copy: pdf
  Also appears as Dagstuhl Seminar Proceedings 07361, editors Albert Cohen, Maria J. Garzaran, Christian Lengauer, and Samuel P. Midkiff, 2008.
  
  
• Virtual hierarchies to support server consolidation

  Michael R. Marty, Mark D. Hill
  ISCA '07 Proceedings of the 34th annual international symposium on Computer architecture, 2007
  Local copy: pdf
  Talk: ppt
  
  
• Performance pathologies in hardware transactional memory

  Jayaram Bobba, Kevin E. Moore, Haris Volos, Luke Yen, Mark D. Hill, Michael M. Swift, David A. Wood
  ISCA '07 Proceedings of the 34th annual international symposium on Computer architecture, 2007
  Local copy: pdf
  Talk: ppt
  Extended Talk: ppt
  
  
• Log-based Transactional Memory,
  Overview Talk, April 2007.
  
  
• Amdahl's Law in the Multicore Era,
  Mark D. Hill and Michael R. Marty
  Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2007-1593, April 2007.
  Local copy: pdf
  
  
• LogTM-SE: Decoupling Hardware Transactional Memory from Caches,
  Luke Yen, Jayaram Bobba, Michael R. Marty, Kevin E. Moore, Haris Volos, Mark D. Hill, Michael M. Swift, and David A. Wood
  International Symposium on High Performance Computer Architecture (HPCA), February 2007.
  Local copy: pdf
  Talk: ppt, pdf
  
  
• Interactions Between Compression and Prefetching in Chip Multiprocessors,
  Alaa R. Alameldeen and David A. Wood
  International Symposium on High Performance Computer Architecture (HPCA), February 2007.
  Local copy: pdf
  Talk: ppt, pdf
  
  
• A Hardware Memory Race Recorder for Deterministic Replay,
  Min Xu, Rastislav Bodik, and Mark D. Hill,
  IEEE Micro Special Issue: Micro's Top Picks from Microarchitecture Conferences, January-February 2007.
  (Summarizes ``Flight Data Recorder'' work from ISCA 2003 and ASPLOS 2006 papers).
  Local copy: pdf
  Talk: ppt (based on Xu's 2006 Ph.D. Defense)
  
  

2006

• Coherence Ordering for Ring-based Chip Multiprocessors,
  Michael R. Marty and Mark D. Hill,
  39th International Symposium on Microarchitecture (MICRO), December 2006.
  Local copy: pdf
  Talk: ppt
  
  
• ASR: Adaptive Selective Replication for CMP Caches,
  Bradford M. Beckmann, Michael R. Marty, and David A. Wood,
  39th International Symposium on Microarchitecture (MICRO), December 2006.
  Local copy: pdf
  Talk: ppt
  
  
• A regulated transitive reduction (RTR) for longer memory race recording

  Min Xu, Mark D. Hill, Rastislav Bodik
  ASPLOS XII Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, 2006
  Local copy: pdf
  Talk: pdf, ppt
  Top Picks 2007 follow-on
  
  
• Supporting nested transactional memory in logTM

  Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore, Luke Yen, Mark D. Hill, Ben Liblit, Michael M. Swift, David A. Wood
  ASPLOS XII Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, 2006
  Local copy: pdf
  Talk: pdf, ppt
  
  
• IPC Considered Harmful for Multiprocessor Workloads,
  Alaa R. Alameldeen and David A. Wood,
  IEEE Micro, Jul-Aug 2006.
  Local copy: pdf
  
  
• An Operational Semantics for LogTM,
  Ben Liblit,
  Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2006-1571, August 2006.
  Local copy: pdf
  
  
• LogTM: Log-based Transactional Memory,
  Kevin E. Moore, Jayaram Bobba, Michelle J. Moravan, Mark D. Hill and David A. Wood
  International Symposium on High Performance Computer Architecture (HPCA), February 2006.
  Local copy: pdf
  Talk: ppt, pdf
  
  

2005

• 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, David A. Wood
  ACM SIGARCH Computer Architecture News - Special issue: dasCMP'05, 2005
  Local copy: pdf
  Web Site: http://www.cs.wisc.edu/gems
  ISCA Tutorial Slides: ppt
  
  
• GEMS: Multifacet's General Execution-driven Multiprocessor Simulator,
  Michael R. Marty, Bradford Beckmann, Luke Yen, Alaa R. Alameldeen, Min Xu, and Kevin Moore
  Tutorial at the International Symposium on Computer Architecture (ISCA), June 2005.
  Talk: ppt
  
  
• A serializability violation detector for shared-memory server programs

  Min Xu, Rastislav Bodík, Mark D. Hill
  ACM SIGPLAN Notices - Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, 2005
  Local copy: pdf
  Talk: pdf, ppt
  
  
• Thread-Level Transactional Memory,
  Kevin E. Moore, Mark D. Hill, and David A. Wood,
  Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2005-1524, March 2005.
  Local copy: pdf
  
  
• 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.
  Local copy: pdf
  Talk: ppt
  Extended Talk: ppt
  
  

2004

• Interaction Cost: For When Event Counts Just Don't Add Up,
  Brian A. Fields, Rastislav Bodik, Mark D. Hill, and Chris J. Newburn,
  IEEE Micro Special Issue: Micro's Top Picks from Microarchitecture Conferences, November-December 2004.
  Local copy: pdf
  Expanded TACO 2004 Journal Version
  
  
• Managing Wire Delay in Large Chip-Multiprocessor Caches,
  Bradford M. Beckmann and David A. Wood,
  37th International Symposium on Microarchitecture (MICRO), December 2004.
  Local copy: pdf
  Talk: htm and ppt
  
  
• Future Computer Advances are Between a Rock (Slow Memory) and a Hard Place (Multithreading)
  (Talk to CSTB and US government agencies),
  Mark D. Hill,
  The National Academies's Computer Science and Telecommunications Board (CSTB) Meeting, October 2004.
  Talk: ppt
  
  
• Thread-Level Transactional Memory,
  Kevin E. Moore
  Wisconsin Industrial Affiliates Meeting, October 2004.
  Talk: pdf, ppt
  
  
• Interaction cost and shotgun profiling

  Brian A. Fields, Rastislav Bodik, Mark D. Hill, Chris J. Newburn
  ACM Transactions on Architecture and Code Optimization (TACO), 2004
  Local copy: pdf
  Original Micro 2003 Conference Version: pdf
  
  
• A Future of Parallel Computer Architectures
  (Keynote talk to parallel software researchers),
  Mark D. Hill,
  International Conference on Parallel Processing (ICPP), August 2004.
  Talk: ppt
  
  
• Adaptive Cache Compression for High-Performance Processors

  Alaa R. Alameldeen, David A. Wood
  ACM SIGARCH Computer Architecture News, 2004
  Local copy: pdf
  Talk: ppt
  Details of the compression algorithm are available in:
  

  • Frequent Pattern Compression: A Significance-Based Compression Scheme for L2 Caches,
    Alaa R. Alameldeen and David A. Wood,
    Dept. of Computer Sciences Technical Report CS-TR-2004-1500, April 2004.
    Local copy: pdf

  
  
  
• 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.
  Local copy: pdf
  Talk: ppt
  
  
• Evaluating a $2M Commercial Server on a $2K PC and Related Challenges (Invited Talk),
  Mark D. Hill,
  Workshop On Computer Architecture Evaluation using Commercial Workloads (CAECW), February 2004.
  Talk Abstract: pdf
  Talk: ppt
  
  

2003

• Token Coherence: A New Framework for Shared-Memory Multiprocessors,
  Milo M.K. Martin, Mark D. Hill and David A. Wood,
  IEEE Micro Special Issue: Micro's Top Picks from Microarchitecture Conferences, November-December 2003.
  Local copy: pdf
  Original ISCA 2003 Paper: pdf
  Token Coherence Bibliography: html
  
  
• Addressing Workload Variability in Architectural Simulations,
  Alaa R. Alameldeen and David A. Wood,
  IEEE Micro Special Issue: Micro's Top Picks from Microarchitecture Conferences, November-December 2003.
  Local copy: pdf
  (Shorter, award version of HPCA 2003 Paper)
  
  
• TLC: Transmission Line Caches,
  Bradford M. Beckmann and David A. Wood,
  36th International Symposium on Microarchitecture (MICRO), December 2003.
  Local copy: pdf
  Talk: htm and ppt
  
  
• Using Interaction Costs for Microarchitectural Bottleneck Analysis,
  Brian A. Fields, Rastislav Bodik, Mark D. Hill, and Chris J. Newburn,
  36th International Symposium on Microarchitecture (MICRO), December 2003.
  Local copy: pdf
  Talk: ppt
  Expanded TACO 2004 Journal Version: pdf
  
  
• Challenges in Computer Architecture Evaluation,
  Kevin Skadron, Margaret Martonosi, David I. August, Mark D. Hill, David J. Lilja, and Vijay S. Pai.
  IEEE Computer, August 2003.
  Local copy: pdf
  
  
• Revisiting "Multiprocessors Should Support Simple Memory Consistency Models"
  (Talk to software memory consistency model researchers),
  Mark D. Hill,
  Dagstuhl Seminar 03431 on Hardware and Software Consistency Models: Programmability and Performance, October 2003.
  Abstract: txt
  Talk: ppt
  Original 1998 Paper: pdf
  
  
• Token coherence: decoupling performance and correctness

  Milo M. K. Martin, Mark D. Hill, David A. Wood
  ISCA '03 Proceedings of the 30th annual international symposium on Computer architecture, 2003
  Local copy: pdf
  Talk: pdf, ppt
  Shorter IEEE Micro Top Picks Paper: pdf
  Token Coherence Bibliography: html
  
  
• 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
  ISCA '03 Proceedings of the 30th annual international symposium on Computer architecture, 2003
  Local copy: pdf
  Talk: pdf, ppt
  
  
• A "flight data recorder" for enabling full-system multiprocessor deterministic replay

  Min Xu, Rastislav Bodik, Mark D. Hill
  ISCA '03 Proceedings of the 30th annual international symposium on Computer architecture, 2003
  Local copy: pdf
  Talk: pdf, ppt
  Top Picks 2007 follow-on: pdf
  
  
• Dynamic Verification of End-to-End Multiprocessor Invariants,
  Daniel J. Sorin, Mark D. Hill, and David A. Wood,
  International Conference on Dependable Systems and Networks (DSN, formerly FTCC), June 2003.
  Local copy: pdf
  Talk: ppt
  
  
• Analytic Evaluation of Shared-Memory Architectures,
  Daniel J. Sorin, Jonathan L. Lemon, Derek L. Eager, and Mary K. Vernon,
  Transactions on Parallel and Distributed Systems, February 2003.
  Submitted version available as University of Wisconsin Dept. of Computer Sciences Technical Report CS-TR-2000-1404b, January 2000.
  Local copy: 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.
  Local copy: pdf
  Talk: ppt
  
  
• Variability in Architectural Simulations of Multi-threaded Workloads,
  Alaa R. Alameldeen and David A. Wood,
  9th International Symposium on High Performance Computer Architecture (HPCA), February 2003.
  Local copy: pdf
  Talk: ppt, pdf
  (Shorter, award version appears in Micro's Top Picks, Nov/Dec 2003)
  
  
• Memory System Behavior of Java-Based Middleware,
  Martin Karlsson, Kevin E. Moore, Erik Hagersten and David A. Wood,
  9th International Symposium on High Performance Computer Architecture (HPCA), February 2003.
  Local copy: pdf
  Talk: pdf, ppt
  
  

2002

• Data Page Layouts for Relational Databases on Deep Memory Hierarchies,
  Anastassia Ailamaki, David J. DeWitt, and Mark D. Hill,
  The VLDB Journal, 11(3), 2002.
  Local copy: pdf
  
  
• Full-system timing-first simulation

  Carl J. Mauer, Mark D. Hill, David A. Wood
  SIGMETRICS '02 Proceedings of the 2002 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2002
  Local copy: pdf
  Talk: pdf and 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.)
  Local copy: pdf
  Online protocol examples in html
  
  
• Harnessing Moore's Law
  (Talk to computer science undergraduates),
  Mark D. Hill,
  Several venues, 2002-03.
  Abstract: txt
  Talk: ppt
  
  
• 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
  ACM SIGARCH Computer Architecture News - Special Issue: Proceedings of the 29th annual international symposium on Computer architecture (ISCA '02), 2002
  Local copy: pdf
  Talk: ppt
  
  
• Slack: maximizing performance under technological constraints

  Brian Fields, Rastislav Bodík, Mark D. Hill
  ACM SIGARCH Computer Architecture News - Special Issue: Proceedings of the 29th annual international symposium on Computer architecture (ISCA '02), 2002
  Local copy: pdf
  Talk: ppt
  
  
• Memory Characterization of the ECperf Benchmark,
  Martin Karlsson, Kevin E. Moore, Erik Hagersten, and David A. Wood,
  Workload on Memory Performance Issues (WMPI), 2002.
  Local copy: pdf.
  
  
• 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.
  Local copy: pdf
  Talk: pdf and ppt
  
  
• Bandwidth Adaptive Snooping,
  Milo M. K. Martin, Daniel J. Sorin, Mark D. Hill, and David A. Wood,
  8th International Symposium on High Performance Computer Architecture (HPCA), February 2002.
  Local copy: pdf
  Talk: pdf and ppt
  
  

2001

• 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,
  34th International Symposium on Microarchitecture (MICRO), December 2001.
  Local copy: pdf
  Talk: pdf and ppt
  
  
• Weaving Relations for Cache Performance,
  Anastassia G. Ailamaki, David J. DeWitt, Mark D. Hill, and Marios Skounakis,
  International Conference on Very Large Databases (VLDB), 2001.
  Received VLDB 2001 Best Paper Award
  Local copy: pdf
  Talk: ppt
  
  
• Cache performance for selected SPEC CPU2000 benchmarks

  Jason F. Cantin, Mark D. Hill
  ACM SIGARCH Computer Architecture News, 2001
  Local copy: pdf
  
  
• Estimating the Selectivity of XML Path Expressions for Internet Scale Applications,
  Ashraf Aboulnaga, Alaa R. Alameldeen, and Jeffrey F. Naughton,
  International Conference on Very Large Databases (VLDB), 2001.
  Local copy: pdf.
  
  
• Facile: a language and compiler for high-performance processor simulators

  Eric C. Schnarr, Mark D. Hill, James R. Larus
  PLDI '01 Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, 2001
  Local copy: pdf
  
  

2000

• Timestamp snooping: an approach for extending SMPs

  Milo M. K. Martin, Daniel J. Sorin, Anatassia Ailamaki, Alaa R. Alameldeen, Ross M. Dickson, Carl J. Mauer, Kevin E. Moore, Manoj Plakal, Mark D. Hill, David A. Wood
  ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems, 2000
  Local copy: pdf
  Talk: pdf
  
  
• Fast Checkpoint/Recovery to Support Kilo-Instruction Speculation and Hardware Fault Tolerance,
  Daniel J. Sorin, Milo M. K. Martin, Mark D. Hill, and David A. Wood,
  Dept. of Computer Sciences Technical Report CS-TR-2000-1420, October 2000.
  Local copy: pdf and ps
  
  
• Readings in Computer Architecture,
  Mark D. Hill, Norman P. Jouppi, and Gurindar S. Sohi, Morgan Kaufmann Publishers (now Elsevier), ISBN 1-55860-539-8, 2000. Near-final versions of:
  Preface: pdf and ps
  Table of Contents: pdf and ps
  Web Component: html or html mirror
  
  
• Making Pointer-Based Data Structures Cache Conscious,
  Trishul M. Chilimbi, Mark D. Hill, and James R. Larus,
  IEEE Computer, December 2000.
  Local copy: pdf
  
  
• How computer architecture trends may affect future distributed systems: from infiniBand clusters to inter-processor speculation (abstract)

  Mark D. Hill
  PODC '00 Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, 2000
  Local copy: pdf
  Talk: ppt
  
  
• Fast and Portable Parallel Architecture Simulators: Wisconsin Wind Tunnel II,
  Shubhendu S. Mukherjee, Steven K. Reinhardt, Babak Falsafi, Mike Litzkow, Steven Huss-Lederman, Mark D. Hill, James R. Larus, and David A. Wood,
  IEEE Concurrency, October-December 2000.
  Local copy: pdf
  
  
• Concurrent Garbage Collection Using Program Slices on Multithreaded Processors,
  Manoj Plakal and Charles N. Fischer,
  The International Sympsosium on Memory Management (ISMM), October 2000 (co-located with OOPSLA 2000).
  Local copy: pdf
  
  
• AMVA Techniques for High Service Time Variability,
  Derek L. Eager, Daniel J. Sorin, and Mary K. Vernon,
  ACM SIGMETRICS, June 2000.
  Local copy: pdf
  
  
• Analytic Evaluation of Shared-Memory Architectures for Heterogeneous Applications,
  Daniel J. Sorin, Jonathan L. Lemon, Derek L. Eager, and Mary K. Vernon,
  Submitted to Transactions on Parallel and Distributed Systems and currently available as University of Wisconsin Dept. of Computer Sciences Technical Report CS-TR-2000-1404b, January 2000.
  Local copy: pdf and ps
  
  
• 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
  
  

1999

• DBMSs on a modern processor: Where does time go?,
  Anastassia Ailamaki, David J. DeWitt, Mark D. Hill, and David A. Wood,
  International Conference on Very Large Databases (VLDB), September 1999.
  Local copy: pdf and ps
  Talk: ppt
  
  
• A system-level specification framework for I/O architectures

  Mark D. Hill, Anne E. Condon, Manoj Plakal, Daniel J. Sorin
  SPAA '99 Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures, 1999
  Local copy: pdf
  Talk: pdf and ps
  Technical report: Univ. of Wisconsin Computer Sciences Technical Report CS-TR-1999-1398, 1999.
  Technical report local copy: pdf and ps
  
  
• Multicast snooping: a new coherence method using a multicast address network

  E. Ender Bilir, Ross M. Dickson, Ying Hu, Manoj Plakal, Daniel J. Sorin, Mark D. Hill, David A. Wood
  ISCA '99 Proceedings of the 26th annual international symposium on Computer architecture, 1999
  Local copy: pdf
  Talk: pdf and ps
  
  
• Cache-conscious structure layout

  Trishul M. Chilimbi, Mark D. Hill, James R. Larus
  PLDI '99 Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation, 1999
  Local copy: pdf
  
  
• Using Lamport Clocks to Reason About Relaxed Memory Models,
  Anne E. Condon, Mark D. Hill, Manoj Plakal and Daniel J. Sorin,
  International Symposium on High-Performance Computer Architecture (HPCA), January 1999.
  Local copy: pdf
  Talk: pdf and ps
  
  

1998

• Multiprocessors Should Support Simple Memory Consistency Models,
  Mark D. Hill,
  IEEE Computer, August 1998.
  Local copy: pdf
  2003 Dagstuhl Retrospective Talk: ppt
  
  
• Lamport clocks: verifying a directory cache-coherence protocol

  Manoj Plakal, Daniel J. Sorin, Anne E. Condon, Mark D. Hill
  SPAA '98 Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures, 1998
  Local copy: pdf
  Talk: pdf and ps