| Cristian Tapus 2006-09-25, 7:00 pm |
|
Workshop on Tools, Operating Systems and Programming Models for
Developing Reliable Systems (TOPMoDelS)
held in conjunction with IPDPS 2007
March 26-30, Long Beach, California, USA
http://mojave.caltech.edu/topmodels07
Theme:
Building applications that require massively parallel or distributed
systems is a common task. Reliability and automatic recovery from faults
are paramount in such environments.
The goal of this workshop is to bring researchers and practitioners
together in a setting where they can discuss novel architectures to
build reliable distributed systems, the design and implementation of new
tools, techniques, programming languages and compilers to increase the
reliability and provide recoverability in distributed systems, bug
finding and debugging tools in such environments, as well as new
developments in formal verification of such environments.
The topics of interest for this workshop range from fundamental
theoretical problems to application oriented questions.
Topics of interest include, but are not limited to:
* Tools for recovery in parallel and distributed systems
* Programming models and primitives for reliable distributed computing
* Compilers for languages with primitives for reliability and
recoverability
* Compilers for domain specific languages with applications in
distributed environments
* Debugging tools for parallel and distributed systems
* Model checkers for parallel and distributed systems
* Formal specifications and models for distributed systems
* Reasoning tools for parallel and distributed systems
* Algorithms for distributed systems recovery
* Speculative and transactional distributed computing
* Formal verification of distributed systems
Important Dates:
* November 6th, 2006, 5PM PST, Manuscripts Due
* December 15, 2006, Decisions Mailed
* January 22, 2007, Camera-ready Papers Due
Organizer and Program Chair:
Cristian Tapus, Caltech and Center for Advanced Computing Research, USA
Technical Program Committee:
Jason Hickey, Caltech, USA
Ranjit Jhala, UCSD, USA
Joe Kiniry, University College Dublin, Ireland
Sorin Lerner, UCSD, USA
Nenad Medvidovic, USC, USA
Christine Morin, INRIA, France
Cristina Nita-Rotaru, Purdue University, USA
Aleksey Nogin, Caltech, USA
Nicolae Tapus, ``Politehnica'' University Bucharest, Romania
Yuanyuan Zhou, UIUC, USA
Yuval Tamir, UCLA, USA
Steering Committee
Nathaniel Gray, Caltech, USA
David Noblet, Caltech, USA
Tentative Keynote Speaker
Ion Stoica, UC Berkeley
Submission Guidelines
To submit papers, send the file (at most 8 pages long including
figures and references in the IEEE format (see www.ieee.org))
describing original unpublished research by the manuscript submission
deadline (above) in either Postscript or PDF format electronically
via the submission link present on the workshop's web page.
All papers will be reviewed.
The proceedings for workshops will be published (on CD-ROM) along
with the regular proceedings for The IEEE International Parallel &
Distributed Processing Symposium.
--
|