research
∙
11/01/2019
Program Sketching with Live Bidirectional Evaluation
We present Sketch-n-Myth, a technique for completing program sketches wh...
research
∙
11/01/2019
Program Synthesis with Live Bidirectional Evaluation
We present an algorithm for completing program sketches (partial program...
research
∙
07/24/2019