Date: Saturday Dec 12 2020
Workshop Proceedings: LINK
NeurIPS Workshop Link (with chat/livestream/etc): LINK
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.
The workshop will be held on Saturday Dec 12 2020. All times are PT.
Time | Speaker |
---|---|
8:30 AM | Welcome Talk |
8:40 AM | Sumit Gulwani |
9:10 AM | Roopsha Samanta |
9:40 AM | Spotlight Talks I |
10:10 AM | Poster Session (gather.town) |
11:00 AM | Swarat Chaudhuri |
11:30 AM | Elena Glassman |
12:00 PM | Spotlight Talks II |
12:30 PM | Kevin Ellis |
1:00 PM | Lunch and posters (gather.town) |
2:30 PM | Satish Chandra |
3:00 PM | Xinyun Chen |
3:30 PM | Panel |
4:00 PM | Close |
We encourage position papers, work-in-progress submissions, and traditional workshop papers. We welcome papers from both the Programming Languages and Machine Learning communities, and we especially encourage crossover work. Content of traditional workshop papers should be largely original. All submissions should be anonymized, limited to 4 pages in length (with unlimited pages for references), and can be typeset the style of any major Machine Learning or Programming Languages conference (e.g. PLDI, POPL, NeurIPS, ICLR, ICML). Appendices of any length are allowed, but reviewers aren’t obligated to read them. Submissions and reviewing will be done through OpenReview: Submission link for OpenReview
We intend for each submission to receive 2 reviews, but we can’t (at present) guarantee this. There will be no formal workshop proceedings, and so submission to this workshop does not preclude submission to any other venue, so long as the other venue allows it. Submissions will be evaluated for correctness and originality.
We will consider as in-scope anything that relates at least tangentially to computer-assisted programming; the following is an incomplete list of in-scope topics:
Please don’t hesitate to email the organizers with questions.