1st 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

Technical Committee on Parallel Processing

NEW Workshop Program:

3:30pm - 4:00pm
Decomposing Partial Order Execution Graphs to Improve Message Race Detection
Authors: Basile Schaeli and Sebastian Gerlach and Roger D. Hersch

4:00pm - 4:30pm
The Design of a Multi-Core Extension of the Spin Model Checker
Authors: Gerard Holzmann and Dragan Bosnacki

4:30pm - 5:00pm
The Mojave Compiler: Providing Language Primitives for Whole-Process Migration and Speculation for Distributed Applications
Authors: Justin D. Smith and Cristian Tapus and Jason Hickey

5:00pm - 5:30pm
Packet Loss Burstiness: Observations and Impacts on Loss-Based Congestion Control Protocols
Authors: David Wei and Pei Cao and Steven Low

5:30pm - 6:00pm
FixD: Fault Detection, Bug Reporting, and Recoverability for Distributed Applications
Authors: Cristian Tapus and David Noblet

Web page: http://mojave.caltech.edu/topmodels07

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 20th, 2006
  December 1st, 2006 (extension due to technical problems with the submission setup)
  Manuscripts Due
• December 22nd, 2006
  January 1st, 2007
  Decisions Mailed
• January 22nd, 2007
  Camera-ready Papers Due

Organizer and Program Chair
Cristian Ţãpuş, 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, HRL Laboratories, LLC, 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

Contact email:
       

Submission Guidelines

To submit papers, send the file (at most 8 pages long including figures and references in the IEEE format) describing original unpublished research by the manuscript submission deadline (above) in either Postscript or PDF format electronically via the submission link below.

Click here to enter the electronic submission site.

The proceedings for workshops will be published (on CD-ROM) along with the regular proceedings for The IEEE International Parallel & Distributed Processing Symposium.