| TV06 | Multithreading in Hardware and Software: Formal Approaches to Design and Verification Seattle, August 21 - 22, 2006 |
Overview
The use of threading is already widespread, and will experience explosive growth moving into the future, given that tomorrow's performance / energy goals will be met through the increased use of threads and "multicores" (chip level multiprocessors). Unfortunately, the correctness problems in this arena are daunting, as well as are far from being solved. TV06 invites papers addressing the tussle between correctness, reliability, and performance in this space.
Program
Invited Talks
-
Monday, August 21st, 09:30‑10:30
Maurice Herlihy (Brown University)
What Can We Prove about Transactional Memory? [ppt] -
Monday, August 21st, 14:30‑15:30
Nir Shavit (Sun Microsystems)
Transactional Locking -
Monday, August 21st, 16:00‑17: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] -
Tuesday, August 22nd, 09:30‑10:30
Vijay Saraswat (IBM T.J. Watson Research Center)
A framework for memory models and its application to X10 [ppt] -
Tuesday, August 22nd, 14:30‑15:30
Paul Petersen (Intel)
Multicore Software Development: Encouraging an Industry Transition [pdf]
Program Committee
- Arvind MIT CSAIL, USA
- Hans Boehm HP, USA
- Ching Tsun Chou Intel, Santa Clara,USA
- Byron Cook Microsoft Research, Cambridge,UK
- Robert P. Cook Georgia Southern University, USA
- Cormac Flanagan UC Santa Cruz, USA
- Mike Kirby University of Utah, USA
- Timothy G. Mattson Intel, DuPont, USA
- John Regehr University of Utah, USA
- Scott Stoller SUNY at Stony Brook, USA
- Shaz Qadeer Microsoft Research, USA
- Yue Yang Microsoft, USA
Organizers
- Ganesh Gopalakrishnan, University of Utah, Salt Lake City, UT, USA
- John O'Leary, Intel, Hillsboro, OR, USA
Important Dates
Deadline for submissions: May 15, 2006
Notification of acceptance: June 20, 2006
Final manuscript due: July 20, 2006
Workshop: August 21-22, 2006
Paper Submission
Submissions are now closed.