She borrows tools from type systems, programming language design, and proof theory to enable authorship of generative systems, interactive narratives, and system models. While a postdoc at UC Santa Cruz, she led efforts on the Gemini game generation engine, and during her PhD at CMU, she created the Ceptre linear logic programming language.