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 | 140 | 2014 |
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 | 108 | 2012 |
Specifying and Verifying the Correctness of Dynamic Software Updates CM Hayden, S Magill, M Hicks, N Foster, JS Foster | 83* | |
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 | 59* | |
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 | 57 | 2011 |
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 | 35 | 2009 |
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 | 25 | 2012 |
Clear, correct, and efficient dynamic software updates CM Hayden University of Maryland, College Park, 2012 | 9 | 2012 |
A testing based empirical study of dynamic software update safety restrictions CM Hayden, EA Hardisty, M Hicks, JS Foster | 7 | 2009 |
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 | 1 | 2012 |