Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Tue 16 Jun 2020 15:30 - 16:00 at MAPL live stream - Program Synthesis Chair(s): Satish Chandra

Over the past fifteen years, the field of program synthesis has made significant strides thanks to the development of powerful search techniques that leveraged advances in our ability to reason about programs. The growing ambition of the field, however, has demonstrated the limitations of this approach in terms of the complexity of the code you can generate from it.

The growing power of machine learning, however, has opened up new opportunities for a new generation of program synthesis techniques. In this talk, I will describe how machine learning can serve to enhance the power of more traditional synthesis techniques, but without necessarily replacing them. Instead, new techniques have emerged that combine our ability to reason symbolically about programs with our ability to learn complex distributions from data and to assign meaning to unstructured inputs such as hand drawn images or natural language text.

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.

Tue 16 Jun
Times are displayed in time zone: (GMT-07:00) Pacific Time (US & Canada) change

15:30 - 17:00: MAPL - Program Synthesis at MAPL live stream
Chair(s): Satish ChandraFacebook
mapl-2020-papers15:30 - 16:00
Armando Solar-LezamaMassachusetts Institute of Technology, USA
mapl-2020-papers16:00 - 16:30
Mayur PatilUniversity of California, Riverside, Farzin HoushmandUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside
mapl-2020-papers16:30 - 17:00
Rishabh SinghGoogle Brain