Casey Klein

Ph.D. Student
Electrical Engineering and Computer Science
Northwestern University
Office: Ford 2-215
Email: clklein@eecs.northwestern.edu
GitHub: clklein
Phone: (847) 467-5442

Papers

The Racket Virtual Machine and Randomized Testing
C. Klein, M. Flatt, and R.B. Findler
Higher-Order and Symbolic Computation (HOSC) 2013

Run Your Research: On the Effectiveness of Lightweight Mechanization
C. Klein, J. Clements, C. Dimoulas, C. Eastlund, M. Felleisen, M. Flatt, J. McCarthy, J. Rafkind, S. Tobin-Hochstadt, and R.B. Findler
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) 2012

A Semantics for Context-Sensitive Reduction Semantics
C. Klein, J. McCarthy, S. Jaconette, and R.B. Findler
Asian Symposium on Programming Languages and Systems (ASPLAS) 2011

Random Testing for Higher-Order, Stateful Programs
C. Klein, M. Flatt, and R.B. Findler
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2010

Randomized Testing in PLT Redex
C. Klein and R.B. Findler
Workshop on Scheme and Functional Programming 2009