1. Algorithmic program synthesis: introduction

   • Rastislav Bodik
   • Barbara Jobstmann

   Introduction 27 August 2013 Pages: 397 - 411

2. Abstraction-guided synthesis of synchronization

   • Martin Vechev
   • Eran Yahav
   • Greta Yorsh

   Synthesis 23 May 2012 Pages: 413 - 431

3. Safety first: a two-stage algorithm for the synthesis of reactive systems

   • Saqib Sohail
   • Fabio Somenzi

   Synthesis 03 February 2012 Pages: 433 - 454

4. Functional synthesis for linear arithmetic and sets

   • Viktor Kuncak
   • Mikaël Mayer
   • Philippe Suter

   Synthesis 22 November 2011 Pages: 455 - 474

5. Program sketching

   • Armando Solar-Lezama

   Synthesis 02 August 2012 Pages: 475 - 495

6. Template-based program verification and program synthesis

   • Saurabh Srivastava
   • Sumit Gulwani
   • Jeffrey S. Foster

   Synthesis 25 January 2012 Pages: 497 - 518

7. Bounded synthesis

   • Bernd Finkbeiner
   • Sven Schewe

   Synthesis 07 April 2012 Pages: 519 - 539

8. Exploiting structure in LTL synthesis

   • Emmanuel Filiot
   • Naiyong Jin
   • Jean-François Raskin

   Synthesis 24 January 2012 Pages: 541 - 561

9. Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

   • Robert Könighofer
   • Georg Hofferek
   • Roderick Bloem

   Synthesis 16 December 2011 Pages: 563 - 583

10. Synthesis of AMBA AHB from formal specification: a case study

    • Yashdeep Godhal
    • Krishnendu Chatterjee
    • Thomas A. Henzinger

    Synthesis 10 July 2011 Pages: 585 - 601

11. Synthesis from component libraries

    • Yoad Lustig
    • Moshe Y. Vardi

    Synthesis 08 June 2012 Pages: 603 - 618