Jay A. McCarthy

17 papers A* 2A 4B 1Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2023 J jnl
Rhombus: A New Spin on Macros without All the Parentheses.
Proc. ACM Program. Lang.
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, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt
2018 J jnl
A Coq library for internal verification of running-times.
Sci. Comput. Program.
Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
2018 J jnl
A programmable programming language.
Commun. ACM
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
2017 J jnl
Fair enumeration combinators.
J. Funct. Program.
Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy
2016 Misc conf
A Coq Library for Internal Verification of Running-Times.
FLOPS
Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
2015 — conf
The Racket Manifesto.
SNAPL
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
2013 A conf
Teaching garbage collection without implementing compiler or interpreters.
SIGCSE
Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay A. McCarthy, Robert Bruce Findler
2012 A* conf
Run your research: on the effectiveness of lightweight mechanization.
POPL
Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler
2011 B conf
A Semantics for Context-Sensitive Reduction Semantics.
APLAS
Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler
2010 A conf
The two-state solution: native and serializable continuations accord.
OOPSLA
Jay A. McCarthy
2009 — —
"Static Analyses of Cryptographic Protocols.
Jay A. McCarthy
2009 A conf
Automatically RESTful web applications: marking modular serializable continuations.
ICFP
Jay A. McCarthy
2009 — conf
Trusted Multiplexing of Cryptographic Protocols.
Formal Aspects in Security and Trust
Jay A. McCarthy, Shriram Krishnamurthi
2008 A conf
Cryptographic Protocol Explication and End-Point Projection.
ESORICS
Jay A. McCarthy, Shriram Krishnamurthi
2008 — conf
Minimal backups of cryptographic protocol runs.
FMSE
Jay A. McCarthy, Shriram Krishnamurthi
2007 A* conf
Compiling cryptographic protocols for deployment on the web.
WWW
Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell
2007 J jnl
Implementation and use of the PLT scheme Web server.
High. Order Symb. Comput.
Shriram Krishnamurthi, Peter Walton Hopkins, Jay A. McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen