Chris Hayden
Chris Hayden
Amazon AWS
Verified email at cs.umd.edu - Homepage
Title
Cited by
Cited by
Year
Kitsune: Efficient, General-Purpose Dynamic Software Updating for C
CM Hayden, K Saur, EK Smith, M Hicks, JS Foster
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (4), 13, 2014
1002014
Kitsune: Efficient, general-purpose dynamic software updating for C
CM Hayden, EK Smith, M Denchev, M Hicks, JS Foster
Proceedings of the ACM international conference on Object oriented …, 2012
792012
Specifying and Verifying the Correctness of Dynamic Software Updates
CM Hayden, S Magill, M Hicks, N Foster, JS Foster
74*
State Transfer for Clear and Efficient Runtime Upgrades
CM Hayden, EK Smith, M Hicks, JS Foster
Proceedings of the 3rd Workshop on Hot Topics in Software Upgrades, 0
50*
Evaluating dynamic software update safety using systematic testing
C Hayden, E Smith, E Hardisty, M Hicks, J Foster
Software Engineering, IEEE Transactions on, 1-1, 2011
462011
Efficient systematic testing for dynamically updatable software
CM Hayden, EA Hardisty, M Hicks, JS Foster
Proceedings of the 2nd International Workshop on Hot Topics in Software …, 2009
312009
A study of dynamic software update quiescence for multithreaded programs
CM Hayden, K Saur, M Hicks, JS Foster
Proceedings of the 4th International Workshop on Hot Topics in Software …, 2012
262012
Clear, correct, and efficient dynamic software updates
CM Hayden
University of Maryland, College Park, 2012
102012
A testing based empirical study of dynamic software update safety restrictions
CM Hayden, EA Hardisty, M Hicks, JS Foster
62009
Report on the third workshop on hot topics in software upgrades (HotSWUp'11)
CM Hayden, I Neamtiu
ACM SIGOPS Operating Systems Review 46 (1), 93-99, 2012
12012
The system can't perform the operation now. Try again later.
Articles 1–10