Syntax-Guided Program Synthesis

Time and Location:

Dec. 07, 2018 at 11AM; 60 Fifth Avenue, Room TBA,

Speaker:

Rajeev Alur, University of Pennsylvania