Papers

  1. State Transfer for Clear and Efficient Runtime Updates. Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster. Third ACM Workshop on Hot Topics in Software Upgrades (HotSWUp'11), April 2011.
  2. Specifying and Verifying the Correctness of Dynamic Software Updates. Stephen Magill, Christopher M. Hayden, Michael Hicks, Nate Foster, Jeffrey S. Foster. Draft, March 2011.
  3. Evaluating Dynamic Software Update Safety Using Systematic Testing. Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster. Draft, March 2011.
  4. Efficient Systematic Testing for Dynamically Updatable Software. Christopher M. Hayden, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster. Second ACM Workshop on Hot Topics in Software Upgrades (HotSWUp'09), October 2009.
  5. Safe and Timely Dynamic Updates for Multi-threaded Programs. Iulian Neamtiu and Michael Hicks. Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI'09), June 2009.
  6. Practical Dynamic Software Updating. Iulian Neamtiu, Ph.D. dissertation, University of Maryland, August 2008.
  7. 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.
  8. 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, November 2007.
  9. Mutatis Mutandis: Safe and Flexible Dynamic Software Updating (full version). Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, and Iulian Neamtiu. ACM Transactions on Programming Languages and Systems (TOPLAS), 29(4), August 2007. Full version of POPL 05 paper.
  10. Practical Dynamic Software Updating for C.  Iulian Neamtiu, Michael Hicks, Gareth Stoyle, and Manuel Oriol. In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI), June 2006. A slightly extended version appears as Maryland Technical Report CS-TR-4790 (March 2006).
  11. Formalizing Dynamic Software Updating.  Gavin Bierman, Michael Hicks, Peter Sewell, and Gareth Stoyle.  In Proceedings of the Second International Workshop on  Unanticipated Software Evolution (USE), April 2003.
  12. Dynamic Software Updating.  Michael Hicks and Scott M. Nettles.  ACM Transactions on Programming Languages and Systems  (TOPLAS), 27(6), November 2005.  This is a shorter version of Hicks' dissertation (which won the ACM SIGPLAN 2002 Doctoral Dissertation Award), superseding a paper that appeared at PLDI 2001.

Posters & Presentations

  1. Dynamic Software Update Testing: Framework and Empirical Study. Christopher M. Hayden, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster. PASS Kickoff, January 2010.
  2. Dynamic Software Updating for the Linux Kernel. Iulian Neamtiu and Michael Hicks. Work-in-progress session at The 7th USENIX Symposium on Operating Systems Des ign and Implementation (OSDI), November 2006.
  3. 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 Impl ementation (PLDI), June 2006.

Press

  1. No Reboot Required, MIT Technology Review on-line, May 20, 2009. Ginseng is mentioned prominently, and Ginseng team members quoted, in this article about Ksplice, a DSU solution for Linux.