Saturday, March 5, 2011

• Full-Day Events (refer to individual event pages for start and finish time)
  
  • Workshop on General-Purpose Computation on Graphics Processing Units, David Kaeli (NEU), John Cavazos (University of Delaware)
    (Held in Cardiff)
  • Workshop on Architecture and Systems Support for Mobile Applications (canceled), Alex Shye (Qualcomm), Calin Cascaval (Qualcomm)
  • Runtime Environments/Systems, Layering, and Virtualized Environments, Alex Garthwaite (VMware), Orran Krieger (VMware)
    (Held in Del-Mar)
• Morning Event (refer to individual event pages for start and finish time)
  
  • Workshop on Architecting Memory Technologies, Shih-Lien Lu (Intel) (canceled)
• Afternoon Event (refer to individual event pages for start and finish time)
  
  • High-Level Programming of FPGA Accelerators (canceled), Jason Villarreal (UC Riverside), Walid Najjar (UC Riverside)

Sunday, March 6, 2011

• Full-Day Events (refer to individual event pages for start and finish time)
  
  • Workshop on Determinism and Correctness in Parallel Programming, Vikram Adve (UIUC), Luis Ceze (University of Washington), Bryan Ford (Yale)
    (Held in Cardiff)
  • Workshop on Multicore Systems – Architectures, Runtime Systems and Software Development, Mary Jane Irwin (Penn State), Mary Lou Soffa (University of Virginia)
    (Held in Laguna & Sunset)
• Morning Events (refer to individual event pages for start and finish time)
  
  • Exascale Evaluation and Research Techniques Workshop, David Meisner (University of Michigan)
    (Held in Del-Mar)
  • GLIFT: Designing Verifiably Secure Systems using Gate-Level Information Flow Tracking (canceled), Tim Sherwood (UC Santa Barbara), Mohit Tiwari (UC Santa Barbara)
• Afternoon Events (refer to individual event pages for start and finish time)
  
  • Computing in Heterogeneous, Autonomous 'N' Goal-oriented Environments, Henry Hoffmann (MIT), Marco D. Santambrogio (PoliMi/MIT)
    (Held in Del-Mar)
  • Parallel Programming with Cilk and Array Notation using the Intel Compiler (canceled), William Leiserson (Intel), Chi-Keung Luk (Intel), Peng Tu (Intel)

Opening Reception and Poster Session 6:30PM - 9:30PM Held in Newport Coast Ballroom Sponsored by

Monday, March 7, 2011 (Held in Newport Coast Ballroom)

8:15 AM-8:30 AM    Chairs' Welcome

8:30 AM-9:45 AM    Keynote: The Cloud Will Change Everything Jim Larus, Microsoft Research

9:45AM-10:20AM    Break

Better Logging Support for Software Debugging Chair: Michael Swift, University of Wisconsin-Madison

10:20AM-10:45AM    Improving Software Diagnosability via Log Enhancement Ding Yuan1,  Jing Zheng2,  Soyeon Park2,  Yuanyuan Zhou2,  Stefan Savage2 1University of Illinois, Urbana-Champaign and University of California, San Diego, 2University of California, San Diego

10:45AM-11:10AM    DoublePlay: Parallelizing sequential logging and replay Kaushik Veeraraghavan,  Dongyoon Lee,  Benjamin Wester,  Jessica Ouyang,  Peter Chen,  Jason Flinn,  Satish Narayanasamy University of Michigan

Understanding and Improving Transactional Memory Chair: Michael Swift, University of Wisconsin-Madison

11:10AM-11:35AM    Hardware Acceleration of Transactional Memory on Commodity Systems Jared Casper,  Tayo Oguntebi,  Sungpack Hong,  Nathan Bronson,  Christos Kozyrakis,  Kunle Olukotun Stanford University

11:35AM-12:00PM    Hybrid NOrec: A Case Study in the Effectiveness of Best Effort Hardware Transactional Memory Luke Dalessandro1,  Fraincois Carouge2,  Sean White2,  Yossi Lev3,  Mark Moir3,  Michael Scott1,  Michael Spear2 1University of Rochester, 2Lehigh University, 3Sun Labs at Oracle

12:00PM-1:30PM    Lunch (Held in Rose Garden) Sponsored by

Innovations in Memory Ordering Models for Parallel Machines Chair: James Laudon, Google

1:30PM-1:55PM    Efficient Processor Support for DRFx, a Memory Model with Exceptions Abhayendra Singh1,  Daniel Marino2,  Satish Narayanasamy1,  Todd Millstein2,  Madanlal Musuvathi3 1University of Michigan, Ann Arbor, 2University of California, Los Angeles, 3Microsoft Research

1:55PM-2:20PM    RCDC: A Relaxed-Consistency Deterministic Computer Joseph Devietti,  Jacob Nelson,  Tom Bergan,  Luis Ceze,  Dan Grossman University of Washington

2:20PM-2:45PM    Specifying and Checking Semantic Atomicity for Multithreaded Programs Jacob Burnim,  George Necula,  Koushik Sen University of California, Berkeley

2:45PM-3:20PM    Break

Programming for Persistent Memory Chair: Thomas F. Wenisch, University of Michigan

3:20PM-3:45PM    Mnemosyne: Lightweight Persistent Memory Haris Volos,  Andres Jaan Tack,  Michael Swift University of Wisconsin-Madison

3:45PM-4:10PM    NV-Heaps: Making Persistent Objects Fast and Safe with Next-Generation, Non-Volatile Memories Joel Coburn,  Adrian M. Caulfield,  Ameen Akel,  Laura M. Grupp,  Rajesh K. Gupta,  Ranjit Jhala,  Steven Swanson University of California, San Diego

