A Secure Compiler for Session Abstractions.................................... i (2008)
Ricardo Corin, Pierre-malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James Leifer
Abstract. Distributed applications can be structured as parties that exchange messages according to some pre-arranged communication patterns. These sessions (or contracts, or protocols) simplify...
The Design of Distributed Programming Languages (2008)
Peter Sewell, John Billings, Steve Bishop, Matthew Fairbairn, Pierre Habouzit, Michael Hicks, ...
High-level programming languages For non-distributed, non-concurrent programming, they’re pretty good. We have ML (SML/OCaml), Haskell, Java, C#, with: • type safety • rich concrete types –...
A Secure Compiler for Session Abstractions.................................... i (2008)
Ricardo Corin, Pierre-malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James Leifer
Abstract. Distributed applications can be structured as parties that exchange messages according to some pre-arranged communication patterns. These sessions (or contracts, or protocols) simplify...
Acute and TCP: specifying and developing abstractions for global computation (2008)
James Leifer, Michael Norrish, Peter Sewell, Keith Wansbrough
9. Vis: A Unified Graphical User Interface For DCPI (2008)
Compiled James Mason, Nawaaz Ahmed, Moses Charikar, Neal Glew, Rajeev Joshi, Thomas Kistler, ...
This document features informal reports by interns who spent the summer of 1997 working with researchers at
This report presents the progress made in workpackage 2 (WP2) of the PEPITO project during the first year
Secure Implementations for Typed Session Abstractions (2007)
Ricardo Corin, Pierre-malo Deniélou, Cédric Fournet, Karthikeyan Bhargavan, James Leifer
Distributed applications can be structured as parties that exchange messages according to some pre-arranged communication patterns. These sessions (or contracts, or protocols) simplify distributed...
Required Foundations for Pear-to-Peer Systems (2003)
Peter Sewell, James Leifer, Uwe Nestmann, Andrei Serjantov, Keith Wansbrough
This report places the foundational work of PEPITO, the initial work of which was described in Deliverable D1.7 "First Progress Report on Formal Models", in the broad perspective of P2P...