 | Collection-focused Parallelism | HotPar '13 | Micah J. Best, Daniel Jacobsen, Nicholas Vining, Alexandra Fedorova |
 | Constrained Data-Driven Parallelism | HotPar '13 | Tim Harris, Yossi Lev, Victor Luchangco, Virendra J. Marathe, Mark Moir |
 | Towards Performance-Portable, Scalable, and Convenient Linear Algebra | HotPar '13 | Philippe Tillet, Karl Rupp, Siegfried Selberherr, Chin-Teng Lin |
 | Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It | HotPar '13 | Junfeng Yang, Heming Cui, Jingyue Wu |
 | …And Region Serializability for All | HotPar '13 | Jessica Ouyang, Peter M. Chen, Jason Flinn, Satish Narayanasamy |
 | Durability Semantics for Lock-based Multithreaded Programs | HotPar '13 | Dhruva R. Chakrabarti, Hans-J. Boehm |
 | Characterizing Real World Bugs Causing Sequential Consistency Violations | HotPar '13 | Mohammad Majharul Islam, Abdullah Muzahid |
 | But How Do We Really Debug Transactional Memory Programs? | HotPar '13 | Justin E. Gottschlich, Rob Knauerhase, Gilles Pokam |
 | Property-Driven Cooperative Logging for Concurrency Bugs Replication | HotPar '13 | Nuno Machado, Paolo Romano, Luís Rodrigues |
 | Parallel Synchronization-Free Approximate Data Structure Construction | HotPar '13 | Martin Rinard |
 | Using Elimination and Delegation to Implement a Scalable NUMA-Friendly Stack | HotPar '13 | Irina Calciu, Justin Gottschlich, Maurice Herlihy |
 | Determinism: Blessing or Curse? | HotPar '13 | |
 | Tools in the Real World | HotPar '13 | |
 | Practitioners vs. Academics | HotPar '13 | |
 | Challenges of Future Computing | HotPar '13 | |
 | EyeQ: Practical Network Performance Isolation at the Edge | NSDI '13 | Vimalkumar Jeyakumar, Mohammad Alizadeh, David Mazières, Balaji Prabhakar, Albert Greenberg, Changhoon Kim |
 | ReproZip: Using Provenance to Support Computational Reproducibility | TaPP '13 | Fernando Chirigati, Dennis Shasha, Juliana Freire |
 | Using Provenance for Repeatability | TaPP '13 | Quan Pham, Tanu Malik, Ian Foster |
 | Supporting Undo and Redo in Scientific Data Analysis | TaPP '13 | Xiang Zhao, Emery R. Boose, Yuriy Brun, Barbara Staudt Lerner, Leon J. Osterweil |
 | Android Provenance: Diagnosing Device Disorders | TaPP '13 | Nathaniel Husted, Sharjeel Quresi, Ashish Gehani |
 | Provenance for Data Mining | TaPP '13 | Boris Glavic, Javed Siddique, Periklis Andritsos, Renee J. Miller |
 | Provenance Analyzer: Exploring Provenance Semantics with Logic Rules | TaPP '13 | Saumen Dey, Sean Riddle, Bertram Ludäscher |
 | Declaratively Processing Provenance Metadata | TaPP '13 | Scott Moore, Ashish Gehani |
 | OPUS: A Lightweight System for Observational Provenance in User Space | TaPP '13 | Nikilesh Balakrishnan, Thomas Bytheway, Ripduman Sohan, Andy Hopper |
 | D-PROV: Extending the PROV Provenance Model with Workflow Structure | TaPP '13 | Paolo Missier, Saumen Dey, Khalid Belhajjame, Victor Cuevas-Vicenttin, Bertram Ludäscher |
