Preprints
Gradual C0: Symbolic Execution for Efficient Gradual Verification
Full paper. In Arxiv, 2022.
Research Competitions
Artifacts & Demonstrations
Talks
Direct Manipulation for Computational Making
Lightning Talk. In SPLASH-E, 2020.
Full paper. In Arxiv, 2022.
Lightning Talk. In SPLASH-E, 2020.