Gradual C0: Symbolic Execution for Efficient Gradual Verification
Full paper. In Arxiv, 2022.
One Program to Rule the Intersection
In Student Design Competition: Networked Computing at the Edge, 2020.
A Software Library Model for the Internet of Things
Extended abstract. In Proc. of the SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH), 2020, 28—30.
Artifacts & Demonstrations
Direct Manipulation and SVG: Creating and Adjusting Graphics Programmatically and Visually
Demonstration. In FabLearn: Making as Resistance and Resilience, 2020.
Direct Manipulation for Computational Making
Lightning Talk. In SPLASH-E, 2020.