Research

Overview

I'm now working as a software engineer at WaPo Labs.

I completed my Ph.D. at UMD working with professors Michael Hicks and Jeffrey Foster. As a graduate student, my research focused on tools and techniques to help developers safely apply dynamic software updating. In particular, my research aims to provide an improved understanding of the challenges posed by run-time updates, such as ensuring update correctness, and to reduce the developer effort required to address those challenges.

Papers

Kitsune: Efficient, General-purpose Dynamic Software Updating for C. Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, and Jeffrey S. Foster. Under review, January 2012.
Report on the Third ACM Workshop on Hot Topics in Software Upgrades (HotSWUp'11). Christopher Hayden and Iulian Neamtiu. ACM SIGOPS Operating Systems Review, January 2012.
Specifying and Verifying the Correctness of Dynamic Software Updates. Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster. VSTTE, January 2012. [Tech Report]
Evaluating Dynamic Software Update Safety Using Systematic Testing. Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster. TSE, 99(PrePrints), September 2011. [Tech Report]
State Transfer for Clear and Efficient Runtime Updates. Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster. Third Workshop on Hot Topics in Software Upgrades (HotSWUp'11), April 2011.
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.