ASPLOS09

�{�è‚Å‚·�B‚‚¢‚Å‚É ASPLOS09(3/7-11)‚à�B

http://www.cs.virginia.edu/asplos09/program.htm

Monday, March 9, 2009
8:00-9:00am Continental Breakfast

9:00-9:15am Opening Remarks

9:15-10:15am Keynote

10:15-10:45am Morning Break

10:45-11:45am Session 1: Lessons Learned and Looking Ahead

An Evaluation of the TRIPS Computer System 
 Mark Gebhart, Bertrand Maher, Katherine Coons, Jeff Diamond, Steve Keckler, Doug Burger, Kathryn McKinley, Univ. of Texas at Austin, USA

Architectural Implications of Nanoscale Integrated Sensing and Computing 
Constantin Pistol, Wutichai Chongchitmate, Chris Dwyer, Alvin Lebeck, Duke Univ., USA 
  

11:45am-1:00pm Lunch

1:00-3:00pm Session 2: Reliable Systems I

CTrigger: Exposing Atomicity Violation Bugs from Their Hiding Places 
Soyeon Park, Shan Lu, Yuanyuan Zhou, Univ. of Illinois, USA

ASSURE: Automatic Software Self-healing Using REscue points 
 Stelios Sidiroglou, Oren Laadan, Carlos Perez, Nicolas Viennot, Jason Nieh, Angelos Keromytis, Columbia Univ., USA

Recovery Domains: An Organizing Principle for Recoverable Operating Systems 
Andrew Lenharth, Vikram Adve, Samuel King, Univ. of Illinois, USA

 Anomaly-Based Bug Prediction, Isolation, and Validation: An Automated Approach for Software Debugging 
Martin Dimitrov, Huiyang Zhou, Univ. Central Florida, USA 
  

3:00-3:30pm Afternoon Break

3:30-5:00pm Session 3: Deterministic Multiprocessing

 Capo: Abstractions and Software-Hardware Interface for Hardware-Assisted Deterministic Multiprocessor Replay 
Pablo Montesinos, Matthew Hicks, Samuel King, Josep Torrellas, Univ. of Illinois, USA

DMP: Deterministic Shared Memory Multiprocessing 
Joseph Devietti, Brandon Lucia, Luis Ceze, Mark Oskin, Univ. Washington, USA

Kendo:  Efficient Determistic Multithreading in Software 
Marek Olszewski, Jason Ansel, Saman Amarasinghe, MIT, USA 
  

5:30-7:00pm Wild and Crazy Session

Tuesday, March 10, 2009
8:00-9:00am Continental Breakfast

9:00-10:30am Session 4: Prediction and Accounting (Session Chair: Sasha Fedorova, Simon Fraser Univ., Canada)

Complete Information Flow Tracking from the Gates Up 
 Mohit Tiwari, Hassan Wassel, Bita Mazloom, Shashidhar Mysore, Frederic Chong, Timothy Sherwood, Univ. of California, Santa Barbara, USA

RapidMRC: Approximating L2 Miss Rate Curves on Commodity Systems for Online Optimizations 
David Tam, Reza Azimi, Livio Soares, Michael Stumm, Univ. of Toronto, Canada

Per-Thread Cycle Accounting in SMT Processors 
Stijn Eyerman, Lieven Eeckhout, Univ. Ghent, Belgium 
  

10:30-11:00am Morning Break

11:00- noon Session 5: Transactional Memories

Maximal Benefit from a Minimal TM 
Owen Hofmann, Christopher Rossbach, Emmitt Witchel, Univ. of Texas at Austin, USA

Early Experience with a Commercial Hardware Transactional Memory Implementation 
Dave Dice, Yossi Lev, Mark Moir, Dan Nussbaum, Sun 
  

noon-1:15pm Lunch

1:15-2:45pm Session 6: Reliable Systems II

Mixed-Mode Multicore Reliability 
Philip Wells, Koushik Chakraborty, Guri Sohi, Univ. Wisconsin at Madison, USA

Isolator: Dynamically Ensuring Isolator for Concurrent Programs 
Kapil Vaswani, Sriram Rajamani, Ganesan Ramalingam, Venkatesh Ranganath, Microsoft

Efficient Online Validation with Delta Execution 
Joseph Tucek, Weiwei Xiong, Yuanyuan Zhou, Univ. of Illinois, USA 
  

2:45-3:15pm Afternoon Break

3:15-4:00pm Session 7: Power and Storage in Enterprise Systems

PowerNap: Eliminating Server Idle Power 
David Meisner, Brian Gold, Thomas Wenisch, Univ. of Michigan, USA

Gordon: Using Flash Memory to Build Fast, Power-efficient Clusters for Data-intensive Applications 
Adrian Caulfield, Laura Grupp, Steven Swanson, Univ. of California, San Diego, USA

 DFTL: A Flash Translation Layer Employing Demand-Based Selective Caching of Page-level Address Mappings 
Aayush Gupta, Youngjae Kim, Bhuvan Urgaonkar, Penn State Univ., USA 
  

4:00-5:30pm Session 8: Potpourri (Session Chair: Luiz Ceze, Univ. of Washington)

A New Method of Commutativity Analysis for Software Parallelization 
Nathan Clark, Farhana Aleen, Georgia Tech, USA

An Asymmetric Multi-core Architecture for Accelerating Critical Sections 
 Aater Suleman,  Univ. of Texas at Austin, USA, Onur Mutlu, Microsoft, Moinuddin Qureshi, IBM, Yale Patt, Univ. of Texas at Austin, USA

Producing Wrong Data Without Doing Anything Obviously Wrong! 
 Todd Mytkowicz, Amer Diwan, Univ. of Colorado, USA, Matthias Hauswirth, Univ. of Lugano, Switzerland, Peter Sweeney, IBM 
  

6:30pm Conference Banquet

Wednesday, March 11, 2009
8:00-9:00am Continental Breakfast

9:00-10:30am Session 9: Managed Systems

Safely Bounding Memory Usage in Leaky Programs 
Michael Bond, Kathryn McKinley, Univ. Texas at Austin, USA

Dynamic Prediction of Collection Yield for Managed Runtimes 
Michal Wegiel, Chandra Krintz, Univ. of California, Santa Barbara, USA

TwinDrivers: Automatic Derivation of Fast and Safe Hypervisor Drivers from Guest OS Drivers 
Aravind Menon, Simon Schubert, Willy Zwaenepoel, EPFL, Switzerland 
  

10:30-11:00am Morning Break

11:00-12:30pm Session 10: Architectures

Phantom-BTB: A Virtualized Branch Target Buffer Design 
Ioana Burcea, Andreas Moshovos, Univ. of Toronto, Canada

StreamRay: A Stream Filtering Architecture for Coherent Ray Tracing 
Karthik Ramani, Christiaan Gribble, Al Davis, Univ. of Utah, USA

 Architectural Support for SIMD Text Processing with Parallel Bit Streams: The Inductive Doubling Principle 
Robert Cameron, Dan Lin, Simon Fraser Univ., Canada 

suzaki