Christopher M. Hayden

According to our database, Christopher M. Hayden authored at least 9 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

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

2012

Clear, Correct, and Efficient Dynamic Software Updates.

Christopher M. Hayden

PhD thesis, 2012

Evaluating Dynamic Software Update Safety Using Systematic Testing.

Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster

IEEE Trans. Software Eng., 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

Specifying and Verifying the Correctness of Dynamic Software Updates.

Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

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

Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

A study of dynamic software update quiescence for multithreaded programs.

Christopher M. Hayden, Karla Saur, Michael Hicks, Jeffrey S. Foster

Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

2011

State transfer for clear and efficient runtime updates.

Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

2009

Efficient Systematic Testing for Dynamically Updatable Software.

Christopher M. Hayden, Eric A. Hardisty, Michael W. Hicks, Jeffrey S. Foster

Proceedings of the 2nd ACM Workshop on Hot Topics in Software Upgrades, 2009