Syntax-Guided Program Synthesis

Time and Location:

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

Speaker:

Rajeev Alur, University of Pennsylvania