research
∙
11/18/2020
RustViz: Interactively Visualizing Ownership and Borrowing
Rust is a systems programming language that guarantees memory safety wit...
share
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
∙
05/01/2018