| TV06 | Multithreading in Hardware and Software: Formal Approaches to Design and Verification Seattle, August 21 - 22, 2006 |
Program
All sessions will take place in Metropolitan A unless otherwise indicated.
Monday, August 21st
Monday's program is also available with abstracts or side by side with other meetings.
08:30‑09:30 Session 1: Experience Reports, Transactions I
| 08:30 | Robert Cook
Thread Verification – an experience report |
| 09:00 | Arndt Mühlenfeld
and Franz Wotawa
Fault Detection in Multi-Threaded C++ Server Applications |
09:30‑10:30 Invited Talk
| 09:30 | Maurice Herlihy (Brown University) What Can We Prove about Transactional Memory? [ppt] |
10:30‑11:00 Break
11:00‑12:30 Session 2: Abstraction Refinement, Typing I
| 11:00 | Alexander Malkis
, Andreas Podelski and Andrey Rybalchenko
Thread-Modular Verification and Cartesian Abstraction |
| 11:30 | Chiara Braghin and Natasha Sharygina
Modeling and Verification of Mobile Systems |
| 12:00 | Frederic Dabrowski and Frederic Boussinot Cooperative threads and preemptive computations |
12:30‑14:00 Lunch break
14:00‑14:30 Session 3: Checkpointing, Transactions II
| 14:00 | Lukasz Ziarek, Philip Schatz and Suresh Jagannathan Modular Checkpointing for Atomicity |
14:30‑15:30 Invited Talk
| 14:30 | Nir Shavit (Sun Microsystems) Transactional Locking |
15:30‑16:00 Break
16:00‑17:00 Session 4: Invited Talk
| 16:00 | Wolfram Schulte and Bart Jacobs (Microsoft and Katholieke Universiteit Leuven) A simple sequential reasoning approach for sound modular verification of mainstream multithreaded programs. [ppt] |
17:00‑18:00 Open Mike
| 17:00 | Moderated 5-minute sessions open to all attendees |
Tuesday, August 22nd
Tuesday's program is also available with abstracts or side by side with other meetings.
08:30‑09:30 Session 5: Memory Models
| 08:30 | Lisa Higham, LillAnne Jackson and Jalal Kawash What is Itanium Memory Consistency from the Programmers Point of View? |
| 09:00 | Jan-Willem Maessen
and Arvind Arvind
Store Atomicity for Transactional Memory |
09:30‑10:30 Invited Talk
| 09:30 | Vijay Saraswat (IBM T.J. Watson Research Center) A framework for memory models and its application to X10 [ppt] |
10:30‑11:00 Break
11:00‑12:30 Session 6: Short Papers, Mutation Testing
| 11:00 | Jeff Napper and Lorenzo Alvisi Robust Multithreaded Applications |
| 11:15 | John Regehr
Thread Verification vs. Interrupt Verification |
| 11:30 | Muhammad Umar Janjua and Alan Mycroft Automatic Correcting transformations for Safety property violations |
| 11:45 | Yosi Ben Asher, Yaniv Eytani, Eitan Farchi and Shmuel Ur Noise Makers Need to Know Where to be Silent – Producing Schedules that Find Bugs |
| 12:00 | Shmuel Ur and Shady Copty Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ |
12:30‑14:00 Lunch break
14:00‑14:30 Session 7: Typing II, Multicores, Discussions
| 14:00 | Vasco Vasconcelos and Francisco Martins A Multithreaded Typed Assembly Language |
14:30‑15:30 Invited Talk
| 14:30 | Paul Petersen (Intel) Multicore Software Development: Encouraging an Industry Transition [pdf] |
15:30‑16:00 Break
16:00‑17:00 Moving Forward - what next?
| 16:00 | Open Discussions |
