research
∙
03/26/2020
Data-Driven Inference of Representation Invariants
A representation invariant is a property that holds of all values of abs...
share
research
∙
11/26/2019
OASIS: ILP-Guided Synthesis of Loop Invariants
Finding appropriate inductive loop invariants for a program is a key cha...
research
∙
05/17/2019
Overfitting in Synthesis: Theory and Practice (Extended Version)
In syntax-guided synthesis (SyGuS), a synthesizer's goal is to automatic...
research
∙
05/17/2019
Overfitting in Synthesis: Theory and Practice (Extender Version)
In syntax-guided synthesis (SyGuS), a synthesizer's goal is to automatic...
research
∙
05/17/2019
Overfitting in Synthesis: Theory and Practice
In syntax-guided synthesis (SyGuS), a synthesizer's goal is to automatic...
research
∙
04/12/2019
SyGuS-Comp 2018: Results and Analysis
Syntax-guided synthesis (SyGuS) is the computational problem of finding ...
research
∙
07/07/2017