Raven Rothkopf

Projects & Research :

PUBLICATION

Towards Reactive Synthesis as a Programming Paradigm. PLATEAU 2024.

PUBLICATION

Enforcing Temporal Constraints on Generative Agents with Reactive Synthesis. arXiv preprint. Presented at PLATEAU 2024.

research paper
PUBLICATION

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.

block-based interface for generating animations
PUBLICATION

Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic. PLATEAU 2023.

walking character
RESEARCH

An LLM aided choose your own adventure game controlled by a system synthesized with Temporal Stream Logic (TSL) using asynchronous JavaScript and HTML.

programming language
RESEARCH

Rose: An embedded JavaScript domain-specific language written in Rust and TypeScript for extensible, interactive automatic differentiation on the web.

interface for generating animations
RESEARCH

Temporal Stream Logic (TSL) x Three.js: Interface for synthesizing reactive animations using TSL and Three.js.

dynamic grammars structured editor
RESEARCH

Structured editor for TSL: Incorporates JavaScript's Tone.js library to synthesize music.

PROJECTS

Video game controller with joystick, LED feedback, and TTGO T-Display ESP32. Configured to control a Super Mario Bros. themed Pac-Man game.

blue z3 solver logo and birthday cake
PROJECTS

Encoding a birthday logic puzzle with the Z3 SMT solver.

snake game
PROJECTS

The Snake game, synthesized using the TSL specification language.

programming language
PROJECTS

SLYCE: a dependently typed toy programming language written in Haskell.

Splatter casual paint game
PROJECTS

Splatter: a casual game created in Unity with C#. Follows minimalistic design principles.

house plant series, ink drawings
ART

House plant series: Drawn with India Ink and brush on ink block.