Program

Sunday, 17th March 2013

6:00pm—8:00pm, Joint ASPLOS & VEE Reception, Four Seasons Hotel

 

Monday 18th March 2013

8:20am—8:30am, Welcome

8:30am—10:00am, Determinism and Data Races

Chair: Kim Hazelwood

  • GPUDet: A Deterministic GPU Architecture. Hadi Jooybar (University of British Columbia), Wilson W. L. Fung (University of British Columbia), Mike O’Connor (AMD Research), Joseph Devietti (University of Washington), Tor M. Aamodt (University of British Columbia)
  • DeNovoND: Efficient Hardware Support for Disciplined Non-Determinism. Hyojin Sung (University of Illinois), Rakesh Komuravelli (University of Illinois), Sarita Adve (University of Illinois)
  • Parallelizing Data Race Detection. Benjamin Wester (University of Michigan; Facebook), David Devecsery (University of Michigan), Peter Chen (University of Michigan), Jason Flinn (University of Michigan), Satish Narayanasamy (University of Michigan)
  • Cooperative Empirical Failure Avoidance for Multithreaded Program. Brandon Lucia (University of Washington), Luis Ceze (University of Washington)

10:00am—10:30am, Coffee Break

10:30am—12:00pm, Datacenters

Chair: David Wentzlaff

  • Parasol and GreenSwitch: Managing Datacenters Powered by Renewable Energy. Íñigo Goiri (Rutgers University), William Katsak (Rutgers University), Kien Le (Rutgers University), Thu D. Nguyen (Rutgers University), Ricardo Bianchini (Rutgers University)
  • Power Containers: An OS Facility for Fine-Grained Power and Energy Management on Multicore Servers. Kai Shen (University of Rochester), Arrvindh Shriraman (Simon Fraser University), Sandhya Dwarkadas (University of Rochester), Xiao Zhang (Google), Zhuan Chen (University of Rochester)
  • Paragon: QoS-Aware Scheduling for Heterogeneous Datacenters. Christina Delimitrou (Stanford University), Christos Kozyrakis (Stanford University)
  • ReQoS: Reactive Static/Dynamic Compilation for QoS in Warehouse Scale Computers. Lingjia Tang (University of California – San Diego), Jason Mars (University of California – San Diego), Wei Wang (University of Virginia), Tanima Dey (University of Virginia), Mary Lou Soffa (University of Virginia)

12:00pm-1:30pm, Lunch

1:30pm—3:00pm, Debugging

Chair: Tim Harris

  • Production-Run Software Failure Diagnosis via Hardware Performance Counters. Joy Arulraj (University of Wisconsin), Po-Chun Chang (University of Wisconsin), Guoliang Jin (University of Wisconsin), Shan Lu (University of Wisconsin)
  • ConAir: Featherweight Concurrency Bug Recovery Via Single-Threaded Idempotent Execution. Wei Zhang (University of Wisconsin), Marc Kruijf (University of Wisconsin), Ang Li (University of Wisconsin), Shan Lu (University of Wisconsin), Karthikeyan Sankaralingam (University of Wisconsin)
  • Transparent Mutable Replay for Multicore Debugging and Patch Validation. Nicolas Viennot (Columbia University), Sid Nair (Columbia University), Jason Nieh (Columbia University)
  • Using Likely Invariants for Automated Software Fault Localization. Swarup Sahoo (University of Illinois at Urbana-Champaign), John Criswell (University of Illinois at Urbana-Champaign), Chase Geigle (University of Illinois at Urbana-Champaign), Vikram Adve (University of Illinois at Urbana-Champaign)

3:00pm-3:30pm, Coffee Break

3:30pm—5:00pm, Provocative Ideas Session

  • Redefining the term ‘re-configurable chips’: Unsolving the Rubik’s Cube. Nachiappan Chidambaram (Penn State), Mahmut Kandemir (Penn State) and Chita Das (Penn State) (Abstract)
  • It’s time for new programming models for unreliable hardware. Hajime Fujita (University of Chicago), Robert Schreiber (HP Labs) and Andrew Chien (University of Chicago)  (Abstract)
  • rSmart: The reconfigurable (real) smartphone. Niranjan Soundararajan (Intel) (Abstract)
  • 4:30-5:00: Invited talk – Probabilistic computing: stochastic software and hardware that makes probabilistic modeling and machine learning simpler, more flexible and faster. Vikash Mansinghka (Massachusetts Institute of Technology)

Chair: Milind Kulkarni

5:00pm—5:15pm, Program Chair’s Report and the ASPLOS 2013 Best Paper Award

 

Tuesday 19th March 2013

8:30am—10:00am, Keynote by Eric Paulos, UC Berkeley
The Rise of the Expert Amateur: DIY Culture and the Evolution of Computer Science (slides)

Chair: Vivek Sarkar

10:00am—10:30am, Coffee Break

10:30am—12:00pm, Architecture I

