159 citations · 646 across the 48 of their papers we have counts for
7 papers · 1 filter
SyGuS-Comp 2017: Results and Analysis
Rajeev Alur, Dana Fisman, Rishabh Singh +1
Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula phi in a background the…
Selecting Representative Examples for Program Synthesis
Yewen Pu, Zachery Miranda, Armando Solar-Lezama +1
Program synthesis is a class of regression problems where one seeks a solution, in the form of a source-code program, mapping the inputs to their corresponding outputs exactly. Due…
Capturing the Future by Replaying the Past
James Koppel, Gabriel Scherer, Armando Solar-Lezama
Delimited continuations are the mother of all monads! So goes the slogan inspired by Filinski's 1994 paper, which showed that delimited continuations can implement any monadic effe…
Learning to Infer Graphics Programs from Hand-Drawn Images
Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama +1
We introduce a model that learns to convert simple hand drawings into graphics programs written in a subset of \LaTeX. The model combines techniques from deep learning and program…
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
James Koppel, Varot Premtoon, Armando Solar-Lezama
We present a new approach for building source-to-source transformations that can run on multiple programming languages, based on a new way of representing programs called increment…
Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC
Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu +6
Maintaining leadership in HPC requires the ability to support simulations at large scales and fidelity. In this study, we detail one of the most significant productivity challenges…