[Haskell] FW: TV06 (Threads Verification) Workshop - New Deadlines, Student Bursaries, ...

[Simon Marlow]

Posting on behalf of Ganesh [ganesh at 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 at cs.utah.edu

ORGANIZERS: Ganesh Gopalakrishnan (Univ of Utah) and John O'Leary
(Intel)

--