Write a Blog >>
PLDI 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / PLMW 2017 (series) / PLMW /

Program synthesis

PLMW 2017
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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Session 2PLMW at Sala d'Actes, Vertex Building
11:00
45m
Talk
What is research and how to do it? Thinking globally and acting locally.
PLMW
Michael Hicks University of Maryland, College Park
11:45
45m
Talk
Program synthesis
PLMW
Armando Solar-Lezama MIT CSAIL
Armando Solar-Lezama

Armando Solar-Lezama

MIT CSAIL