Seuraa
Chris Hayden
Chris Hayden
Amazon AWS
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.umd.edu - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1352014
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
1052012
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
58*
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
572011
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
362009
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
252012
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
72009
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–10