Proceedings 3rd Workshop on Synthesis

TL;DR

This paper discusses the state of automated synthesis in software engineering and reactive systems, highlighting recent research, applications, and community efforts like competitions to advance the field.

Contribution

It summarizes the discussions and presentations from the 3rd Workshop on Synthesis, emphasizing recent progress, challenges, and collaborative efforts in synthesis research.

Findings

Synthesis aids complex code design and reactive task orchestration.

Community efforts like SyGuS and SyntComp promote progress.

Workshop showcased ongoing research and applications.

Abstract

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. The SYNT workshop aims to bring together researchers interested in synthesis to discuss and present ongoing and mature work on all aspects of automated synthesis and its applications. The third iteration of the workshop took place in Vienna, Austria, and was co-located with the 26th International Conference on Computer Aided Verification, held in the context of the Vienna Summer of Logic in July 2014. The workshop included eight contributed talks and four invited talks. In addition, it featured a special session about the Syntax-Guided Synthesis Competition (SyGuS) and the SyntComp Synthesis competition.