Salt Lake City
 

Main Program



Sunday 2nd March 2014
6pm to 8pm Joint ASPLOS and VEE reception

Monday 3rd March 2014
7:30am - 8:30am Breakfast
8:30am - 8:45am Welcome by general and program chairs
8:45am - 9:45am **Keynote: Brad Calder, Microsoft**
9:45am - 10:00am Break
10:00am - 10:40am Lightning session I
10:40am -10:50am Break
10:50am - 11:30am Lightning session II
11:30am - 11:45am Break
11:45am - 12:35pm Session 1A: Data centers Session 1B: Approximate computing
12:35pm - 1:50pm Lunch
1:50pm - 3:30pm Session 2A: Security Session 2B: Resource management
3:30pm-4:00pm Break
4:00pm-5:40pm Session 3A: Software reliability and testing I Session 3B: Heterogeneous computing
6:00pm-10:00pm Excursion

Tuesday 4th March 2014
7:30am - 8:30am Breakfast
8:30am - 9:30am **Keynote: Jeff Gehlhaar, Qualcomm**
9:30am - 10:00am Break
10:00am - 11:40am Session 4A: Virtualization Session 4B: Transactional memory and consistency
11:40am - 1:10pm Awards Lunch
1:10pm - 2:50pm Session 5A: Storage systems Session 5B: Parallelism I
2:50pm - 3:15pm Break
3:15pm - 4:30pm Session 6A: Parallelism II Session 6B: Compilers, optimization, and co-design
4:30pm - 5:30pm Poster Session
5:30pm - 7:00pm Wild and Crazy Ideas Session
7:00pm - 8:00pm Program chair's report and ASPLOS business meeting

Wednesday 5th March 2014
7:30am - 8:30am Breakfast
8:30am -10:00am Debate: “Resolved: Specialized architectures, languages, and system software should largely supplant general-purpose alternatives within the next decade.” Moderator: David Wood, University of Wisconsin-Madison
10:00am - 10:30am Break
10:30am - 12:10pm Session 7A: Software reliability and testing II Session 7B: Caches and TLBs
12:10pm Closing remarks 12:10pm Closing remarks


Detailed Program



Sunday 2nd March 2014: 6pm to 8pm, Joint ASPLOS and VEE reception


Location: Alpine East


Monday 3rd March 2014


7:30am - 8:30am, Breakfast

8:30am - 8:45am, Welcome by general and program chairs


8:45am - 9:45am, Keynote
Chair: Al Davis, University of Utah

Inside Windows Azure: The Challenges and Opportunities of a Cloud Operating System (slides)
Brad Calder, Microsoft
(Abstract and Speaker Bio)


9:45am - 10:00am, Break

10:00am - 10:40am, Lightning session I
Chair: John Regehr, Univ of Utah

10:40am -10:50am, Break

10:50am - 11:30am, Lightning session II
Chair: John Regehr, Univ of Utah

11:30am - 11:45am, Break


11:45am - 12:35pm
  • Session 1A: Data centers:
    Chair: Anand Sivasubramaniam, Pennsylvania State University
    Location: Grand Ballroom A

    • Scale-Out NUMA
      Stanko Novakovic (EPFL), Alexandros Daglis (EPFL), Edouard Bugnion (EPFL), Babak Falsafi (EPFL), Boris Grot (University of Edinburgh)

    • Rhythm: Harnessing Data Parallel Hardware for Server Workloads
      Sandeep R Agrawal (Duke University); Valentin Pistol (Duke University); Jun Pang (Duke University); John Tran (Nvidia); David Tarjan (Nvidia); Alvin R Lebeck (Duke University)


  • Session 1B: Approximate computing:
    Chair: Luis Ceze, University of Washington
    Location: Grand Ballroom B

    • Paraprox: Pattern-Based Approximation for Data Parallel Applications
      Mehrzad Samadi (University of Michigan); Anoushe Jamshidi (University of Michigan); Janghaeng Lee (University of Michigan); Scott Mahlke (University of Michigan)

    • Uncertain< T >: A First-Order Type for Uncertain Data
      James Bornholt (Australian National Universit); Todd Mytkowicz (Microsoft Research); Kathryn S. McKinley (University of Texas at Austin/Microsoft Research)


