July 23-24, 2014
co-located with the 26th International Conference on Computer Aided Verification
News: We will have a special issue of the journal Acta Informatica on the 3rd Workshop on Synthesis. The call for papers can be found here. Deadline is the 1st of March 2015.
The idea of synthesis, i.e., the process of automatically computing implementations from their specifications, has recently gained a lot of momentum in the contexts of software engineering and reactive system design. While it is widely believed that, due to complexity/undecidability issues, synthesis cannot completely replace manual engineering, it can assist the process of designing the intricate pieces of code that most programmers find challenging, or help with orchestrating tasks in reactive environments.
This workshop aims at bringing together and providing an open platform for researchers interested in synthesis. Research on synthesis exists well alongside conferences on formal methods and verification, such as CAV, which aim at improving the reliability of systems. Driven by the vast potential for practical applications of synthesis, we aim at fostering scientific exchange not only within the areas of software and reactive synthesis, but also between them.
Topics of Interest
Topics of interest include, but are not limited to:
- algorithms and tools for software synthesis and reactive (discrete-time, timed, hybrid, ...) synthesis
- specification languages and optimization in synthesis
- complexity and impossibility results for synthesis
- case studies of software or hardware synthesis
- connections between verification and synthesis
Call for Papers
We welcome scientific contributions of the following forms:
- regular papers (max. 15 pages in EPTCS style, excluding references),
- tool papers (max. 7 pages in EPTCS style, excluding references),
Submitted regular and tool papers must be original and unpublished. Papers accepted for presentation at the workshop will appear in the Electronic Proceedings in Theoretical Computer Science series; hence, submissions must be prepared in LaTeX using the EPTCS macro package. Given sufficient interest, extended versions of selected papers will appear in a special issue of the journal Acta Informatica.
Accepted Papers
- Aaron Bohy, Véronique Bruyère and Jean-Francois Raskin. Symblicit algorithms for optimal strategy synthesis in monotonic Markov decision processes
- Roderick Bloem, Rüdiger Ehlers, Swen Jacobs and Robert Koenighofer. How to Handle Assumptions in Synthesis
- Romain Brenguier, Guillermo Perez, Ocan Sankur and Jean-Francois Raskin. AbsSynthe: abstract synthesis from succinct safety specifications
- Rüdiger Ehlers and Vasumathi Raman. Low-effort Specification Debugging and Analysis
- Adria Gascon and Ashish Tiwari. Synthesis of a simple self stabilizing system
- Susmit Jha and Sanjit A. Seshia. Are There Good Mistakes? A Theoretical Analysis of CEGIS
- Ayrat Khalimov, Swen Jacobs and Roderick Bloem. Parameterized Synthesis Case Study: AMBA AHB
- Herbert Wiklicky. Program Synthesis and Linear Operator Semantics
The conference proceedings have been published by EPTCS as volume 157.
Invited Speakers
Competitions/Special Session
Two competitions on synthesis took place in the scope of the FLoC Olympic Games:
- Syntax-Guided Synthesis Competition (SyGuS-COMP 2014)
- Synthesis Competition (SYNTCOMP 2014)
Both competitions are affiliated with CAV 2014, but also have strong ties to the SYNT 2014 workshop. The workshop had a special session for an in-depth presentation and discussion of the results of both competitions.
Support
The SYNT 2014 workshop is kindly supported by the Expedition in Computer Augmented Program Engineering (ExCAPE) project and the Austrian Rigorous System Engineering Network (RiSE).
Important Dates
| Paper submission: | May 1, 2014 |
| Notification: | June 3, 2014 |
| Camera ready version: | June 25, 2014 |
| Workshop | July 23-24, 2014 |
Submission to SYNT 2014 is now closed.
Program Committee
- Pavol Cerny (University of Colorado at Boulder)
- Krishnendu Chatterjee (IST Austria) - chair
- Rüdiger Ehlers (University of Bremen) - chair
- Bernd Finkbeiner (Saarland University)
- Swen Jacobs (TU Graz)
- Susmit Jha (Intel Strategic CAD Lab) - chair
- Barbara Jobstmann (Jasper Design Automation / EPFL)
- Orna Kupferman (Hebrew University of Jerusalem)
- Nir Piterman (University of Leicester)
- Jean-François Raskin (Université libre de Bruxelles)
- Sriram Sankaranarayanan (University of Colorado)
- Armando Solar-Lezama (Massachusetts Institute of Technology)
- Ashish Tiwari (SRI International)
- Emina Torlak (UC Berkeley)
Previous Editions of SYNT