Jay A. McCarthy

Publication Activity (10 Years)

Years Active: 2007-2018
Publications (10 Years): 4

Top Topics

Programming Language

Garbage Collection

Top Venues

J. Funct. Program.

Sci. Comput. Program.

Publications

Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
A Coq library for internal verification of running-times. Sci. Comput. Program. 164 (2018)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
A programmable programming language. Commun. ACM 61 (3) (2018)
Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy
Fair enumeration combinators. J. Funct. Program. 27 (2017)
Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
A Coq Library for Internal Verification of Running-Times. FLOPS (2016)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
The Racket Manifesto. SNAPL (2015)
Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler
Teaching garbage collection without implementing compiler or interpreters. SIGCSE (2013)
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)
Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler
A Semantics for Context-Sensitive Reduction Semantics. APLAS (2011)
Jay A. McCarthy
The two-state solution: native and serializable continuations accord. OOPSLA (2010)
Jay A. McCarthy
Automatically RESTful web applications: marking modular serializable continuations. ICFP (2009)
Jay A. McCarthy, Shriram Krishnamurthi
Trusted Multiplexing of Cryptographic Protocols. Formal Aspects in Security and Trust (2009)
Jay A. McCarthy, Shriram Krishnamurthi
Cryptographic Protocol Explication and End-Point Projection. ESORICS (2008)
Jay A. McCarthy, Shriram Krishnamurthi
Minimal backups of cryptographic protocol runs. FMSE (2008)
Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen
Implementation and use of the PLT scheme Web server. High. Order Symb. Comput. 20 (4) (2007)
Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell
Compiling cryptographic protocols for deployment on the web. WWW (2007)