Safe and timely updates to multi-threaded programs
Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming
Practical dynamic software updating for C
ACM SIGPLAN Notices
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI ’09
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL ’08
Iulian Neamtiu
Jeffrey S. Foster
Manuel Oriol
Gareth Stoyle
Polyvios Pratikakis
Cooperative Update: A New Model for Dependable Live Update