Christopher M. Hayden

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Safety Analysis

Dynamically Updated

Insertions And Deletions

Software Systems

Top Venues

ACM SIGOPS Oper. Syst. Rev.

University of Maryland, College Park, MD, USA (PHD)

Education History

University of Maryland, College Park, MD, USA

PHD

Publications

Christopher M. Hayden, Karla Saur, Edward K. Smith, Michael W. Hicks, Jeffrey S. Foster
Kitsune: Efficient, General-Purpose Dynamic Software Updating for C. ACM Trans. Program. Lang. Syst. 36 (4) (2014)
Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster
Specifying and Verifying the Correctness of Dynamic Software Updates. VSTTE (2012)
Christopher M. Hayden, Iulian Neamtiu
Report on the third workshop on hot topics in software upgrades (HotSWUp'11). ACM SIGOPS Oper. Syst. Rev. 46 (1) (2012)
Christopher M. Hayden, Karla Saur, Michael Hicks, Jeffrey S. Foster
A study of dynamic software update quiescence for multithreaded programs. HotSWUp (2012)
Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster
Kitsune: efficient, general-purpose dynamic software updating for C. OOPSLA (2012)
Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster
Evaluating Dynamic Software Update Safety Using Systematic Testing. IEEE Trans. Software Eng. 38 (6) (2012)
Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster
State transfer for clear and efficient runtime updates. ICDE Workshops (2011)
Christopher M. Hayden, Eric A. Hardisty, Michael W. Hicks, Jeffrey S. Foster
Efficient Systematic Testing for Dynamically Updatable Software. HotSWUp (2009)