Casey Klein

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Virtual Machine

Development Environments

Top Venues

High. Order Symb. Comput.

Publications

Casey Klein, Matthew Flatt, Robert Bruce Findler
The Racket virtual machine and randomized testing. High. Order Symb. Comput. 25 (2-4) (2012)
Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler
Run your research: on the effectiveness of lightweight mechanization. POPL (2012)
Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler
A Semantics for Context-Sensitive Reduction Semantics. APLAS (2011)
Casey Klein, Matthew Flatt, Robert Bruce Findler
Random testing for higher-order, stateful programs. OOPSLA (2010)