Posting on behalf of Ganesh [ganesh@cs.utah.edu] INTERNATIONAL WORKSHOP on MULTITHREADING in HARDWARE and SOFTWARE (TV06) Sponsored by Microsoft (bursaries for 6 student papers - see URL) August 21-22, 2006, Seattle, WA (after CAV 2006; part of FLoC 2006) NEW DEADLINES: Submissions: May 15; Acceptance: June 20; Final version: July 20 INVITED SPEAKERS: Maurice Herlihy (Brown), Vijay Saraswat (IBM T.J. Watson Res. Ctr.), Nir Shavit (Sun) URL : http://www.cs.utah.edu/tv06/ (info on submissions, bursaries) TOPICS: * Analysis, testing, and verification techniques for concurrent systems * Experience building reliable and high-performance multithreaded systems * Verification case studies and experience reports * Language design and formal semantics pertaining to threading * Logics and models of concurrency, including transaction memories * Model checking (dealing with library calls, weak consistency models, etc.) * Shared memory consistency models (language, hardware, library levels) * Runtime verification for multithreaded programs and systems * Threading based solutions (hardware/software) in multi-core systems and chips * Designing formally well-specified high-performance thread libraries * Understanding threading issues in specific areas such as high-performance computing (e.g., OpenMP), general purpose libraries (e.g., PThreads), and languages (e.g., C#, Java) PROGRAM COMMITTEE: Arvind, MIT CSAIL Hans Boehm, HP Ching Tsun Chou, Intel Byron Cook, Microsoft Research Cambridge Robert P. Cook, Georgia Southern University Cormac Flanagan, UC Santa Cruz Robert M. Kirby, University of Utah Timothy G. Mattson, Intel Shaz Qadeer, Microsoft Research John Regehr, University of Utah Scott Stoller, SUNY at Stony Brook Yue Yang, Microsoft CONTACT INFO: http://www.cs.utah.edu/tv06/ -- tv06@cs.utah.edu ORGANIZERS: Ganesh Gopalakrishnan (Univ of Utah) and John O'Leary (Intel) --