Enhancing Device Driver Reliability Chair: Yuanyuan Zhou, UC San Diego

4:10PM-4:35PM    A declarative language approach to device configuration Adrian Schüpbach,  Andrew Baumann,  Timothy Roscoe,  Simon Peter ETH Zurich

4:35PM-5:00PM    Improved Device Driver Reliability Through Hardware Verification Reuse Leonid Ryzhyk1,  John Keys2,  Balachandra Mirla1,  Arun Raghunath2,  Mona Vij2,  Gernot Heiser1 1NICTA & UNSW, 2Intel

5:30 PM-7:00 PM    Ideas and Perspectives Session Chair: Ras Bodik, UC Berkeley Sponsored by

Instruction Subset Architectures (ISA): Guaranteeing Functionality in High Defect Rate Technologies Hiren D. Patel and Siddharth Garg University of Waterloo

Shared Memory via Execution Migration Mieszko Lis, Keun Sup Shim, Omer Khan, and Srinivas Devadas MIT

Dense Approximate Storage in Phase-Change Memory Jacob Nelson, Adrian Sampson, and Luis Ceze University of Washington

The Human Processing Unit (invited talk) James Davis UCSC

Tuesday, March 8, 2011 (Held in Newport Coast Ballroom)

Novel Computing Platforms Chair: Luis Ceze, University of Washington

8:30AM-8:55AM    A Case for Neuromorphic ISAs Atif Hashmi,  Andrew Nere,  James Thomas,  Mikko Lipasti University of Wisconsin - Madison

8:55AM-9:20AM    Mementos: System Support for Long-Running Computation on RFID-Scale Devices Benjamin Ransford1,  Jacob Sorber2,  Kevin Fu1 1University of Massachusetts Amherst, 2Dartmouth College

9:20AM-9:45AM    Pocket Cloudlets Emmanouil Koukoumidis1,  Dimitrios Lymberopoulos2,  Karin Strauss2,  Jie Liu2,  Doug Burger2 1Princeton University, 2Microsoft Research

9:45AM-10:20AM    Break

Saving Power and Energy Chair: Jim Larus, Microsoft Research

10:20AM-10:45AM    Blink: Managing Server Clusters on Intermittent Power Navin Sharma,  Sean Barker,  David Irwin,  Prashant Shenoy University of Massachusetts at Amherst

10:45AM-11:10AM    Dynamic Knobs for Power-Aware Computing Henry Hoffman,  Stelios Sidiroglou,  Michael Carbin,  Sasa Misailovic,  Anant Agarwal,  Martin Rinard MIT

11:10AM-11:35AM    Flikker: Saving DRAM Refresh-power through Critical Data Partitioning Song Liu1,  Karthik Pattabiraman2,  Thomas Moscibroda3,  Benjamin Zorn3 1Northwestern University, 2University of British Columbia, 3Microsoft Research

11:35AM-12:00PM    MemScale: Active Low-Power Modes for Main Memory Qingyuan Deng1,  David Meisner2,  Luiz Ramos1,  Thomas Wenisch2,  Ricardo Bianchini1 1Rutgers University, 2University of Michigan

12:00PM-1:30PM    Lunch (Held in Rose Garden) Sponsored by

Recognizing Software and Concurrency Bugs Chair: Emery Berger, University of Massachusetts, Amherst

1:30PM-1:55PM    2ndStrike: Towards Manifesting Hidden Concurrency Typestate Bugs Qi Gao1,  Wenbin Zhang2,  Zhezhe Chen2,  Mai Zheng2,  Feng Qin2 1Facebook, Inc., 2The Ohio State University

1:55PM-2:20PM    ConSeq: Detecting Concurrency Bugs through Sequential Errors Wei Zhang,  Junghee Lim,  Ramya Olichandran,  Joel Scherpelz,  Guoliang Jin,  Shan Lu,  Thomas Reps University of Wisconsin, Madison

2:20PM-2:45PM    S2E: A Platform for In Vivo Multi-Path Analysis of Software Systems Vitaly Chipounov,  Volodymyr Kuznetsov,  George Candea EPFL

2:45PM-3:20PM    Break

Rethinking and Protecting Operating Systems Chair: Orran Krieger, VMware

3:20PM-3:45PM    Ensuring Operating System Kernel Integrity with OSck Owen Hofmann,  Alan Dunn,  Sangman Kim,  Indrajit Roy,  Emmett Witchel The University of Texas at Austin

3:45PM-4:10PM    Rethinking the Library OS from the Top Down Donald Porter1,  Silas Boyd-Wickizer2,  Jon Howell3,  Reuben Olinsky3,  Galen Hunt3 1Stony Brook University, 2Massachusetts Institute of Technology, 3Microsoft Research

Learning from the Past: Drawing Conclusions from Extensive Measurement Studies Chair: Orran Krieger, VMware

4:10PM-4:35PM    Faults in Linux: Ten Years Later Nicolas Palix1,  Gaël Thomas2,  Suman Saha2,  Christophe Calvès2,  Julia Lawall3,  Gilles Muller4 1DIKU, 2LIP6-Regal, 3DIKU/INRIA/LIP6-Regal, 4INRIA/LIP6-Regal

4:35PM-5:00PM    Looking Back on the Language and Hardware Revolutions: Measured Power, Performance, and Scaling Hadi Esmaeilzadeh1,  Ting Cao2,  Xi Yang2,  Stephen Blackburn2,  Kathryn McKinley3 1University of Washington, 2Australian National University, 3The University of Texas at Austin

6:30 PM-10:30 PM    Banquet (Dinner Cruise) Sponsored by

Wednesday, March 9, 2011 (Held in Newport Coast Ballroom)

Thursday, March 10, 2011

Friday, March 11, 2011