SAVCBS'10
	Specification and Verification of Component-Based Systems
	Workshop at FSE-18 2010 November 12, 2010

The ninth workshop on specification and verification of component-based systems affiliated with FSE-18 2010 will be held in Santa-Fe, New Mexico, USA on November 12, 2010.

The meeting will take place in the El Dorado Hotel's Pinion Room, starting at 9am. There will be a breakfast available at 8am, and a box lunch for registered participants at 12:30pm.

Information is available on the following topics.

• Authors (and everyone else!) should register for the workshop at the FSE 2010 website.
• Themes and Goals
• Schedule and Accepted Papers
• Important Dates
• Organization
• Web site for the SAVCBS workshop series.

Themes and Goals:

This workshop is concerned with how formal techniques can be or should be used to ascertain the correctness and reliability of large-scale systems. Modern software systems are composed from a large number of smaller components to manage the inherent complexity in building these systems. This presents both challenges and opportunities for verifying the correctness of such component-based systems. On the one hand, such systems require specialized specification and analysis techniques that deduce the correctness of the whole from the correctness of and interaction between the parts. On the other hand, modular reasoning is crucial for scaling verification techniques such as extended static analysis and model checking to the size of real systems. The workshop will consider formalization of both functional and non-functional behavior, such as performance or reliability.

We would like to bring together researchers and practitioners in the areas of software systems and formal methods to address the open problems in modular specification and verification of systems composed from components. We are interested in bridging the gap between principles and practice. The intent of bringing participants together at the workshop is to help form a community-oriented understanding of the relevant research problems and help steer formal methods research in a direction that will address the problems of real systems. Other issues are also important in the practice of component-based systems, such as concurrency, mechanization and scalability, performance (time and space), reusability, and understandability. The participants will brainstorm about these and related topics to understand both the problems involved and how formal techniques may be useful in solving them.

The goals of the workshop are to produce:

1. Contacts and discussion among researchers and practictioners,
2. A web site that will be maintained after the workshop to act as a central clearinghouse for research in this area.

Schedule and Accepted Papers:

Friday, November 12, 2010, Pinion (2nd floor, El Dorado Hotel, Santa Fe, NM)

Important Dates

• Paper submission: September 3, 2010 September 10, 2010
• Acceptance notification: October 4, 2010
• Final version due: November 1, 2010
• Workshop: November 12, 2010.

See the Call for Papers for more details.

Organization

Program Committee

• Madan Musuvathi (chair) Microsoft Research
• Alex Groce Oregon State University
• Chris Hawblitzel Microsoft Research
• Terence Kelly HP Labs
• Gerwin Klein NICTA
• Daniel Kroening University of Oxford
• Aditya Nori Microsoft Research
• Rupak Majumdar Max Planck Institute for Software Systems
• Neha Rungta NASA Ames Research Center
• Andrey Rybalchenko Technische Universität München
• Koushik Sen University of California, Berkeley
• Murali Talupur SCL, Intel
• Massimo Tivoli University of L'Aquila
• Xiangyu Zhang Purdue University

Organizers:

• Jonathan Aldrich, Carnegie Mellon University, Pittsburgh, PA 15213-3891, USA
• Dimitra Giannakopoulou, RIACS/NASA Ames Research Center, Moffett Field, CA 94035-1000, USA.
• Gary T. Leavens, School of Electrical Engineering and Computer Science, University of Central Florida, Orlando, Florida, 32816-2362, USA.
• Peter Müller, ETH Zurich, Switzerland.
• Natasha Sharygina, University of Lugano, Switzerland and Carnegie Mellon, Pittsburgh, PA, 15213