Chair: Kai Shen

  • Computational Sprinting on a Hardware/Software Testbed. Arun Raghavan (University of Pennsylvania), Laurel Emurian (University of Pennsylvania), Lei Shao (University of Michigan), Marios Papaefthymiou (University of Michigan), Kevin Pipe (University of Michigan), Thomas Wenisch (University of Michigan), Milo Martin (University of Pennsylvania)
  • DeAliaser: Alias Speculation Using Atomic Region Support. Wonsun Ahn (University of Illinois at Urbana Champaign), Yuelu Duan (University of Illinois at Urbana Champaign), Josep Torrellas (University of Illinois at Urbana Champaign)
  • Regularities Considered Harmful: Forcing Randomness to Memory Accesses to Reduce Row Buffer Conflicts for Multi-Core Multi-Bank Systems. Heekwon Park (University of Pittsburgh), Seungjae Baek (University of Pittsburgh), Jongmoo Choi (Dankook University), Donghee Lee (University of Seoul), Sam H. Noh (Hongik University)
  • Cyrus: Unintrusive Application-Level Record-Replay for Replay Parallelism. Nima Honarmand (UIUC), Nathan Dautenhahn (UIUC), Gilles Pokam (Intel), Cristiano Pereira (Intel), Samuel King (UIUC), Josep Torrellas (UIUC)

12:00pm-1:30pm, Lunch

1:30pm—3:00pm, Performance Analysis

Chair: Karin Strauss
Note: In parallel with the “Security” session

  • Why You Should Care About Quantile Regression. Augusto Oliveira (University of Waterloo), Sebastian Fischmeister (University of Waterloo), Amer Diwan (Google Inc.), Matthias Hauswirth (University of Lugano), Peter Sweeney (IBM Research)
  • Stabilizer: Statistically Sound Performance Evaluation. Charlie Curtsinger (University of Massachusetts), Emery Berger (University of Massachusetts Amherst)
  • A study of the Scalability of Stop-the-World Garbage Collectors on Multicore. Lokesh Gidra (Regal-LIP6/INRIA/UPMC), Gaël Thomas (Regal-LIP6/INRIA/UPMC), Julien Sopena (Regal-LIP6/INRIA/UPMC), Marc Shapiro (Regal-LIP6/INRIA/UPMC)
  • Discerning the Dominant Out-of-Order Performance Advantage: is it Dynamism or Speculation?. Daniel McFarlin (Carnegie Mellon University), Charles Tucker (University of Illinois Urbana Champaign), Craig Zilles (University of Illinois Urbana Champaign)

1:30pm—3:00pm, Security

Chair: Rusty Sears
Note: In parallel with the “Performance Analysis” session

  • Iago Attacks: Why The System Call API Is a Bad Untrusted RPC Interface. Stephen Checkoway (Johns Hopkins University), Hovav Shacham (UC San Diego)
  • InkTag: Secure Applications on an Untrusted Operating System. Owen Hofmann (The University of Texas at Austin), Alan Dunn (The University of Texas at Austin), Sangman Kim (The University of Texas at Austin), Michael Lee (The University of Texas at Austin), Emmett Witchel (The University of Texas at Austin)
  • Safe and Automatic Live Update for Operating Systems. Cristiano Giuffrida (Vrije Universiteit Amsterdam), Anton Kuijsten (Vrije Universiteit Amsterdam), Andrew S. Tanenbaum (Vrije Universiteit Amsterdam)
  • Verifying Security Invariants in ExpressOS. Haohui Mai (University of Illinois at Urbana-Champaign), Edgar Pek (University of Illinois at Urbana-Champaign), Hui Xue (University of Illinois at Urbana-Champaign), Samuel T. King (University of Illinois at Urbana-Champaign), Parthasarathy Madhusudan (University of Illinois at Urbana-Champaign)

3:00pm-3:30pm, Coffee Break

3:30pm—5:00pm, Compilation I

Chair: Milo Martin
Note: In parallel with the “Scheduling and Virtualization” session

  • Stochastic Superoptimization. Eric Schkufza (Stanford University), Rahul Sharma (Stanford University), Alex Aiken (Stanford University)
  • Automated Repair of Binary and Assembly Programs for Cooperating Embedded Devices. Eric Schulte (UNM), Jonathan Dilorenzo (UVA), Stephanie Forrest (University of New Mexico), Westley Weimer (University of Virginia)
  • Verifying Systems Rules Using Rule-Directed Symbolic Execution. Heming Cui (Columbia University), Gang Hu Columbia (University), Jingyue Wu (Columbia University), Junfeng Yang (Columbia University)
  • HOTL: a Higher Order Theory of Locality. Xiaoya Xiang (University of Rochester), Hao Luo (University of Rochester), Bin Bao (University of Rochester), Chen Ding (University of Rochester)

3:30pm—5:00pm, Scheduling and Virtualization

