Electrical Engineering and Computer Science
Northwestern University
Office: Ford 2-215
Email: clklein@eecs.northwestern.edu
GitHub: clklein
Phone: (847) 467-5442
| 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 | |
Run Your Research: 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, R. B. Findler
Asian Symposium on Programming Languages and Systems (APLAS) 2011
The Racket Virtual Machine and Randomized Testing
C. Klein, M. Flatt, and R. B. Findler
Unpublished manuscript
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 (SFP) 2009