• Publications
  • Influence
Combinatorial sketching for finite programs
TLDR
We develop SKETCH, a language for finite programs with linguistic support for sketching. Expand
  • 625
  • 71
  • PDF
Syntax-guided synthesis
  • R. Alur, R. Bodík, +7 authors A. Udupa
  • Computer Science, Engineering
  • Formal Methods in Computer-Aided Design
  • 1 October 2013
TLDR
The classical formulation of the program-synthesis problem is to find a program that meets a correctness specification given as a logical formula. Expand
  • 468
  • 56
  • PDF
Program synthesis by sketching
TLDR
The goal of software synthesis is to generate programs automatically from high-level specifications. Expand
  • 326
  • 48
  • PDF
Program sketching
TLDR
Sketching is a synthesis methodology that aims to bridge the gap between a programmer’s high-level insights about a problem and the computer's ability to manage low-level details. Expand
  • 125
  • 24
Verifiable Reinforcement Learning via Policy Extraction
TLDR
We propose VIPER, an algorithm that combines ideas from model compression and imitation learning to learn decision tree policies guided by a DNN policy (called the oracle) and its Q-function and show that it substantially outperforms two baselines. Expand
  • 88
  • 16
  • PDF
Automated feedback generation for introductory programming assignments
TLDR
We present a new method for automatically providing feedback for introductory programming problems. Expand
  • 241
  • 14
  • PDF
Program synthesis from polymorphic refinement types
TLDR
We present a method for synthesizing recursive functions that provably satisfy a given specification in the form of a polymorphic refinement type. Expand
  • 146
  • 12
  • PDF
Sketching concurrent data structures
TLDR
We describe PSketch, a program synthesizer that helps programmers implement concurrent data structures. Expand
  • 162
  • 10
  • PDF
A language for automatically enforcing privacy policies
TLDR
We describe a programming model that makes the system responsible for ensuring adherence to privacy policies. Expand
  • 160
  • 10
  • PDF
The Sketching Approach to Program Synthesis
TLDR
Sketching is a new form of localized software synthesis that aims to bridge the gap between a programmer's high-level insights about a problem and the computer's ability to manage low-level details. Expand
  • 93
  • 10
  • PDF
...
1
2
3
4
5
...