VSTTE 2015
Date: Jul 18, 2015 8:00 am – Jul 19, 2015 5:00 pm
Location: San Francisco, CA
7th Working Conference on Verified Software: Theories, Tools, and Experiments
The Seventh Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), Philadelphia (2012), Atherton (2013) and Vienna (2014). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation.
We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest include education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments.
Organization
- General Chair: Martin Schaef (SRI International)
- Program Chairs: Arie Gurfinkel (CMU SEI) and Sanjit A. Seshia (UC Berkeley)
- Publicity Chair: Daniel Bundala (UC Berkeley)
Program Committee:
- Elvira Albert (Complutense University of Madrid)
- Nikolaj Bjorner (Microsoft Research)
- Evan Chang (University of Colorado, Boulder)
- Ernie Cohen (University of Pennsylvania)
- Jyotirmoy Deshmukh (Toyota)
- Jin Song Dong (National University of Singapore)
- Vijay D'Silva (Google)
- Vijay Ganesh (University of Waterloo)
- Alex Groce (Oregon State)
- Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) (co-chair)
- Bill Harris (Georgia Institute of Technology)
- Chris Hawblitzel (Microsoft Research)
- Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
- Susmit Jha (United Technologies)
- Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory)
- Vladimir Klebanov, Karlsruhe Institute of Technology, DE
- Akash Lal (Microsoft Research India)
- Ruzica Piskac (Yale)
- Zvonimir Rakamaric (University of Utah)
- Kristin Yvonne Rozier (University of Cincinnati)
- Sanjit A. Seshia (UC Berkeley) (co-chair)
- Natarajan Shankar (SRI)
- Carsten Sinz (KIT)
- Nishant Sinha (IBM Research Labs)
- Alexander Summers (ETH Zurich)
- Zachary Tatlock (University of Washington)
- Sergey Tverdyshev (Sysgo AG)
- Arnaud Venet (CMU / NASA Ames Research Center)
- Karen Yorav (IBM Haifa Research Lab)
Submitted by Anonymous
on
7th Working Conference on Verified Software: Theories, Tools, and Experiments
The Seventh Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), Philadelphia (2012), Atherton (2013) and Vienna (2014). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation.
We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest include education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments.
Organization
- General Chair: Martin Schaef (SRI International)
- Program Chairs: Arie Gurfinkel (CMU SEI) and Sanjit A. Seshia (UC Berkeley)
- Publicity Chair: Daniel Bundala (UC Berkeley)
Program Committee:
- Elvira Albert (Complutense University of Madrid)
- Nikolaj Bjorner (Microsoft Research)
- Evan Chang (University of Colorado, Boulder)
- Ernie Cohen (University of Pennsylvania)
- Jyotirmoy Deshmukh (Toyota)
- Jin Song Dong (National University of Singapore)
- Vijay D'Silva (Google)
- Vijay Ganesh (University of Waterloo)
- Alex Groce (Oregon State)
- Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) (co-chair)
- Bill Harris (Georgia Institute of Technology)
- Chris Hawblitzel (Microsoft Research)
- Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
- Susmit Jha (United Technologies)
- Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory)
- Vladimir Klebanov, Karlsruhe Institute of Technology, DE
- Akash Lal (Microsoft Research India)
- Ruzica Piskac (Yale)
- Zvonimir Rakamaric (University of Utah)
- Kristin Yvonne Rozier (University of Cincinnati)
- Sanjit A. Seshia (UC Berkeley) (co-chair)
- Natarajan Shankar (SRI)
- Carsten Sinz (KIT)
- Nishant Sinha (IBM Research Labs)
- Alexander Summers (ETH Zurich)
- Zachary Tatlock (University of Washington)
- Sergey Tverdyshev (Sysgo AG)
- Arnaud Venet (CMU / NASA Ames Research Center)
- Karen Yorav (IBM Haifa Research Lab)