12:35pm - 1:50pm, Lunch


1:50pm - 3:30pm
  • Session 2A: Security:
    Chair: Yuanyuan Zhou, University of California, San Diego
    Location: Grand Ballroom A

    • Using ARM TrustZone to Build a Trusted Language Runtime for Mobile Applications
      Nuno Santos (INESC-ID/IST); Himanshu Raj (Microsoft Research); Stefan Saroiu (Microsoft Research); Alec Wolman (Microsoft Research)

    • Virtual Ghost: Protecting Applications from Hostile Operating Systems
      John Criswell (University of Illinois at Urbana-Champaign); Nathan Dautenhahn (University of Illinois at Urbana-Champaign); Vikram Adve (University of Illinois at Urbana-Champaign)

    • Sapper: A Language for Hardware-Level Security Policy Enforcement
      Xun Li (Facebook); Vineeth Kashyap (University of California, Santa Barbara); Jason K. Oberg (University of California, San Diego); Mohit Tiwari (University of Texas, Austin); Vasanth Ram Rajarathinam (AMD); Ryan Kastner (University of California, San Diego); Timothy Sherwood (University of California, Santa Barbara); Ben Hardekopf (University of California, Santa Barbara); Frederic T. Chong (University of California, Santa Barbara)

    • Finding Trojan Message Vulnerabilities in Distributed Systems
      Radu Banabic (EPFL); George Candea (EPFL); Rachid Guerraoui (EPFL)


  • Session 2B: Resource management:
    Chair: Tim Harris, Oracle Labs
    Location: Grand Ballroom B

    • Quasar: Resource-Efficient and QoS-Aware Cluster Management
      Christina Delimitrou (Stanford University); Christos Kozyrakis (Stanford University)

    • REF: Resource Elasticity Fairness with Sharing Incentives for Multiprocessors
      Seyed Majid Zahed (Duke University); Benjamin C. Lee (Duke University)

    • Price Theory Based Power Management for Heterogeneous Multi-Cores
      Thannirmalai Somu Muthukaruppan (National University of Singapore); Anuj Pathania (National University of Singapore); Tulika Mitra (National University of Singapore)

    • Underprovisioning Backup Power Infrastructure for Datacenters
      Di Wang (The Pennsylvania State University); Sriram Govindan (Microsoft); Anand Sivasubramaniam (The Pennsylvania State University); Aman Kansal (Microsoft Research); Jie Liu (Microsoft Research); Badriddine Khessib


3:30pm-4:00pm, Break


4:00pm-5:40pm
  • Session 3A: Software reliability and testing I:
    Chair: Santosh Nagarakatte, Rutgers University
    Location: Grand Ballroom A

    • Comprehending Performance from Real-World Execution Traces: A Device-Driver Case
      Xiao Yu (North Carolina State University); Shi Han (Microsoft Research Asia); Dongmei Zhang (Microsoft Research Asia); Tao Xie (University of Illinois at Urbana-Champaign)

    • Leveraging the Short-Term Memory of Hardware to Diagnose Production-Run Software Failures
      Joy Arulraj (University of Wisconsin, Madison); Guoliang Jin (University of Wisconsin, Madison); Shan Lu (University of Wisconsin, Madison)

    • RelaxReplay: Record and Replay for Relaxed-Consistency Multiprocessors
      Nima Honarmand (University of Illinois at Urbana-Champaign); Josep Torrellas (University of Illinois at Urbana-Champaign)

    • Prototyping Symbolic Execution Engines for Interpreted Languages
      Stefan Bucur (EPFL); Johannes Kinder (EPFL); George Candea (EPFL)


  • Session 3B: Heterogeneous computing:
    Chair: Debbie Marr, Intel Corp.
    Location: Grand Ballroom B

    • Q100: The Architecture and Design of a Database Processing Unit
      Lisa Wu (Columbia University); Andrea Lottarini (Columbia University); Timothy K. Paine (Columbia University); Martha A. Kim (Columbia University); Kenneth A. Ross (Columbia University)

    • DianNao: A Small-Footprint High-Throughput Accelerator for Ubiquitous Machine-Learning
      Tianshi Chen (ICT) ; Zidong Du (ICT); Ninghui Sun (ICT); Jia Wang; Chengyong Wu (ICT); Yunji Chen (ICT); Olivier Temam (INRIA)

    • K2: A Mobile Operating System for Heterogeneous Coherence Domains
      Felix Xiaozhu Lin (Rice University); Zhen Wang (Rice University); Lin Zhong (Rice University)

    • Disengaged Scheduling for Fair, Protected Access to Fast Computational Accelerators
      Konstantinos Menychtas (University of Rochester); Kai Shen (University of Rochester); Michael L. Scott (University of Rochester)


