The Design of Distributed Programming Languages

Peter Sewell

Materials for graduate lectures at

• Theory mini-course, July 2006, University of Cambridge Computer Laboratory.
• Summer School on Language-Based Techniques for Concurrent and Distributed Software, University of Oregon, July 12-21, 2006
• First International Summer School on Emerging Trends in Concurrency, TiC'06, July 24-29, 2006, Bertinoro, Italy

Slides

• The main slides (and in pdf).
• Additional slides on dynamic rebinding

Main References

• Applied Pi - A Brief Tutorial (also in pdf). Technical Report 498, Computer Laboratory, University of Cambridge 2000. They are an extended version of a chapter Pi Calculi in Formal Methods for Distributed Programming, edited by H. Bowman and J. Derrick, CUP.
• Nomadic Pict, including
  • Location-Independent Communication for Mobile Agents: a Two-Level Architecture. Peter Sewell, Pawel Wojciechowski, Benjamin Pierce. Technical Report 462, Computer Laboratory, University of Cambridge, April 1999. A version of this appeared in Internet Programming Languages, LNCS 1686.
  • Nomadic Pict: Correct Communication Infrastructure for Mobile Computation (also in pdf). Asis Unypoth and Peter Sewell. In POPL 2001.
• Acute, including:
  • Acute: high-level programming language design for distributed computation (also in pdf) Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis. Draft. This gives a full discussion of the language design and an overview of the key aspects of the semantics.
  and the earlier papers
  • Acute: high-level programming language design for distributed computation (also in pdf) Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis. In ICFP 2005.
  • Acute: high-level programming language design for distributed computation. Design rationale and language definition (also in pdf). Peter Sewell, James J. Leifer, Keith Wansbrough, Mair Allen-Williams, Francesco Zappa Nardelli, Pierre Habouzit, Viktor Vafeiadis. Technical report 605.
  • Global abstraction-safe marshalling with hash types (also in pdf) James Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough. In ICFP 2003.
  • Dynamic Rebinding for Marshalling and Update, with Destruct-time lambda (also in pdf) Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough. In ICFP 2003.
  • Modules, Abstract Types, and Distributed Versioning (also in pdf). In POPL 2001.
• HashCaml, including:
  • Type-Safe Distributed Programming for OCaml John Billings, Peter Sewell, Mark Shinwell, Rok Strnisa. Also in pdf.

[Validate this page.]