Call for Papers

SSV 2015 Call for Papers

9th Conference on Systems Software Verification

Gold Coast, Australia, December 7-8, 2015
co-located with ICECCS.


Important Dates

Abstract Submission: September 21, 2015 at
Paper Submission: September 28, 2015 at
Notification: October 30, 2015
Conference: December 7–8, 2015


Industrial-strength software analysis and verification has advanced in recent years through the introduction of model checking, automated and interactive theorem proving, and static analysis techniques, as well as correctness by design, correctness by contract, and model-driven development. However, many techniques are working under restrictive assumptions that are invalidated by complex embedded systems software such as operating system kernels, low-level device drivers, or microcontroller code.

The aim of this conference is to bring together researchers and developers from both academia and industry who are facing real software and real problems with the goal of finding real, applicable solutions. By “real” we mean problems such as time-to-market or reliability that the industry is facing. A real solution is one that is applicable to the problem in industry and not one that only applies to an abstract, academic, toy version of it. In this event we will discuss software analysis and development techniques and tools; this forum will serve as a platform to discuss open problems and future challenges in dealing with existing and upcoming systems-level code.

Topics include, but are not restricted to:

  • Model checking
  • Automated and interactive theorem proving
  • Static analysis and type systems
  • Automated testing
  • Model-driven development
  • Concurrency
  • Security
  • Embedded systems development
  • Programming languages
  • Verifying compilers
  • Software certification
  • Software tools
  • Experience reports

Submissions must be made electronically through the EasyChair system until September 28th, 2015. Papers should be up to 10 pages in pdf format and formatted in EPTCS style []. Additional details may be included in a clearly marked appendix, which will be read at the discretion of the program committee. All will be subject to peer review under normal conference standards. Experience reports and papers on work in progress are welcome as long as there is a clear contribution. Submissions which are based or discuss a non-trivial piece of software are required to make all those non-standard software parts available, which a referee may need, in order to check the claims of the submission.

Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated.

Proceedings will be published as an issue in Electronic Proceedings in Theoretical Computer Science.

Program Committee

  • Jade Alglave, University College London
  • Ezio Bartocci, TU Wien
  • Andrew Butterfield, Lero, Trinity College Dublin
  • Franck Cassez, Macquarie University
  • Ana Cavalcanti, University of York
  • Mads Dam, KTH Royal Institute of Technology
  • Alastair Donaldson, Imperial College London
  • Stefania Gnesi, ISTI
  • Chris Hawblitzel, Microsoft Research
  • Jérome Hugues, ISAE
  • Limin Jia, CMU
  • Tiziana Margaria, Lero, University of Limerick
  • Toby Murray, NICTA and UNSW (Co-Chair)
  • John Regehr, University of Utah
  • David Sanán, NTU (Co-Chair)
  • Konrad Slind, Rockwell Collins
  • Jun Sun, SUTD
  • Alwen Tiu, NTU
  • Mark van den Brand, Eindhoven University of Technology

Steering Committee

  • Ralf Huuck, NICTA and UNSW
  • Gerwin Klein, NICTA and UNSW
  • Bastian Schlich, ABB Corporate Research


Comments are closed.