| 2008 |
|---|
| 5 | EE | Peter Sewell,
Gareth 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): 437-502 (2008) |
| 2007 |
|---|
| 4 | EE | Gareth Stoyle,
Michael W. Hicks,
Gavin M. Bierman,
Peter Sewell,
Iulian Neamtiu:
Mutatis Mutandis: Safe and predictable dynamic software updating.
ACM Trans. Program. Lang. Syst. 29(4): (2007) |
| 2006 |
|---|
| 3 | EE | Iulian Neamtiu,
Michael W. Hicks,
Gareth Stoyle,
Manuel Oriol:
Practical dynamic software updating for C.
PLDI 2006: 72-83 |
| 2005 |
|---|
| 2 | EE | Gareth Stoyle,
Michael W. Hicks,
Gavin M. Bierman,
Peter Sewell,
Iulian Neamtiu:
Mutatis mutandis: safe and predictable dynamic software updating.
POPL 2005: 183-194 |
| 2003 |
|---|
| 1 | EE | Gavin M. Bierman,
Michael W. Hicks,
Peter Sewell,
Gareth Stoyle,
Keith Wansbrough:
Dynamic rebinding for marshalling and update, with destruct-time?
ICFP 2003: 99-110 |
