Publications tagged "dsu"

Journal, Conference, and Workshop Papers

2015

C-Strider: Type-Aware Heap Traversal for C
Karla Saur, Edward K. Smith, Michael Hicks, and Jeffrey S. Foster
Software: Practice & Experience (SPE), May 2015.
tags: dsu
[ bibtex | doi ]

2014

Kitsune: Efficient, General-purpose Dynamic Software Updating for C
Christopher M. Hayden, Karla Saur, Edward K. Smith, Michael Hicks, and Jeffrey S. Foster
ACM Transactions of Programming Languages and Systems (TOPLAS), 36(4), October 2014.
tags: dsu
[ bibtex | doi ]

2012

Evaluating Dynamic Software Update Safety Using Efficient Systematic Testing
Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, and Jeffrey S. Foster
IEEE Transactions on Software Engineering (TSE), 38(6):1340–1354, November/December 2012.
tags: dsu
[ bibtex | doi ]

Kitsune: Efficient, General-purpose Dynamic Software Updating for C
Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, and Jeffrey S. Foster
In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 249–264, Tuscon, Arizona, October 2012.
tags: dsu
[ bibtex ]

Towards Standardized Benchmarks for Dynamic Software Updating Systems
Edward K. Smith, Michael Hicks, and Jeffrey S. Foster
In ACM Workshop on Hot Topics in Software Upgrades (HotSWUp), pages 11–15, Zurich, Switzerland, June 2012.
tags: dsu
[ bibtex | doi ]

A Study of Dynamic Software Update Quiescence for Multithreaded Programs
Christopher M. Hayden, Karla Saur, Michael Hicks, and Jeffrey S. Foster
In ACM Workshop on Hot Topics in Software Upgrades (HotSWUp), pages 6–10, Zurich, Switzerland, June 2012.
tags: dsu
[ bibtex | doi ]

Specifying and Verifying the Correctness of Dynamic Software Updates
Stephen Magill, Christopher M. Hayden, Michael Hicks, Nate Foster, and Jeffrey S. Foster
In Rajeev Joshi, Peter Müller, and Andreas Podelski, editors, Verified Software: Theories, Tools and Experiments (VSTTE), volume 7152 of Lecture Notes in Computer Science, pages 278–293, Philadelphia, USA, January 2012. Springer Berlin / Heidelberg.
tags: analysis, dsu
[ bibtex | doi ]

2011

State Transfer for Clear and Efficient Runtime Updates
Christopher M. Hayden, Edward K. Smith, Michael Hicks, and Jeffrey S. Foster
In ACM Workshop on Hot Topics in Software Upgrades (HotSWUp), pages 179–184, Hannover, Germany, April 2011.
tags: dsu
[ bibtex | doi ]

2009

Efficient Systematic Testing for Dynamically Updatable Software
Christopher M. Hayden, Eric A. Hardisty, Michael Hicks, and Jeffrey S. Foster
In ACM Workshop on Hot Topics in Software Upgrades (HotSWUp), Orlando, Florida, October 2009.
tags: dsu
[ bibtex | doi ]

2008

Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis
In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 37–49, San Francisco, USA, January 2008.
tags: analysis, dsu, races, types
[ bibtex | doi ]

Technical Reports

Evaluating Dynamic Software Update Safety Using Systematic Testing
Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, and Jeffrey S. Foster
Technical Report CS-TR-4993, Computer Science Department, University of Maryland, College Park, September 2011.
tags: dsu
[ bibtex | doi ]

A Testing Based Empirical Study of Dynamic Software Update Safety Restrictions
Christopher M. Hayden, Eric A. Hardisty, Michael Hicks, and Jeffrey S. Foster
Technical Report CS-TR-4949, Computer Science Department, University of Maryland, College Park, October 2009.
tags: dsu
[ bibtex | doi ]

Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming
Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis
Technical Report CS-TR-4920, Computer Science Department, University of Maryland, College Park, November 2007.
tags: analysis, dsu, races, types
[ bibtex | doi ]