Projects & Research :
Towards Reactive Synthesis as a Programming Paradigm. PLATEAU 2024.
Enforcing Temporal Constraints on Generative Agents with Reactive Synthesis. arXiv preprint. Presented at PLATEAU 2024.
Rose: Extensible, Interactive Autodiff on the Web. SPLASH 2023 SRC, 3rd place. The culmination of my research as an REU SWE intern at Carnegie Mellon University.
Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic. PLATEAU 2023.
An LLM aided choose your own adventure game controlled by a system synthesized with Temporal Stream Logic (TSL) using asynchronous JavaScript and HTML.
Rose: An embedded JavaScript domain-specific language written in Rust and TypeScript for extensible, interactive automatic differentiation on the web.
Temporal Stream Logic (TSL) x Three.js: Interface for synthesizing reactive animations using TSL and Three.js.
Structured editor for TSL: Incorporates JavaScript's Tone.js library to synthesize music.
Video game controller with joystick, LED feedback, and TTGO T-Display ESP32. Configured to control a Super Mario Bros. themed Pac-Man game.
Encoding a birthday logic puzzle with the Z3 SMT solver.
The Snake game, synthesized using the TSL specification language.
SLYCE: a dependently typed toy programming language written in Haskell.
Splatter: a casual game created in Unity with C#. Follows minimalistic design principles.
House plant series: Drawn with India Ink and brush on ink block.