| 2008 |
|---|
| 11 | EE | Tudor Dumitras,
Danny Dig,
Iulian Neamtiu:
1st ACM workshop on hot topics in software upgrades (HotSWUp 2008).
OOPSLA Companion 2008: 837-838 |
| 10 | EE | Madanlal Musuvathi,
Shaz Qadeer,
Thomas Ball,
Gérard Basler,
Piramanayagam Arumuga Nainar,
Iulian Neamtiu:
Finding and Reproducing Heisenbugs in Concurrent Programs.
OSDI 2008: 267-280 |
| 9 | EE | Iulian Neamtiu,
Michael Hicks,
Jeffrey S. Foster,
Polyvios Pratikakis:
Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming.
POPL 2008: 37-49 |
| 8 | EE | Polyvios Pratikakis,
Jeffrey S. Foster,
Michael Hicks,
Iulian Neamtiu:
Formalizing Soundness of Contextual Effects.
TPHOLs 2008: 262-277 |
| 2007 |
|---|
| 7 | 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 |
|---|
| 6 | EE | Iulian Neamtiu,
Michael W. Hicks,
Gareth Stoyle,
Manuel Oriol:
Practical dynamic software updating for C.
PLDI 2006: 72-83 |
| 2005 |
|---|
| 5 | EE | Iulian Neamtiu,
Jeffrey S. Foster,
Michael W. Hicks:
Understanding source code evolution using abstract syntax tree matching.
MSR 2005 |
| 4 | 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 |
| 3 | EE | Iulian Neamtiu,
Jeffrey S. Foster,
Michael Hicks:
Understanding source code evolution using abstract syntax tree matching.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
| 2 | EE | Florin Sultan,
Aniruddha Bohra,
Stephen Smaldone,
Yufei Pan,
Pascal Gallard,
Iulian Neamtiu,
Liviu Iftode:
Recovering Internet Service Sessions from Operating System Failures.
IEEE Internet Computing 9(2): 17-27 (2005) |
| 2004 |
|---|
| 1 | EE | Aniruddha Bohra,
Iulian Neamtiu,
Pascal Gallard,
Florin Sultan,
Liviu Iftode:
Remote Repair of Operating System State Using Backdoors.
ICAC 2004: 256-263 |
