Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming
A theory of type qualifiers
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL ’08
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation - PLDI ’99
Alexander Aiken
Michael Hicks
Iulian Neamtiu
Manuel Fähndrich
Polyvios Pratikakis
Cooperative Update: A New Model for Dependable Live Update
Improving the Fault Resilience of an H.264 Decoder Using Static Analysis Methods