Search results for "Jay A. McCarthy"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	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	DBLP DOI BibTeX RDF
1	Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler	A Semantics for Context-Sensitive Reduction Semantics.	APLAS	2011	DBLP DOI BibTeX RDF
1	Jay A. McCarthy	The two-state solution: native and serializable continuations accord.	OOPSLA	2010	DBLP DOI BibTeX RDF
1	Jay A. McCarthy, Shriram Krishnamurthi	Trusted Multiplexing of Cryptographic Protocols.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
1	Jay A. McCarthy	Automatically RESTful web applications: marking modular serializable continuations.	ICFP	2009	DBLP DOI BibTeX RDF	web applications, continuations, stack inspection
1	Jay A. McCarthy, Shriram Krishnamurthi	Minimal backups of cryptographic protocol runs.	FMSE	2008	DBLP DOI BibTeX RDF	cppl, cryptographic protocols, coq, strand spaces
1	Jay A. McCarthy, Shriram Krishnamurthi	Cryptographic Protocol Explication and End-Point Projection.	ESORICS	2008	DBLP DOI BibTeX RDF
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	2007	DBLP DOI BibTeX RDF	Performance, Interaction, Web, Applications, Scheme, Continuations, Conference management
1	Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell	Compiling cryptographic protocols for deployment on the web.	WWW	2007	DBLP DOI BibTeX RDF	CPPL, cryptographic protocols, HTTP, sessions

Displaying result #1 - #9 of 9 (100 per page; Change: )

Publications of "Jay A. McCarthy" ( http://dblp.L3S.de/Authors/Jay_A._McCarthy )