6:00pm-10:00pm, Excursion- Utah Olympic Oval


Tuesday 4th March 2014


7:30am - 8:30am, Breakfast


8:30am - 9:30am, Keynote
Chair: Rajeev Balasubramonian, University of Utah

Neuromorphic Processing: A New Frontier in Scaling Computer Architecture (slides)
Jeff Gehlhaar, Qualcomm
(Abstract and Speaker Bio)


9:30am - 10:00am, Break


10:00am - 11:40am
  • Session 4A: Virtualization:
    Chair: Carl A. Waldspurger
    Location: Grand Ballroom A

    • I/O Paravirtualization at the Device File Boundary
      Ardalan Amiri Sani (Rice University); Kevin A. Boos (Rice University); Shaopu Qin (Rice University); Lin Zhong (Rice University)

    • KVM/ARM: The Design and Implementation of the Linux ARM Hypervisor
      Christoffer Dall (Columbia University); Jason Nieh (Columbia University)

    • VSwapper: A Memory Swapper for Virtualized Environments
      Nadav Amit (Technion - Israel Institute of Technology); Dan Tsafrir (Technion - Israel Institute of Technology); Assaf Schuster (Technion - Israel Institute of Technology)

    • Cider: Native Execution of iOS Apps on Android
      Jeremy Andrus (Columbia University); Alexander Van't Hof (Columbia University); Naser AlDuaij (Columbia University); Christoffer Dall (Columbia University); Nicolas Viennot (Columbia University); Jason Nieh (Columbia University)


  • Session 4B: Transactional memory and consistency:
    Chair: Sandhya Dwarkadas, University of Rochester
    Location: Grand Ballroom B

    • SI-TM: Reducing Transactional Memory Abort Rates through Snapshot Isolation
      Heiner Litz (Stanford University); David Cheriton (Stanford University); Omid Azizi (Hicamp Systems); Amin Firoozshahian (Hicamp Systems); John P. Stevenson (Stanford University)

    • Transactionalizing Legacy Code: An Experience Report Using GCC and Memcached
      Michael Spear (Lehigh University); Trilok Vyas (Lehigh University); Wenjia Ruan (Lehigh University); Yujie Liu (Lehigh University)

    • Fence-Free Work Stealing on Bounded TSO Processors
      Adam Morrison (Blavatnik School of Computer Science, Tel Aviv University); Yehuda Afek

    • Heterogeneous-race-free Memory Models
      Derek R. Hower (AMD Research); Bradford M. Beckmann (AMD Research); Benedict R. Gaster (AMD Research); Blake A. Hechtman (AMD Research/Duke University); Mark D. Hill (AMD Research/University of Wisconsin); Steven K. Reinhardt (AMD Research); David A. Wood (AMD Research/University of Wisconsin)


11:40am - 1:10pm, Awards Lunch


