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

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