Jay A. McCarthy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
9
Active years
2007–2016
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FLOPS | A Coq Library for Internal Verification of Running-Times. | Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler |
| 2013 | SIGCSE | Teaching garbage collection without implementing compiler or interpreters. | Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler |
| 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 | The two-state solution: native and serializable continuations accord. | Jay A. McCarthy |
| 2009 | ICFP | Automatically RESTful web applications: marking modular serializable continuations. | Jay A. McCarthy |
| 2008 | CCS | Minimal backups of cryptographic protocol runs. | Jay A. McCarthy, Shriram Krishnamurthi |
| 2008 | ESORICS | Cryptographic Protocol Explication and End-Point Projection. | Jay A. McCarthy, Shriram Krishnamurthi |
| 2007 | WWW | Compiling cryptographic protocols for deployment on the web. | Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell |