Gareth Paul Stoyle

According to our database, Gareth Paul Stoyle authored at least 6 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction.

Peter Sewell, Gareth Paul Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough

J. Funct. Program., 2008

2007

A theory of dynamic software updates.

Gareth Paul Stoyle

PhD thesis, 2007

<i>Mutatis Mutandis</i>: Safe and predictable dynamic software updating.

Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu

ACM Trans. Program. Lang. Syst., 2007

2006

Practical dynamic software updating for C.

Iulian Neamtiu, Michael W. Hicks, Gareth Paul Stoyle, Manuel Oriol

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

2005

Mutatis mutandis: safe and predictable dynamic software updating.

Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2003

Dynamic rebinding for marshalling and update, with destruct-time?

Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003