Research

Overview

I am a computer science doctoral student at UMD, College Park. My advisors are professors Michael Hicks and Jeffrey Foster.

I expect to complete my Ph.D. this Spring (2012)! I’m on the lookout for great career opportunities. If you’d like to find out more about my background, my includes an abbreviated version of my resume/cv. I hope to hear from you!

As a graduate student, my research has 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.