Event time:
Thursday, April 28, 2016 - 10:30am
Location:
AKW 200
51 Prospect Street
New Haven, CT
06511
Event description:
OGST
Quentin Carbonneaux
Tools and Techniques for Resource Bound Analysis of Imperative Programs