Northwestern University PLT Dissertations PhD Dissertations 2025 Shu-Hung You The Monitor Calculus: Modular Metatheories for Contract Systems 2020 Spencer P. Florence A Constructive Calculus for Esterel 2015 Burke Fetscher Automated Testing for Operational Semantics 2014 James Swaine Incremental Parallelization of Existing Sequential Runtime Systems 2007 Jacob Burton Matthews The Meaning of Multi-language Programs Masters Dissertations 2010 James Swaine Scheme with Futures: Incremental Parallelization in a Language Virtual Machine 2009 Casey Klein Experience with Randomized Testing in Programming Language Metatheory 2004 Jacob Matthews Operational Semantics for Scheme via Term Rewriting

Robby Findler