159 citations · 646 across the 48 of their papers we have counts for
5 papers · 1 filter
SyGuS-Comp 2016: 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 in a background the…
sk_p: a neural program corrector for MOOCs
Yewen Pu, Karthik Narasimhan, Armando Solar-Lezama +1
We present a novel technique for automatic program correction in MOOCs, capable of fixing both syntactic and semantic errors without manual, problem specific correction strategies.…
Liquid Information Flow Control
Nadia Polikarpova, Deian Stefan, Jean Yang +3
We present Lifty, a domain-specific language for data-centric applications that manipulate sensitive data. A Lifty programmer annotates the sources of sensitive data with declarati…
Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules
Rohit Singh, Armando Solar-Lezama
This paper addresses the problem of creating simplifiers for logic formulas based on conditional term rewriting. In particular, the paper focuses on a program synthesis application…
Results and Analysis of SyGuS-Comp'15
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 in a background the…