Onward! 2015
Sun 25 - Fri 30 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
Thu 29 Oct 2015 15:30 - 15:54 at Grand Station 3-5 - Session the Third Chair(s): Lindsey Kuper

Syntax-guided synthesis searches for an implementation of a given specification by exploring large spaces of candidate programs. Sketches reduce these search spaces, making synthesis more tractable, by predefining the structure of the desired implementation. Typically, this structure is obtained through human insight—this paper introduces a method for interactive, tool-supported discovery of such structure. The key idea is to decompose the specification into subcomputations such that the decomposition dictates the sketch. We rely on a readily obtainable specification that is nothing more than a finite set of sample input-output pairs or execution traces of the desired program. We introduce two complementary decomposition operators and demonstrate them on case studies. We find that interactive structure discovery extends the reach of computer-aided programming to problems that cannot be solved with synthesis alone.

Thu 29 Oct

onward2015-papers
15:30 - 17:30: Onward! Papers - Session the Third at Grand Station 3-5
Chair(s): Lindsey KuperIntel Labs
onward2015-papers15:30 - 15:54
Talk
Shaon BarmanUC Berkeley, Rastislav BodikUniversity of Washington, USA, Satish ChandraSamsung Research America, Emina TorlakUniversity of Washington, Arka BhattacharyaUC Berkeley, David CullerUC Berkeley
onward2015-papers15:54 - 16:18
Talk
Sylvia GreweTU Darmstadt, Sebastian ErdwegTU Darmstadt, Germany, Pascal WittmannTU Darmstadt, Mira MeziniTU Darmstadt
Link to publication
onward2015-papers16:18 - 16:42
Talk
Ali AfroozehCentrum Wiskunde & Informatica, Anastasia IzmaylovaCentrum Wiskunde & Informatica
Link to publication DOI Pre-print Media Attached
onward2015-papers16:42 - 17:06
Talk
Aleksandar ProkopecEPFL, Martin OderskyEPFL, Switzerland
onward2015-papers17:06 - 17:30
Talk
Guillermo PolitoInria, Stéphane DucasseINRIA, France, Noury BouraqadiMines Douai, Luc FabresseMines Douai