Christopher M. Hayden

Report on the third workshop on hot topics in software upgrades (HotSWUp'11)

Iulian Neamtiu, Christopher M. Hayden, 2012, OPSR.

Kitsune: Efficient, General-Purpose Dynamic Software Updating for C

Michael Hicks, Jeffrey S. Foster, Edward K. Smith, 2014 .

Efficient systematic testing for dynamically updatable software

Jeffrey S. Foster, Michael W. Hicks, Christopher M. Hayden, 2009, HotSWUp '09.

Kitsune: efficient, general-purpose dynamic software updating for C

Jeffrey S. Foster, Edward K. Smith, Christopher M. Hayden, 2012, OOPSLA '12.

Clear, Correct, and Efficient Dynamic Software Updates

Christopher M. Hayden, 2012 .

A Testing Based Empirical Study of Dynamic Software Update Safety Restrictions

Jeffrey S. Foster, Michael Hicks, Christopher M. Hayden, 2009 .

State transfer for clear and efficient runtime updates

Michael Hicks, Jeffrey S. Foster, Edward K. Smith, 2011, 2011 IEEE 27th International Conference on Data Engineering Workshops.

A study of dynamic software update quiescence for multithreaded programs

Michael Hicks, Jeffrey S. Foster, Christopher M. Hayden, 2012, 2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp).

Specifying and Verifying the Correctness of Dynamic Software Updates

Michael Hicks, Jeffrey S. Foster, Nate Foster, 2012, VSTTE.

Evaluating Dynamic Software Update Safety Using Systematic Testing

Michael Hicks, Jeffrey S. Foster, Edward K. Smith, 2012, IEEE Transactions on Software Engineering.