| 12:00-1:00 | Taylor Hall
3.128 -- Lunch, introductions |
| 1:00-3:20 | ACES 2.402 -- Correctness |
| 1:00-1:30 | "Exterminator: Automatically
Debugging Memory Errors," Gene Novark, Emery Berger, and Ben Zorn, U Mass & Microsoft
Talk
|
| 1:30-2:00 | "Cork: Dynamic Memory Leak Detection for Garbage-Collected Languages," Maria Jump and Kathryn McKinley, U Texas
Talk
|
| 2:00-2:30 | "Quasi-Infinite Heaps," Vitaliy Lvin, Emery Berger, and Ben Zorn, U Mass & Microsoft,
Talk
|
| 2:30-3:00 | "Assertion-based Repair of Structurally Complex Data," Sarfraz Khurshid, U Texas
Talk
|
| 3:00-3:30 | Break |
| 3:30-5:00 | ACES 2.302 -- Nested Transactions (Public forum) |
| 3:30-4:30 | "Nesting Transactions: Why and What do we need?," Eliot Moss, U Mass
Talk
|
| 4:30-5:00 | "Language Extensions and Semantics for Open Nested Transactions," Antony Hosking & Eliot Moss, Purdue, U Mass
Talk
|
| 6:00-8:30 | Dinner |
| 8:30-on | Social activities |
| 8:30-9:00 | ACES 2.402 -- Breakfast |
| 9:00-10:30 | ACES 2.402 -- Concurrency |
| 9:00-9:30 | "A Faster Lock-Free HashTable," Cliff Click, Azul
Talk
|
| 9:30-10:00 | "Efficient Software Transactional
Memory," Richard L. Hudston et al, Intel |
| 10:00-10:30 | "Optimistic Parallelization Using the Galois Model," Milind Kulkarni & Keshav Pingali, U Texas
Talk
|
| 10:30-10:45 | Break |
| 10:45-12:00 | ACES 2.402 -- Analysis & Correctness |
| 10:45-11:10 | "Unified Memory Analysis," Mark Marron et al, UNM |
| 11:10-11:35 | "Query Extraction," Benjamin
Wiedermann and William Cook, U Texas
Talk
|
| 11:35-12:00 | "Bell: Bit-Encoding Online Memory Leak Detection," Michael Bond and Kathryn McKinley, U Texas
Talk
|
| 12:00-1:15 | Taylor Hall 3.128 -- Lunch |
| 1:15-1:15 | Compilers |
| 1:15-2:40 | "Guided Refactoring," Chistoph Reichenbach and Amer Diwan, Colorado
Talk
|
| 1:40-2:05 | "Dynamic Call Graph Correction," Byeongcheol Lee et al, U Texas
Talk
|
| 2:05-3:00 | Measurement & Analysis |
| 2:05-2:40 | "TuningFork: Visualization, Analysis, and Debugging of Complex Real-Time Systems," David Grove et al, IBM
Talk
|
| 2:40-3:05 | "Evaluation of Trace Alignment Techniques," Todd Mytkowicz, Amer Diwan, Matthias Hauswirth, and Peter Sweeney
Talk
|
| 3:05-3:30 | Break |
| 3:30-5:30 | Research Infrastructure |
| 3:30-4:00 | "The DaCapo Benchmarks: Java Benchmarking Development and Analysis," Steve Blackburn et al
Talk
|
| 4:00-5:30 | Panel discussion: "Research Infrastructure: Whose responsibility?" |
| "Microsoft and Research Infrastructure," Mark Lewin
Talk
|
| 6:00-8:30 | Dinner |
| 8:30-on | Social activities |