Casey Klein

According to our database, Casey Klein authored at least 4 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

The Racket virtual machine and randomized testing.

Casey Klein, Matthew Flatt, Robert Bruce Findler

High. Order Symb. Comput., 2012

Run your research: on the effectiveness of lightweight mechanization.

Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2011

A Semantics for Context-Sensitive Reduction Semantics.

Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Random testing for higher-order, stateful programs.

Casey Klein, Matthew Flatt, Robert Bruce Findler

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010