Efficient Systematic Testing for Dynamically Updatable Software. - Christopher M. Hayden; Eric A. Hardisty; Michael W. Hicks; Jeffrey S. Foster (HotSWUp, 2009)

State transfer for clear and efficient runtime updates. - Christopher M. Hayden; Edward K. Smith; Michael Hicks 001; Jeffrey S. Foster (ICDE Workshops, 2011)

A study of dynamic software update quiescence for multithreaded programs. - Christopher M. Hayden; Karla Saur; Michael Hicks 001; Jeffrey S. Foster (HotSWUp, 2012)

Kitsune: efficient, general-purpose dynamic software updating for C. - Christopher M. Hayden; Edward K. Smith; Michail Denchev; Michael Hicks 001; Jeffrey S. Foster (OOPSLA, 2012)

Specifying and Verifying the Correctness of Dynamic Software Updates. - Christopher M. Hayden; Stephen Magill; Michael Hicks 001; Nate Foster; Jeffrey S. Foster (VSTTE, 2012)

Report on the third workshop on hot topics in software upgrades (HotSWUp'11). - Christopher M. Hayden; Iulian Neamtiu (ACM SIGOPS Oper. Syst. Rev., 2012)

Evaluating Dynamic Software Update Safety Using Systematic Testing. - Christopher M. Hayden; Edward K. Smith; Eric A. Hardisty; Michael Hicks 001; Jeffrey S. Foster (IEEE Trans. Software Eng., 2012)

Clear, Correct, and Efficient Dynamic Software Updates. - Christopher M. Hayden (2012)

Kitsune: Efficient, General-Purpose Dynamic Software Updating for C. - Christopher M. Hayden; Karla Saur; Edward K. Smith; Michael W. Hicks; Jeffrey S. Foster (ACM Trans. Program. Lang. Syst., 2014)