Write a Blog >>
Sun 18 Jun 2017 11:45 - 12:30 at Sala d'Actes, Vertex Building - Session 2

Armando Solar-Lezama is an associate professor at MIT where he leads the Computer Aided Programming Group. His research interests include software synthesis and its applications in diverse areas such as high-performance computing, information flow security and probabilistic programming.

Sun 18 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: PLMW - Session 2 at Sala d'Actes, Vertex Building
PLMW-PLDI-201711:00 - 11:45
Michael HicksUniversity of Maryland, College Park
PLMW-PLDI-201711:45 - 12:30