Workshop: Workshop on Computer Assisted Programming (CAP)

Augustus Odena, Charles Sutton, Nadia Polikarpova, Josh Tenenbaum, Armando Solar-Lezama, Isil Dillig

2020-12-12T08:30:00-08:00 - 2020-12-12T16:10:00-08:00
Abstract: There are many tasks that could be automated by writing computer programs, but most people don’t know how to program computers (this is the subject of program synthesis, the study of how to automatically write programs from user specifications). Building tools for doing computer-assisted-programming could thus improve the lives of many people (and it’s also a cool research problem!). There has been substantial recent interest in the ML community in the problem of automatically writing computer programs from user specifications, as evidenced by the increased volume of Program Synthesis submissions to ICML, ICLR, and NeurIPS.

Despite this recent work, a lot of exciting questions are still open, such as how to combine symbolic reasoning over programs with deep learning, how to represent programs and user specifications, and how to apply program synthesis within computer vision, robotics, and other control problems. There is also work to be done on fusing work done in the ML community with research on Programming Languages (PL) through collaboration between the ML and PL communities, and there remains the challenge of establishing benchmarks that allow for easy comparison and measurement of progress. The aim of the CAP workshop is to address these points. This workshop will bring together researchers in programming languages, machine learning, and related areas who are interested in program synthesis and other methods for automatically writing programs from a specification of intended behavior.

Video

Chat

Chat is not available.

Schedule

2020-12-12T08:30:00-08:00 - 2020-12-12T08:40:00-08:00
Welcome Talk
Augustus Odena
2020-12-12T08:40:00-08:00 - 2020-12-12T09:10:00-08:00
Sumit Gulwani Talk
Sumit Gulwani
2020-12-12T09:10:00-08:00 - 2020-12-12T09:40:00-08:00
Roopsha Samanta Talk
Roopsha Samanta
2020-12-12T09:40:00-08:00 - 2020-12-12T10:10:00-08:00
Spotlight Session 1
Augustus Odena
2020-12-12T10:10:00-08:00 - 2020-12-12T11:00:00-08:00
Poster Session 1
2020-12-12T11:00:00-08:00 - 2020-12-12T11:30:00-08:00
Swarat Chaudhuri Talk
Swarat Chaudhuri
2020-12-12T11:30:00-08:00 - 2020-12-12T12:00:00-08:00
Elena Glassman Talk
Elena L Glassman
2020-12-12T12:00:00-08:00 - 2020-12-12T12:30:00-08:00
Spotlight Session 2
Augustus Odena
2020-12-12T12:30:00-08:00 - 2020-12-12T13:00:00-08:00
Kevin Ellis Talk
Kevin Ellis
2020-12-12T13:00:00-08:00 - 2020-12-12T14:30:00-08:00
Poster Session 2
2020-12-12T14:30:00-08:00 - 2020-12-12T15:00:00-08:00
Satish Chandra Talk
Satish Chandra, Augustus Odena, Charles Sutton
2020-12-12T15:00:00-08:00 - 2020-12-12T15:30:00-08:00
Xinyun Chen Talk
Xinyun Chen
2020-12-12T15:30:00-08:00 - 2020-12-12T16:00:00-08:00
Panel
Augustus Odena, Charles Sutton
2020-12-12T16:00:00-08:00 - 2020-12-12T16:10:00-08:00
closing talk
Augustus Odena, Charles Sutton