Workshop
Workshop on Computer Assisted Programming (CAP)
Augustus Odena · Charles Sutton · Nadia Polikarpova · Josh Tenenbaum · Armando Solar-Lezama · Isil Dillig
Sat 12 Dec, 8:30 a.m. PST
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
Sat 8:30 a.m. - 8:40 a.m.
|
Welcome Talk
(
Welcome Talk
)
>
|
Augustus Odena 🔗 |
Sat 8:40 a.m. - 9:10 a.m.
|
Sumit Gulwani Talk
(
Keynote Talk
)
>
|
Sumit Gulwani 🔗 |
Sat 9:10 a.m. - 9:40 a.m.
|
Roopsha Samanta Talk
(
Keynote Talk
)
>
|
Roopsha Samanta 🔗 |
Sat 9:40 a.m. - 10:10 a.m.
|
Spotlight Session 1
(
Spotlight Talks
)
>
|
Augustus Odena · Maxwell Nye · Disha Shrivastava · Mayank Agarwal · Vincent J Hellendoorn · Charles Sutton 🔗 |
Sat 10:10 a.m. - 11:00 a.m.
|
Poster Session 1
(
Posters
)
>
|
🔗 |
Sat 11:00 a.m. - 11:30 a.m.
|
Swarat Chaudhuri Talk
(
Keynote Talk
)
>
|
Swarat Chaudhuri 🔗 |
Sat 11:30 a.m. - 12:00 p.m.
|
Elena Glassman Talk
(
Keynote Talk
)
>
|
Elena Glassman 🔗 |
Sat 12:00 p.m. - 12:30 p.m.
|
Spotlight Session 2
(
Spotlight Talks
)
>
|
Augustus Odena · Kensen Shi · David Bieber · Ferran Alet · Charles Sutton · Roshni Iyer 🔗 |
Sat 12:30 p.m. - 1:00 p.m.
|
Kevin Ellis Talk
(
Keynote Talk
)
>
SlidesLive Video |
Kevin Ellis 🔗 |
Sat 1:00 p.m. - 2:30 p.m.
|
Poster Session 2
(
Posters
)
>
|
🔗 |
Sat 2:30 p.m. - 3:00 p.m.
|
Satish Chandra Talk
(
Keynote Talk
)
>
|
Satish Chandra · Augustus Odena · Charles Sutton 🔗 |
Sat 3:00 p.m. - 3:30 p.m.
|
Xinyun Chen Talk
(
Keynote Talk
)
>
SlidesLive Video |
Xinyun Chen 🔗 |
Sat 3:30 p.m. - 4:00 p.m.
|
Panel
(
Virtual Panel
)
>
|
Augustus Odena · Charles Sutton · Roopsha Samanta · Xinyun Chen · Elena Glassman 🔗 |
Sat 4:00 p.m. - 4:10 p.m.
|
closing talk
(
closing talk
)
>
|
Augustus Odena · Charles Sutton 🔗 |