Chair: Lin Zhong
Note: In parallel with the “Compilation I” session

  • To Hardware Prefetch or Not to Prefetch? A Virtualized Environment Study & Core Binding Approach. Hui Kang (Stony Brook University), Jennifer Wong (Stony Brook University)
  • Demand-Based Coordinated Scheduling for SMP VMs. Hwanju Kim (KAIST), Sangwook Kim (SungKyunKwan University), Jinkyu Jeong (KAIST), Joonwon Lee (SungKyunKwan University), Seungryoul Maeng (KAIST)
  • Traffic Management: A Holistic Approach to Memory Placement on NUMA Systems. Mohammad Dashti (Simon Fraser University), Alexandra Fedorova (Simon Fraser University), Justin Funston (Simon Fraser University), Fabien Gaud (Simon Fraser University), Renaud Lachaize (UJF), Baptiste Lepers (INRIA), Vivien Quema (CNRS), Mark Roth (Simon Fraser University)
  • OWL: Cooperative Thread Array Aware Scheduling Techniques for Improving GPGPU performance. Adwait Jog (The Pennsylvania State University), Onur Kayiran (The Pennsylvania State University), Nachiappan Chidambaram Nachiappan (The Pennsylvania State University), Asit K. Mishra (Intel Labs), Mahmut T. Kandemir (The Pennsylvania State University), Onur Mutlu (Carnegie Mellon University), Ravishankar Iyer (Intel Labs), Chita R. Das (The Pennsylvania State University)

5:30pm-9:30pm, Conference Banquet at the Houston Museum of Natural Science (bus transportation will be provided from hotel)

 

Wednesday 20th March 2013

8:30am—10:00am, Compilation II

Chair: Adam Welc

  • Improving GPGPU Concurrency with Elastic Kernels. Sreepathi Pai (Indian Institute of Science), M J Thazhuthaveetil (Indian Institute of Science), R Govindarajan (Indian Institute of Science)
  • Practical Automatic Loop Specialization. Taewook Oh (Princeton University), Hanjun Kim (Princeton University), Nick P. Johnson (Princeton University), Jae W. Lee (SungKyunKwan University), David I. August (Princeton University)
  • Portable Performance on Heterogeneous Architectures. Phitchaya Phothilimthana (MIT), Jason Ansel (MIT), Jonathan Ragan-Kelley (MIT), Saman Amarasinghe (MIT)
  • Efficient Virtualization on Embedded Power Architecture Platforms. Aashish Mittal (Indian Institute of Technology Delhi), Dushyant Bansal (Indian Institute of Technology Delhi), Sorav Bansal (Indian Institute of Technology Delhi), Varun Sethi (Freescale Semiconductor)

10:00am—10:30am, Coffee Break

10:30am—12:00pm, Panel: Research Directions for 21st Century Computer Systems

Chair: Mark Hill

12:00pm-1:30pm, Lunch

1:30pm-3:00pm, OS

Chair: Gernot Heiser

  • Unikernels: Library Operating Systems for the Cloud. Anil Madhavapeddy (University of Cambridge), Richard Mortier (University of Nottingham), Charalampos Rotsos (University of Cambridge), David Scott (Citrix Systems R&D), Balraj Singh (University of Cambridge), Thomas Gazagnaire (OcamlPro), Steven Smith (University of Cambridge), Steven Hand (University of Cambridge), Jon Crowcroft (University of Cambridge)
  • Fine-Grained Fault Tolerance using Device Checkpoints. Asim Kadav (University of Wisconsin-Madison), Matthew J. Renzelmann (University of Wisconsin-Madison), Michael M. Swift (University of Wisconsin-Madison)
  • GPUfs: Integrating a File System with GPUs. Mark Silberstein (UT Austin), Bryan Ford (Yale University), Idit Keidar (Technion), Emmett Witchel (UT Austin)
  • DDOS: Taming Nondeterminism in Distributed Systems. Nicholas Hunt (University of Washington), Tom Bergan (University of Washington), Luis Ceze (University of Washington), Steven Gribble (University of Washington)

3:00pm-3:30pm, Coffee Break

3:30pm—5:00pm, Architecture II

Chair: Emmett Witchel

  • TSO_Atomicity: Efficient Hardware Primitive for TSO-Preserving Region Optimizations. Cheng Wang (Intel Labs), Youfeng Wu (Intel Labs)
  • Wait-n-GoTM: Improving HTM Performance by Serializing Cyclic Dependencies. Syed Ali Raza Jafri (Purdue University), Gwendolyn Voskuilen (Purdue University), T. N. Vijaykumar (Purdue University)
  • Volition: Scalable and Precise Sequential Consistency Violation Detection. Xuehai Qian (University of Illinois), Benjamin Sahelices (University of Valladolid), Josep Torrellas (University of Illinois), Depei Qian (Beihang University)
  • Hardware Support for Fine-Grained Event-Driven Computation in Anton 2. J.P. Grossman (D. E. Shaw Research), Jeffrey S. Kuskin (D. E. Shaw Research), Joseph A. Bank (D. E. Shaw Research), Michael Theobald (D. E. Shaw Research), Ron O. Dror (D. E. Shaw Research), Douglas J. Ierardi (D. E. Shaw Research), Richard H. Larson (D. E. Shaw Research), U. Ben Schafer (D. E. Shaw Research), Brian Towles (D. E. Shaw Research), Cliff Young (D. E. Shaw Research), David E. Shaw (D. E. Shaw Research and Columbia University)

5:00pm—5:15pm, Closing Remarks