Compiling cryptographic protocols for deployment on the web. - Jay A. McCarthy; Shriram Krishnamurthi; Joshua D. Guttman; John D. Ramsdell (WWW, 2007)

Implementation and use of the PLT scheme Web server. - Shriram Krishnamurthi; Peter Walton Hopkins; Jay A. McCarthy; Paul T. Graunke; Greg Pettyjohn; Matthias Felleisen (High. Order Symb. Comput., 2007)

Minimal backups of cryptographic protocol runs. - Jay A. McCarthy; Shriram Krishnamurthi (FMSE, 2008)

Cryptographic Protocol Explication and End-Point Projection. - Jay A. McCarthy; Shriram Krishnamurthi (ESORICS, 2008)

Automatically RESTful web applications: marking modular serializable continuations. - Jay A. McCarthy (ICFP, 2009)

Trusted Multiplexing of Cryptographic Protocols. - Jay A. McCarthy; Shriram Krishnamurthi (Formal Aspects in Security and Trust, 2009)

"Static Analyses of Cryptographic Protocols. - Jay A. McCarthy (2009)

The two-state solution: native and serializable continuations accord. - Jay A. McCarthy (OOPSLA, 2010)

A Semantics for Context-Sensitive Reduction Semantics. - Casey Klein; Jay A. McCarthy; Steven Jaconette; Robert Bruce Findler (APLAS, 2011)

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 (POPL, 2012)

Teaching garbage collection without implementing compiler or interpreters. - Gregory H. Cooper; Arjun Guha; Shriram Krishnamurthi; Jay A. McCarthy; Robert Bruce Findler (SIGCSE, 2013)

The Racket Manifesto. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi; Eli Barzilay; Jay A. McCarthy; Sam Tobin-Hochstadt (SNAPL, 2015)

Fair enumeration combinators. - Max S. New; Burke Fetscher; Robert Bruce Findler; Jay A. McCarthy (J. Funct. Program., 2017)

A programmable programming language. - Matthias Felleisen; Robert Bruce Findler; Matthew Flatt; Shriram Krishnamurthi; Eli Barzilay; Jay A. McCarthy; Sam Tobin-Hochstadt (Commun. ACM, 2018)

A Coq library for internal verification of running-times. - Jay A. McCarthy; Burke Fetscher; Max S. New; Daniel Feltey; Robert Bruce Findler (Sci. Comput. Program., 2018)

Rhombus: A New Spin on Macros without All the Parentheses. - Matthew Flatt; Taylor Allred; Nia Angle; Stephen De Gabrielle; Robert Bruce Findler; Jack Firth; Kiran Gopinathan; Ben Greenman; Siddhartha Kasivajhula; Alex Knauth; Jay A. McCarthy; Sam Phillips; et al. (Proc. ACM Program. Lang., 2023)