Mutatis Mutandis: Safe and predictable dynamic software updating

Mutatis Mutandis: Safe and predictable dynamic software updating (2007)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Gareth Stoyle , Michael Hicks , Gavin Bierman , Peter Sewell , Iulian Neamtiu

Citations:

30 - 8 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	Mutatis Mutandis: Safe and predictable dynamic software updating	INFERENCE
AUTHOR NAME	Gareth Stoyle	SVM HeaderParse 0.2
AUTHOR AFFIL	University of Cambridge	SVM HeaderParse 0.2
AUTHOR NAME	Michael Hicks	SVM HeaderParse 0.2
AUTHOR AFFIL	University of Maryland, College Park	SVM HeaderParse 0.2
AUTHOR NAME	Gavin Bierman	SVM HeaderParse 0.2
AUTHOR AFFIL	Microsoft Research	SVM HeaderParse 0.2
AUTHOR NAME	Peter Sewell	SVM HeaderParse 0.2
AUTHOR AFFIL	; University of Cambridge; and; IULIAN NEAMTIU; University of Maryland, College Park	SVM HeaderParse 0.2
AUTHOR ADDR	; Plaza, Suite 701, New York, NY 10121-0701 USA, fax +1 (212) 869-04...	SVM HeaderParse 0.2
ABSTRACT	This article presents Proteus, a core calculus that models dynamic software updating, a service for fixing bugs and adding features to a running program. Proteus permits a program’s type structure to change dynamically but guarantees the updated program remains type-correct by ensuring a property we call con-freeness. We show how con-freeness can be enforced dynamically, and how it can be approximated via a novel static analysis. This analysis can be used to assess the implications of a program’s structure on future updates in order to make update success more predictable. We have implemented Proteus for C, and briefly discuss our implementation which we have tested on several well-known programs. Categories and Subject Descriptors: D.2.4 [Software Engineering]: Software/Program Verification—Validation;	SVM HeaderParse 0.2
YEAR	2005	INFERENCE
VENUE	in: ACM Symp. on Principles of Programming Languages	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	183--194	INFERENCE
CITATIONS	41 found	ParsCit 1.0