Journal Papers

  1. Mutatis Mutandis: Safe and Flexible Dynamic Software Updating
    Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, and Iulian Neamtiu. ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 29, Issue 4 (August 2007).
    Full version of POPL 05 paper.

  2. Recovering Internet Service Sessions from Operating System Failures
    Florin Sultan, Aniruddha Bohra, Stephen Smaldone, Yufei Pan, Pascal Gallard, Iulian Neamtiu, and Liviu Iftode. In IEEE Internet Computing Special Issue - Recovery-Oriented Approaches to Dependability, March/April 2005.

Conference Papers

  1. Formalizing Soundness of Contextual Effects
    Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks, and Iulian Neamtiu. Proceedings of 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs'08), August 2008.

  2. Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming
    Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis. Proceedings of the ACM Conference on Principles of Programming Languages (POPL'08), January 2008.

  3. Practical Dynamic Software Updating for C
    Iulian Neamtiu, Michael Hicks, Gareth Stoyle, and Manuel Oriol. Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI'06), June 2006.
    Extended version available here.

  4. Mutatis Mutandis: Safe and Flexible Dynamic Software Updating
    Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, and Iulian Neamtiu. Proceedings of the ACM Conference on Principles of Programming Languages (POPL'05), January 2005.

  5. Remote Repair of Operating System State Using Backdoors
    Aniruddha Bohra, Iulian Neamtiu, Pascal Gallard, Florin Sultan, Liviu Iftode. The International Conference on Autonomic Computing (ICAC'04), May 2004.

Workshop Papers

  1. Understanding Source Code Evolution Using Abstract Syntax Tree Matching
    Iulian Neamtiu, Jeffrey Foster, Michael Hicks
    International Workshop on Mining Software Repositories (MSR'05), May 2005.

  2. Nonintrusive Remote Healing Using Backdoors
    Florin Sultan, Aniruddha Bohra, Iulian Neamtiu, Liviu Iftode. First Workshop on Algorithms and Architectures for Self-Managing Systems (Self-Manage'03), June 2003.

Posters and Short Presentations (Refereed)

  1. Dynamic Software Updating for the Linux Kernel
    Iulian Neamtiu and Michael Hicks. Work-in-progress session at The 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI), November 2006.

  2. Ginseng: A System for Dynamic Software Updating
    Iulian Neamtiu, Michael Hicks, Gareth Stoyle, and Manuel Oriol. Poster presentation at ACM Conference on Programming Language Design and Implementation (PLDI), June 2006.

  3. Backdoors - A System Architecture for Nonintrusive Remote Healing
    Florin Sultan, Aniruddha Bohra, Pascal Gallard, Iulian Neamtiu, Yufei Pan, Stephen Smaldone, Liviu Iftode. Poster presentation at The 19th Symposium on Operating Systems Principles (SOSP), October 2003.

Technical Reports

  1. Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming.
    Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, Polyvios Pratikakis. Department of Computer Science Technical Report CS-TR-4920, 2007.

  2. Practical Dynamic Software Updating for C
    Iulian Neamtiu, Michael Hicks, Gareth Stoyle, Manuel Oriol. Department of Computer Science Technical Report CS-TR-4790, May 2006.

  3. Nonintrusive Failure Detection and Recovery for Internet Services Using Backdoors
    Florin Sultan, Aniruddha Bohra, Yufei Pan, Stephen Smaldone, Iulian Neamtiu, Pascal Gallard, Liviu Iftode. Rutgers University, Department of Computer Science Technical Report DCS-TR-524, December 2003.

  4. Using Remote Memory Communication for Self-Healing Systems.
    Florin Sultan, Aniruddha Bohra, Iulian Neamtiu, Liviu Iftode, Rutgers University, Department of Computer Science Technical Report DCS-TR-522, April 2003.

  5. The SEMI Target Environment for Linux. Real-time Extensions
    Iulian Neamtiu. Technical Report, SEMI Project, Technical University of Munich, August 2000.

Ph.D. Dissertation

Practical Dynamic Software Updating
Iulian Neamtiu. Ph.D. dissertation, University of Maryland, August 2008.