Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Christopher M. Hayden
2010 – today
- 2012
[j2]Christopher M. Hayden, Iulian Neamtiu: Report on the third workshop on hot topics in software upgrades (HotSWUp'11). Operating Systems Review 46(1): 93-99 (2012)- [j1]Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, Jeffrey S. Foster: Evaluating Dynamic Software Update Safety Using Systematic Testing. IEEE Trans. Software Eng. 38(6): 1340-1354 (2012)
- [c5]Christopher M. Hayden, Karla Saur, Michael Hicks, Jeffrey S. Foster: A study of dynamic software update quiescence for multithreaded programs. HotSWUp 2012: 6-10
- [c4]Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster: Kitsune: efficient, general-purpose dynamic software updating for C. OOPSLA 2012: 249-264
- [c3]Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster: Specifying and Verifying the Correctness of Dynamic Software Updates. VSTTE 2012: 278-293
- 2011
- [c2]Christopher M. Hayden, Edward K. Smith, Michael Hicks, Jeffrey S. Foster: State transfer for clear and efficient runtime updates. ICDE Workshops 2011: 179-184
2000 – 2009
- 2009
- [c1]Christopher M. Hayden, Eric A. Hardisty, Michael W. Hicks, Jeffrey S. Foster: Efficient Systematic Testing for Dynamically Updatable Software. HotSWUp 2009
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-05 03:40 CET by the dblp team