NeurIPS 2020 Computer-Assisted Programming Workshop

Logo

NeurIPS 2020 Workshop on Computer-Assisted Programming

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.

Schedule

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

Call for Participation

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.

Key Dates

Speakers

Organizers

PC Members