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 OctDisplayed 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 15mDay opening | Onward! WelcomeVirtual Onward! Papers | ||
11:05 15mTalk | 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 15mTalk | 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 15mTalk | 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 20mLive Q&A | Discussion, Questions and Answers Onward! Papers |
18:50 - 20:10 | |||
18:50 15mDay opening | Onward! WelcomeVirtual Onward! Papers | ||
19:05 15mTalk | 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 15mTalk | 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 15mTalk | 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 20mLive Q&A | Discussion, Questions and Answers Onward! Papers |