BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Constructing Programs from Examples and other Specifications
DTSTART:20140616T113000
DTSTAMP:20260407T043224Z
UID:3d875623d32327d7cfb7a30fa23a6225096b59c3a452db06d94a439c
CATEGORIES:Conferences - Seminars
DESCRIPTION:Viktor Kuncak\, EPFL\nI will present techniques my research gr
 oup has been developing to transform reusable software specifications\, su
 itable for users and designers\, into executable implementations\, suitabl
 e for efficient execution. I outline deductive synthesis techniques that t
 ransform input/output behavior descriptions (such as examples\, postcondit
 ions\, and invariants) into conventional functions form inputs to outputs.
   We have applied these techniques to synthesize recursive operations on 
 functional data structures.
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR