James J. Leifer

Publication Activity (10 Years)

Years Active: 1996-2009
Publications (10 Years): 0

Publications

Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. CSF (2009)
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer
A secure compiler for session abstractions. J. Comput. Secur. 16 (5) (2008)
Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
Acute: High-level programming language design for distributed computation. J. Funct. Program. 17 (4-5) (2007)
Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer
Secure Implementations for Typed Session Abstractions. CSF (2007)
Pierre-Malo Deniélou, James J. Leifer
Abstraction preservation and subtyping in distributed languages. ICFP (2006)
James J. Leifer, Robin Milner
Transition systems, link graphs and Petri nets. Math. Struct. Comput. Sci. 16 (6) (2006)
Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis
Acute: high-level programming language design for distributed computation. ICFP (2005)
Peter Sewell, James J. Leifer, Keith Wansbrough, Gilles Peskine
Global abstraction-safe marshalling with hash types. SIGPLAN Notices (2003)
James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough
Global abstraction-safe marshalling with hash types. ICFP (2003)
James J. Leifer, Robin Milner
Shallow Linear Action Graphs and their Embeddings. Formal Aspects Comput. 13 (3-5) (2002)
James J. Leifer, Robin Milner
Deriving Bisimulation Congruences for Reactive Systems. CONCUR (2000)
James J. Leifer, Bernard Sufrin
Deduction for Functional Programmers. J. Funct. Program. 6 (2) (1996)