Casey Klein

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
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

2011
A Semantics for Context-Sensitive Reduction Semantics.
Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010
Random testing for higher-order, stateful programs.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010


  Loading...