1:10pm - 2:50pm
  • Session 5A: Storage systems:
    Chair: Martha Kim, Columbia University
    Location: Grand Ballroom A

    • Triple-A: A Non-SSD Based Autonomic All-Flash Array for Scalable High Performance Computing Storage Systems
      Myoungsoo Jung (The University of Texas at Dallas); Wonil Choi (The University of Texas at Dallas); John Shalf (Lawrence Berkeley National Laboratory); Mahmut Kandemir (The Pennsylvania State University)

    • NVM Duet: Unified Working Memory and Persistent Store Architecture
      Ren-Shuo Liu (National Taiwan University, Taipei, Taiwan); De-Yu Shen (National Taiwan University, Taipei, Taiwan); Chia-Lin Yang (National Taiwan University, Taipei, Taiwan); Shun-Chih Yu (National Taiwan University, Taipei, Taiwan); Cheng-Yuan Michael Wang (Macronix International Co., Ltd., Hsinchu, Taiwan)

    • SDF: Software-Defined Flash for Web-Scale Internet Storage System
      Jian Ouyang (Baidu); Shiding Lin (Baidu); Song Jiang (Wayne State University); Zhenyu Hou (Baidu); Yong Wang (Baidu); Yuanzheng Wang (Baidu)

    • Integrated 3D-Stacked Server Designs for Increasing Physical Density of Key-Value Stores
      Anthony Gutierrez (University of Michigan); Michael Cieslak (University of Michigan); Bharan Giridhar (University of Michigan); Ronald G. Dreslinski (University of Michigan); Luis Ceze (University of Washington); Trevor Mudge (University of Michigan)


  • Session 5B: Parallelism I:
    Chair: Josep Torrellas, University of Illinois at Urbana-Chamapign
    Location: Grand Ballroom B

    • Deterministic Galois: On-demand, Parameterless and Portable
      Donald Nguyen (University of Texas at Austin); Andrew Lenharth (University of Texas at Austin); Keshav Pingali (University of Texas at Austin)

    • Energy-Efficient Work-Stealing Language Runtimes
      Haris Ribic (SUNY Binghamton); Yu David Liu (SUNY Binghamton)

    • Data-Parallel Finite-State Machines
      Todd Mytkowicz (Microsoft Research); Madanlal Musuvathi (Microsoft Research); Wolfram Schulte (Microsoft Research)

    • Challenging the ''Embarrassingly Sequential'': Parallelizing Finite State Machine-Based Computations through Principled Speculation
      Zhijia Zhao (College of William and Mary); Bo Wu (College of William and Mary); Xipeng Shen (College of William and Mary)



2:50pm - 3:15pm, Break


3:15pm - 4:30pm
  • Session 6A: Parallelism II:
    Chair: Chris Hughes, EPFL
    Location: Grand Ballroom A

    • The Sharing Architecture: Sub-Core Configurability for IaaS Clouds
      Yanqi Zhou (Princeton University); David Wentzlaff (Princeton University)

    • ASC: Automatically Scalable Computation
      Amos Waterland (Harvard University); Elaine Angelino (Harvard University); Ryan P. Adams (Harvard University); Jonathan Appavoo (Boston University); Margo Seltzer (Harvard University)

    • The Benefit of SMT in the Multi-Core Era: Flexibility towards Degrees of Thread-Level Parallelism
      Stijn Eyerman (Ghent University); Lieven Eeckhout (Ghent University)


  • Session 6B: Compilers, optimization, and co-design
    Chair: Keshav Pingali, University of Texas at Austin
    Location: Grand Ballroom B

    • Finding the Limit: Examining the Potential and Complexity of Compilation Scheduling for JIT-Based Runtime Systems
      Yufei Ding (College of William and Mary); Mingzhou Zhou (College of William and Mary); Zhijia Zhao (College of William and Mary); Sarah Eisenstat (MIT); Xipeng Shen (College of William and Mary)

    • Speculative Hardware/Software Co-designed FP Multiply-Add Fusion
      Marc Lupon (Intel); Enric Gibert (Intel); Grigorios Magklis (Intel); Sridhar Samudrala (Intel); Raul Martinez (Intel); Kyriakos Stavrou (Intel); David R. Ditzel (Intel)

    • Post-compiler Software Optimization for Reducing Energy
      Eric Schulte (University of New Mexico); Jonathan Dorn (University of Virginia); Stephen Harding (University of New Mexico); Stephanie Forrest (University of New Mexico); Westly Weimer (University of Virginia)


