Opus: online patches and updates for security, USENIX Security Symposium, pp.287-302, 2005. ,
Ksplice, Proceedings of the fourth ACM european conference on Computer systems, EuroSys '09, pp.187-198, 2009. ,
DOI : 10.1145/1519065.1519085
Recaml: execution state as the cornerstone of reconfigurations, Proceedings of the 15th ACM SIGPLAN international conference on Functional programming ICFP '10, pp.27-38, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00797558
Dynamic ML without dynamic types, 1997. ,
A survey about dynamic software updating, 2012. ,
Practical dynamic software updating for C, Proc of the ACM SIGPLAN conference on Programming language design and implementation PLDI '06, pp.72-83, 2006. ,
Rethinking software updating: Concepts for improved updatability, Tech. Rep, vol.550, 2003. ,
A survey of dynamic software updating, Journal of Software: Evolution and Process, vol.33, issue.12, 2012. ,
DOI : 10.1002/smr.1556
A Theory of Dynamic Software Updates, 2006. ,