Casey Klein

Redex: Debugging Operational Semantics

Robert Bruce Findler, Casey Klein, 2004 .

Run your research: on the effectiveness of lightweight mechanization

Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, 2012, POPL '12.

The Racket virtual machine and randomized testing

Robert Bruce Findler, Matthew Flatt, Casey Klein, 2012, High. Order Symb. Comput..

Randomized Testing in PLT Redex

Casey Klein, Casey Klein, 2009 .

Random testing for higher-order, stateful programs

Robert Bruce Findler, Matthew Flatt, Casey Klein, 2010, OOPSLA.

A Semantics for Context-Sensitive Reduction Semantics

Robert Bruce Findler, Jay A. McCarthy, Steven Jaconette, 2011, APLAS.

Characterization of a Dual Chambered Two Phase Separator

Frederick R. Best, Cable Kurwitz, Casey Klein, 2011 .