This program is tentative and subject to change.

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.

This program is tentative and subject to change.

Fri 25 Oct

Displayed time zone: Pacific Time (US & Canada) change

12:20 - 13:50
SIGPLAN Milner Award Talk - Armando Solar-LezamaKeynotes at California
12:20
90m
Keynote
SIGPLAN Milner Award Talk
Keynotes
Armando Solar-Lezama Massachusetts Institute of Technology