James J. Leifer

According to our database, James J. Leifer authored at least 11 papers between 1996 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

Cryptographic Protocol Synthesis and Verification for Multiparty Sessions.

Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, James J. Leifer

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2008

A secure compiler for session abstractions.

Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer

J. Comput. Secur., 2008

2007

Acute: High-level programming language design for distributed computation.

Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis

J. Funct. Program., 2007

Secure Implementations for Typed Session Abstractions.

Ricardo Corin, Pierre-Malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James J. Leifer

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Transition systems, link graphs and Petri nets.

James J. Leifer, Robin Milner

Math. Struct. Comput. Sci., 2006

Abstraction preservation and subtyping in distributed languages.

Pierre-Malo Deniélou, James J. Leifer

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2003

Global abstraction-safe marshalling with hash types.

James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Shallow Linear Action Graphs and their Embeddings.

James J. Leifer, Robin Milner

Formal Aspects Comput., 2002

2001

Operational congruences for reactive systems

James J. Leifer

PhD thesis, 2001

2000

Deriving Bisimulation Congruences for Reactive Systems.

James J. Leifer, Robin Milner

Proceedings of the CONCUR 2000, 2000

1996

Deduction for Functional Programmers.

James J. Leifer, Bernard Sufrin

J. Funct. Program., 1996