SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Wed 18 Nov 2020 17:00 - 17:20 at OOPSLA/ECOOP - W-6
Thu 19 Nov 2020 05:00 - 05:20 at OOPSLA/ECOOP - W-6

A frequent programming pattern for small tasks, especially expressions, is to repeatedly evaluate the program on an input as its editing progresses. The Read-Eval-Print Loop (REPL) interaction model has been a successful model for this programming pattern. We present the new notion of Read-Eval-Synth Loop (RESL) that extends REPL by providing in-place synthesis on parts of the expression marked by the user. RESL eases programming by synthesizing parts of a required solution. The underlying synthesizer relies on a partial solution from the programmer and a few examples.

RESL hinges on bottom-up synthesis with general predicates and sketching, generalizing programming by example. To make RESL practical, we present a formal framework that extends observational equivalence to non-example specifications.

We show the value of RESL by conducting a controlled within-subjects user-study on 19 programmers from 8 companies, where programmers are asked to solve a small but challenging set of competitive programming problems. We find that programmers using RESL solve these problems with far less need to edit the code themselves and by browsing documentation far less. In addition, they are less likely to leave a task unfinished and more likely to be correct.

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

17:00 - 18:20: W-6OOPSLA at OOPSLA/ECOOP +12h
17:00 - 17:20
Talk
OOPSLA
Hila PelegUniversity of California, San Diego, Roi GabayTechnion, Shachar ItzhakyTechnion, Israel, Eran YahavTechnion
17:20 - 17:40
Talk
OOPSLA
Subarno BanerjeeUniversity of Michigan, David DevecseryGeorgia Institute of Technology, Peter M. ChenUniversity of Michigan, USA, Satish NarayanasamyUniversity of Michigan
17:40 - 18:00
Talk
OOPSLA
Guilherme LeobasUniversidade Federal de Minas Gerais, Fernando Magno Quintão PereiraUFMG
DOI Pre-print
18:00 - 18:20
Talk
OOPSLA
Yuting WangShanghai Jiao Tong University, Xiangzhe XuNanjing University, Pierre WILKECentraleSupelec Rennes, Zhong ShaoYale University

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

05:00 - 06:20: W-6OOPSLA at OOPSLA/ECOOP
05:00 - 05:20
Talk
OOPSLA
Hila PelegUniversity of California, San Diego, Roi GabayTechnion, Shachar ItzhakyTechnion, Israel, Eran YahavTechnion
05:20 - 05:40
Talk
OOPSLA
Subarno BanerjeeUniversity of Michigan, David DevecseryGeorgia Institute of Technology, Peter M. ChenUniversity of Michigan, USA, Satish NarayanasamyUniversity of Michigan
05:40 - 06:00
Talk
OOPSLA
Guilherme LeobasUniversidade Federal de Minas Gerais, Fernando Magno Quintão PereiraUFMG
DOI Pre-print
06:00 - 06:20
Talk
OOPSLA
Yuting WangShanghai Jiao Tong University, Xiangzhe XuNanjing University, Pierre WILKECentraleSupelec Rennes, Zhong ShaoYale University