Northwestern University PLT Dissertations

PhD Dissertations
2015 Burke Fetscher Automated Testing for Operational Semantics
2014 James Swaine Incremental Parallelization of Existing Sequential Runtime Systems
2007 Jacob 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