dblp.uni-trier.dewww.uni-trier.de

Iulian Neamtiu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
13EETudor Dumitras, Iulian Neamtiu, Eli Tilevich: Second ACM workshop on hot topics in software upgrades (HotSWUp 2009). OOPSLA Companion 2009: 705-706
12EEIulian Neamtiu, Michael W. Hicks: Safe and timely updates to multi-threaded programs. PLDI 2009: 13-24
2008
11EETudor Dumitras, Danny Dig, Iulian Neamtiu: 1st ACM workshop on hot topics in software upgrades (HotSWUp 2008). OOPSLA Companion 2008: 837-838
10EEMadanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu: Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI 2008: 267-280
9EEIulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis: Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. POPL 2008: 37-49
8EEPolyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, Iulian Neamtiu: Formalizing Soundness of Contextual Effects. TPHOLs 2008: 262-277
2007
7EEGareth 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
6EEIulian Neamtiu, Michael W. Hicks, Gareth Stoyle, Manuel Oriol: Practical dynamic software updating for C. PLDI 2006: 72-83
2005
5EEIulian Neamtiu, Jeffrey S. Foster, Michael W. Hicks: Understanding source code evolution using abstract syntax tree matching. MSR 2005
4EEGareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu: Mutatis mutandis: safe and predictable dynamic software updating. POPL 2005: 183-194
3EEIulian 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)
2EEFlorin 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
1EEAniruddha Bohra, Iulian Neamtiu, Pascal Gallard, Florin Sultan, Liviu Iftode: Remote Repair of Operating System State Using Backdoors. ICAC 2004: 256-263

Coauthor Index

1Thomas Ball [10]
2Gérard Basler [10]
3Gavin M. Bierman [4] [7]
4Aniruddha Bohra [1] [2]
5Danny Dig [11]
6Tudor Dumitras [11] [13]
7Jeffrey S. Foster [3] [5] [8] [9]
8Pascal Gallard [1] [2]
9Michael W. Hicks (Michael Hicks) [3] [4] [5] [6] [7] [8] [9] [12]
10Liviu Iftode [1] [2]
11Madanlal Musuvathi [10]
12Piramanayagam Arumuga Nainar [10]
13Manuel Oriol [6]
14Yufei Pan [2]
15Polyvios Pratikakis [8] [9]
16Shaz Qadeer [10]
17Peter Sewell [4] [7]
18Stephen Smaldone [2]
19Gareth Stoyle [4] [6] [7]
20Florin Sultan [1] [2]
21Eli Tilevich [13]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)