According to our database1, Casey Klein authored at least 4 papers between 2010 and 2012.
Legend:Book In proceedings Article PhD thesis Other
The Racket virtual machine and randomized testing.
High. Order Symb. Comput., 2012
Run your research: on the effectiveness of lightweight mechanization.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
A Semantics for Context-Sensitive Reduction Semantics.
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011
Random testing for higher-order, stateful programs.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010