 | 2012 |
|---|
| 9 |       | Casey Klein,
John Clements,
Christos Dimoulas,
Carl Eastlund,
Matthias Felleisen,
Matthew Flatt,
Jay A. McCarthy,
Jon Rafkind,
Sam Tobin-Hochstadt,
Robert Bruce Findler:
Run your research: on the effectiveness of lightweight mechanization.
POPL 2012: 285-296 |
| 2011 |
|---|
| 8 | | Casey Klein,
Jay A. McCarthy,
Steven Jaconette,
Robert Bruce Findler:
A Semantics for Context-Sensitive Reduction Semantics.
APLAS 2011: 369-383 |
| 2010 |
|---|
| 7 | | Jay A. McCarthy:
The two-state solution: native and serializable continuations accord.
OOPSLA 2010: 567-582 |
| 2009 |
|---|
| 6 | | Jay A. McCarthy,
Shriram Krishnamurthi:
Trusted Multiplexing of Cryptographic Protocols.
Formal Aspects in Security and Trust 2009: 217-232 |
| 5 | | Jay A. McCarthy:
Automatically RESTful web applications: marking modular serializable continuations.
ICFP 2009: 299-310 |
| 2008 |
|---|
| 4 | | Jay A. McCarthy,
Shriram Krishnamurthi:
Cryptographic Protocol Explication and End-Point Projection.
ESORICS 2008: 533-547 |
| 3 | | Jay A. McCarthy,
Shriram Krishnamurthi:
Minimal backups of cryptographic protocol runs.
FMSE 2008: 11-20 |
| 2007 |
|---|
| 2 | | Jay A. McCarthy,
Shriram Krishnamurthi,
Joshua D. Guttman,
John D. Ramsdell:
Compiling cryptographic protocols for deployment on the web.
WWW 2007: 687-696 |
| 1 | | Shriram Krishnamurthi,
Peter Walton Hopkins,
Jay A. McCarthy,
Paul T. Graunke,
Greg Pettyjohn,
Matthias Felleisen:
Implementation and use of the PLT scheme Web server.
Higher-Order and Symbolic Computation 20(4): 431-460 (2007) |
Data released under the ODC-BY 1.0 license — See also our legal information page