James J. Leifer

12 papers A 5B 1Journal 5

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