Published several papers including 'Statically Contextualizing Large Language Models with Typed Holes' (OOPSLA 2024), 'Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine' (PROPL @ POPL24), etc.; Received Distinguished Paper Award at POPL2024.
Research Experience
Presented at multiple academic conferences and workshops such as VLHCC22, OOPSLA 2024, etc.; Participated in various research projects like Tylr - A Tiny Tile-based Structure Editor, Filling typed holes with live GUIs, etc.
Education
Mastered Computer Science at the University of Michigan in May 2023; Graduated from the University of Toronto with an HBSc in Computer Science & Mathematics in May 2019.
Background
Uses programming language theory to explore and explain user interfaces, trying to make engagement with abstractions more tangible and more fun. Research interests include composing GUIs, semantic contextualization and guidance by language servers, and tactile affordances for mechanized semantic materials.
Miscellany
Participated in multiple academic events and workshops such as Train Jam, Causal Islands, etc.; Conducted in-depth research on programming assistant architecture; Presented Fructure at RacketCon 2019.