SYNT 2012

1st Workshop on Synthesis

July 7th and July 8th, 2012, Berkeley, California, USA

Co-Located with the 24th International Conference on Computer Aided Verification

A natural progress from checking the correctness of code is to synthesize software from its formal specification. While it is widely believed that, due to complexity/undecidability issues, software synthesis cannot completely replace programmers, it can still assist the process of designing the intricate pieces of code that most programmers find challenging.
Synthesis has recently progressed substantially and is starting to become a viable research area with vast potential for practical applications. This kind of research exists well alongside conferences on formal methods and verification, such as CAV, which aim at improving the reliability of systems. This workshop aims at bringing together and providing an open platform for researchers interested in synthesis.


The workshop proceedings are now available online and as a single pdf file.

Saturday, July 7

10:30 - 11:20: Synthesis for Systems Biology (Rastislav Bodik)
11:20 - 12:00: Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs (Roopsha Samanta)
12:00 -   1:30:Break
  1:30 -   2:20: Bounded Synthesis for Real-Time Systems (Bernd Finkbeiner and Hans-Jörg Peter)
  2:20 -   3:00: Towards Efficient Parameterized Synthesis (Ayrat Khalimov, Swen Jacobs and Roderick Bloem)
  3:00 -   3:30:Break
  3:30 -   4:20:Synthesizing Programs using Bounded Domains and Occam’s Razor (Madhusudan Parthasaraty)
  4:20 -   5:00:Sparse Positional Strategies for Safety Games (Rüdiger Ehlers and Daniela Moldovan)

Sunday, July 8

10:00 - 10:40: Theory and Techniques for Synthesizing Space-Efficient Breadth-First Search Algorithms (Srinivas Nedunuri, Douglas Smith and William R Cook)
10:40 - 11:20: A method for patching control strategies based on local mu-calculus fixed points (Scott C. Livingston, Pavithra Prabhakar and Richard M. Murray)
11:20 - 12:00: A Synthesis-Based Framework for Systems Engineering (Jasen Markovski)
12:00 -   1:30:Break
  1:30 -   2:20: Synthesizing Robust Systems (Paulo Tabuada)
  2:20 -   3:00: Synthesizing Robust Systems with RATSY (Roderick Bloem, Hans Jürgen Gamauf, Georg Hofferek, Bettina Könighofer and Robert Könighofer)
  3:00 -   3:30:Break
  3:30 -   4:20:Consistency Checking of OpenMP Programs with TSO CPU Model (Farn Wang, Fang Yu, Shun-Ching Yang, Guan-Cheng Chen and Che-Chang Chan)
  4:20 -   5:00:Synthesis of synchronous products and asynchronous automata: from theory to practice (Alin Stefanescu)

Topics of Interest

Topics of interest include, but are not limited to:
  • synthesis algorithms
  • synthesis tools
  • complexity and impossibility results for synthesis
  • case studies of software or hardware synthesis

Proceedings & Submission Guidelines

We accept
  • regular papers (max. 16 pages in EPTCS style),
  • tool papers (max. 7 pages in EPTCS style),
  • work-in-progress presentations, and
  • presentations of relevant but already published work.
Submitted regular and tool papers must be original and unpublished. Regular and tool 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. Submission accepted for presentation must be presented at the workshop by at least one of the authors. Extended versions of selected papers (including presentations) will appear in a special issue of Acta Informatica.

  • Submissions should be made electronically on the SYNT2012 Submission Page.
  • Manuscripts of full research papers are limited to a maximum of 16 pages (excluding technical appendices) in PDF format (EPTCS style).
  • Manuscripts describing short tool papers are limited to a maximum of 7 pages in PDF (EPTCS style).
  • Presentations Reports on relevant results submitted to other forums, already published, or on not yet finished work in progress. Presentations will not be considered for the final workshop proceedings, but will be considered for the special issue. Manuscripts of presentations are limited to a maximum of 10 pages.


    Paper submission: April 3rd, 2012
    Notification: Mai 31st, 2012
    Camera ready version: June 18th, 2012
    Workshop: July 7th and 8th, 2012
    Special Issue: February 1st, 2013
    (open submission)

Inivited Speakers:

Programme Committee

Special Issue

Submission to this special issue is completely open. We expect original articles (typically 20-30 pages), which present high-quality contributions that have not been previously published in a journal and are not concurrently submitted to any other peer reviewed venue. Extended versions of contributions previously published in proceedings need to contain significant new material and should be accompanied by a short description of the extension. Submissions should be sent to with subject "Special Issue on Synthesis" and comply with author guidelines of
Acta Informatica.