Precise Program Reasoning using Probabilistic Methods

Time and Location:

Feb. 11, 2019 at 2PM; 60 Fifth Avenue, Room 150

Speaker:

Mukund Raghothaman, University of Pennsylvania