Posting on behalf of Ganesh [EMAIL PROTECTED]
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/ -- [EMAIL PROTECTED]
ORGANIZERS: Ganesh Gopalakrishnan (Univ of Utah) and John O'Leary
(Intel)
--
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
