159 citations · 798 across the 116 of their papers we have counts for
1 paper · 2 filters
Osbert Bastani, Rahul Sharma, Alex Aiken +1
We present an algorithm for synthesizing a context-free grammar encoding the language of valid program inputs from a set of input examples and blackbox access to the program. Our a…