Northwestern University PLT Dissertations

PhD Dissertations
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