Segui
Chris Hayden
Chris Hayden
Amazon AWS
Email verificata su cs.umd.edu - Home page
Titolo
Citata da
Citata da
Anno
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
1322014
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
1022012
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–10