Email: clklein@eecs.northwestern.edu
GitHub: clklein
Email: clklein@eecs.northwestern.edu GitHub: clklein | |
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