SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Wed 20 Oct 2021 11:35 - 11:50 at Zurich C - Onward! Paper Session 1 Chair(s): Wolfgang De Meuter
Wed 20 Oct 2021 19:35 - 19:50 at Zurich C - Onward! Paper Session 1 Chair(s): Shigeru Chiba

\emph{Neural surrogates}, neural networks that are trained to compute the same function as a given program, provide alternative representations of classical programs with different properties that are useful for a variety of programming tasks. With neural compilation, programmers develop a neural surrogate that replicates the behavior of the original program to deploy to end-users in place of the original program. With neural adaptation, programmers first develop a neural surrogate of a program then continue to train the neural surrogate on a different task. With neural surrogate optimization, programmers develop a neural surrogate of the original program, optimize input parameters of that neural surrogate using gradient descent, then plug the optimized input parameters back into the original program. Compared to standard programming approaches on these tasks, neural surrogates are more efficient and result in higher accuracy.

However, the approaches in the literature for developing neural surrogates are disparate. We identify the \emph{neural surrogate programming methodology} common to these approaches, consisting of the \emph{specification} of the problem, the \emph{design} of the neural network architecture, the \emph{training} of the neural network, and the \emph{deployment} considerations of the system.

Wed 20 Oct

Displayed time zone: Central Time (US & Canada) change

10:50 - 12:10
Onward! Paper Session 1Onward! Papers at Zurich C +8h
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel
10:50
15m
Day opening
Onward! WelcomeVirtual
Onward! Papers

11:05
15m
Talk
Natural Language-Guided ProgrammingVirtual
Onward! Papers
Geert Heyman Nokia Bell Labs, Belgium, Rafael Huysegems Nokia Bell Labs, Belgium, Pascal Justen Nokia Bell Labs, Tom Van Cutsem Nokia Bell Labs
DOI
11:20
15m
Talk
Towards Self-Adaptable LanguagesVirtual
Onward! Papers
Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University
DOI
11:35
15m
Talk
Programming with Neural Surrogates of ProgramsIn-Person
Onward! Papers
Alex Renda Massachusetts Institute of Technology, Yi Ding Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
DOI
11:50
20m
Live Q&A
Discussion, Questions and Answers
Onward! Papers

18:50 - 20:10
Onward! Paper Session 1Onward! Papers at Zurich C
Chair(s): Shigeru Chiba The University of Tokyo
18:50
15m
Day opening
Onward! WelcomeVirtual
Onward! Papers

19:05
15m
Talk
Natural Language-Guided ProgrammingVirtual
Onward! Papers
Geert Heyman Nokia Bell Labs, Belgium, Rafael Huysegems Nokia Bell Labs, Belgium, Pascal Justen Nokia Bell Labs, Tom Van Cutsem Nokia Bell Labs
DOI
19:20
15m
Talk
Towards Self-Adaptable LanguagesVirtual
Onward! Papers
Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University
DOI
19:35
15m
Talk
Programming with Neural Surrogates of ProgramsIn-Person
Onward! Papers
Alex Renda Massachusetts Institute of Technology, Yi Ding Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
DOI
19:50
20m
Live Q&A
Discussion, Questions and Answers
Onward! Papers