Active Bibliography

3 Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction – Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin Bierman, Keith Wansbrough - 2008
Dynamic Rebinding for Distributed Programming – Gavin Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough - 2002
The Design of Distributed Programming Languages – Peter Sewell, John Billings, Steve Bishop, Matthew Fairbairn, Pierre Habouzit, Michael Hicks, James Leifer, Iulian Naemtiu, Michael Norrish, Gilles Peskine, Benjamin Pierce, Mark Shinwell, Michael Smith, Asis Unyapoth, Viktor Vafeiadis, Jan Vitek, Keith Wansbrough
1 Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation – Peter Sewell, Pawe̷l T. Wojciechowski, Asis Unyapoth
18 A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines – Małgorzata Biernacka, Olivier Danvy - 2005
46 Gradual typing for objects – Jeremy Siek, Walid Taha - 2007
56 Acute: High-level programming language design for distributed computation – Peter Sewell, James J. Leifer, Keith Wansbrough, Mair Allen-williams, Pierre Habouzit, Viktor Vafeiadis - 2004
3 Secure Composition of Untrusted Code: Box π, Wrappers, and Causality Types – Peter Sewell, Jan Vitek - 2002
187 Dynamic Software Updating – Michael Hicks - 2001
Title: Module Calculi for Dynamic Reconfiguration – Sonia Fagorzi, Sonia Fagorzi, Elena Zucca, Davide Ancona
Languages – Dominic Duggan
36 Mutatis Mutandis: Safe and predictable dynamic software updating – Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, Iulian Neamtiu - 2007
77 Practical Dynamic Software Updating – Iulian Gheorghe Neamtiu - 2008
52 System Support for Online Reconfiguration – Craig A. N. Soules, Dilma Da Silva, Marc Auslander, Gregory R. Ganger, Michal Ostrowski - 2003
27 Dynamic software updates: a VM-centric approach – Suriya Subramanian, Michael Hicks, Kathryn S. McKinley - 2009
4 On correctness of dynamic protocol update – Pawe̷l T. Wojciechowski, Olivier Rütti - 2005
Required Foundations for Pear-to-Peer Systems – Peter Sewell, James Leifer, Uwe Nestmann, Andrei Serjantov, Keith Wansbrough - 2003
5 A Study on Mobile Language Systems – Tatsurou Sekiguchi - 1999
6 Monads in Action – Andrzej Filinski