Gareth Paul Stoyle

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Peter Sewell, Gareth Paul Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. J. Funct. Program. 18 (4) (2008)
Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu
: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst. 29 (4) (2007)
Iulian Neamtiu, Michael W. Hicks, Gareth Paul Stoyle, Manuel Oriol
Practical dynamic software updating for C. PLDI (2006)
Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu
Mutatis mutandis: safe and predictable dynamic software updating. POPL (2005)
Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough
Dynamic rebinding for marshalling and update, with destruct-time? ICFP (2003)
Gareth Paul Stoyle, Peter Sewell, Michael Hicks, Keith Wansbrough, Gavin M. Bierman
Dynamic rebinding for marshalling and update, with destruct-time ? SIGPLAN Notices (2003)