4:30pm - 5:30pm, Poster Session
Chair: John Regehr, Univ of Utah


5:30pm - 7:00pm, Wild and Crazy Ideas Session (dinner and drinks will be provided)
Co-Chairs: Luis Ceze (Univ of Washington) and Karin Strauss (Microsoft Research)
Location: Grand Ballroom A/B

    5:30 to 6:00: WACInote: RF-powered computing and communication, Josh Smith, Univ of Washington

  • Bio-Accelerators: Bridging Biology and Silicon for General-Purpose Computing
    Bradley Thwaites, Amir Yazdanbakhsh, Jongse Park, Hadi Esmaeilzadeh (GATech)

  • Disembodied Computer
    Mark Oskin (University of Washington)

  • AMNESIAC: Amnesic Automatic Computer
    Ulya Karpuzcu (University of Minnesota)

  • Dirty RAM and Rotten Caches : Saving the World From Useless Updates
    Meenakshi Sundaram Bhaskaran, Michael Wei (UCSD)

  • Zero-Copy Java? (And the Pervasive Use of Accelerators)
    Erik Altman, Nick Mitchell, Peter F. Sweeney (IBM Research)

  • Awakening Rip Van Memory- A Case for Software Defined Memory in the Age of Big Data
    Suparna Bhattacharya and Sam Adams (IBM Research)

  • The Mechanical Turk Is Asleep
    Robert Liu (UCSD)



7:00pm - 8:00pm, Program chair's report and ASPLOS business meeting
Chair: Tim Harris, Oracle Labs


Wednesday 5th March 2014


7:30am - 8:30am, Breakfast

8:30am -10:00am, Debate:

“Resolved: Specialized architectures, languages, and system software should largely supplant general-purpose alternatives within the next decade.” (Abstract)
Moderator: David Wood, University of Wisconsin-Madison

Debators:
Pro: Edouard Bugnion (EPFL), Christos Kozyrakis (Stanford University), Kunle Olukotun (Stanford University)
Con: Chris Hughes (Intel), Keshav Pingali (Univ of Texas at Austin), Emmett Witchel (Univ of Texas at Austin)


10:00am - 10:30am, Break


10:30am - 12:10pm
  • Session 7A: Software reliability and testing II:
    Chair: Shan Lu, University of Wisconsin-Madison

    • Guardrail: A High Fidelity Approach to Protecting Hardware Devices from Buggy Drivers
      Olatunji Ruwase (Carnegie Mellon University); Michael A. Kozuch (Intel); Phillip B. Gibbons (Intel); Todd C. Mowry (Carnegie Mellon University)

    • Low-Level Detection of Language-Level Data Races with LARD
      Benjamin P. Wood (University of Washington); Luis Ceze (University of Washington); Dan Grossman (University of Washington)

    • EnCore: Exploiting System Environment and Correlation Information for Misconfiguration
      Jiaqi Zhang (UC San Diego); Lakshminarayanan Renganarayana ( IBM TJ Watson); Xiaolan Zhang ( IBM TJ Watson); Niyu Ge ( IBM TJ Watson); Vasanth Bala ( IBM TJ Watson); Tianyin Xu (UC San Diego); Yuanyuan Zhou (UC San Diego)


  • Session 7B: Caches and TLBs:
    Chair: Kathryn S. McKinley, Microsoft Research

    • High-Performance Fractal Coherence
      Gwendolyn Voskuilen (Purdue University); T. N. Vijaykumar (Purdue University)

    • Locality-Oblivious Cache Organization leveraging Single-Cycle Multi-Hop NoCs
      Woo Cheol Kwon (MIT); Tushar Krishna (MIT); Li-Shiuan Peh (MIT)

    • Ubik: Efficient Cache Sharing with Strict QoS for Latency-Critical Workloads
      Harshad Kasture (MIT); Daniel Sanchez (MIT)

    • Architectural Support for Address Translation on GPUs
      Bharath Pichai (Rutgers University); Lisa Hsu (Qualcomm); Abhishek Bhattacharjee (Rutgers University)



12:10pm Closing remarks