An LLM aided choose your own adventure game controlled by a system synthesized with Temporal Stream Logic (TSL) using asynchronous JavaScript and HTML.
RESEARCH
Rose: An embedded JavaScript domain-specific language written in Rust and TypeScript for extensible, interactive automatic differentiation on the web.
PUBLICATION
Rose: Extensible, Interactive Autodiff on the Web. SPLASH 2023 Student Research Competition. The culmination of my research as an REU SWE intern at Carnegie Mellon University.
PROJECTS
Encoding a birthday logic puzzle with the Z3 SMT solver.
PROJECTS
The Snake game, synthesized using the TSL specification language.
PROJECTS
SLYCE: a dependently typed toy programming language written in Haskell.
PUBLICATION
Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic. PLATEAU 2023.
RESEARCH
Temporal Stream Logic (TSL) x Three.js: Interface for synthesizing reactive animations using TSL and Three.js.
PROJECTS
Splatter: a casual game created in Unity with C#. Follows minimalistic design principles.
RESEARCH
Structured editor for TSL: Incorporates JavaScript's Tone.js library to synthesize music.
ART
House plant series: Drawn with India Ink and brush on ink block.