BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Synthesis United:  Can reactive synthesis and syntax-guided synthe
 sis be friends? - Mark Santolucito - 
DTSTART:20220718T124500Z
DTEND:20220718T133000Z
UID:TALK176762@talks.cam.ac.uk
DESCRIPTION:While reactive synthesis and syntax-guided synthesis (SyGuS) h
 ave seen enormous progress in recent years\, combining the two approaches 
 has remained a challenge. In this talk\, I will present the synthesis of r
 eactive programs from Temporal Stream Logic modulo theories (TSL-MT)\, a f
 ramework that unites the two approaches to synthesize a single program. In
  our approach\, reactive synthesis and SyGuS collaborate in the synthesis 
 process\, and generate executable code that implements both reactive and d
 ata-level properties.\nWe present a tool\, temos\, that combines state-of-
 the-art methods in reactive synthesis and SyGuS to synthesize programs fro
 m TSL-MT specifications. We demonstrate the applicability of our approach 
 over a set of benchmarks\, and present a deep case study on synthesizing a
  music keyboard synthesizer.
LOCATION:Seminar Room 2\, Newton Institute
END:VEVENT
END:VCALENDAR