Casey Klein
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2010–2012
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | POPL | 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 |
| 2011 | APLAS | A Semantics for Context-Sensitive Reduction Semantics. | Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler |
| 2010 | OOPSLA | Random testing for higher-order, stateful programs. | Casey Klein, Matthew Flatt, Robert Bruce Findler |