Mutatis mutandis: Safe and predictable dynamic software updating

ACM SIGPLAN Notices

Volumn 40, Issue 1, 2005, Pages 183-194

  Stoyle, Gareth ^a   Hicks, Michael ^c   Bierman, Gavin ^b   Sewell, Peter ^a   Neamtiu, Iulian ^c  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^b MICROSOFT RESEARCH   (United Kingdom)

^c UNIVERSITY OF MARYLAND   (United States)

Author keywords

Capability; Dynamic software updating; Proteus; Type inference; Updateability analysis

Indexed keywords

AIR TRAFFIC CONTROL; CALCULATIONS; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; RECURSIVE FUNCTIONS; THEOREM PROVING;

CAPABILITY; DYNAMIC SOFTWARE UPDATING; PROTEUS; TYPE INFERENCE; UNDATEABILITY ANALYSIS;

COMPUTER SOFTWARE;

EID: 17044375350     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/1047659.1040321     Document Type: Conference Paper

References (21)

1. J. L. Armstrong and R. Virding. Erlang - An Experimental Telephony Switching Language. In XIII International Switching Symposium, Stockholm, Sweden, May 27 - June 1, 1991.
2. C. Boyapati, B. Liskov, L. Shrira, C-H. Moh, and S. Richman. Lazy modular upgrades in persistent object stores. In Proc. OOPSLA, 2003.
3. V. Breazu-Tannen, T. Coquand, C.A. Gunter, and A. Scedrov. Inheritance as implicit coercion. Information and computation, 93(1): 172-221, 1991.
4. B. Buck and J. K. Hollingsworth. An API for runtime code patching. Journal of High Performance Computing Applications, 14(4):317-329, 2000.
5. S. Drossopoulou and S. Eisenbach. Flexible, source level dynamic linking and re-linking. In Proc. ECOOP 2003 Workshop on Formal Techniques for Java Programs, 2003.
6. D. Duggan. Type-based hot swapping of running modules. In Proc. ICFP, 2001.
7. O. Frieder and M. E. Segal. On dynamically updating a computer program: From concept to prototype. Journal of Systems and Software, 14(2): 111-128, September 1991.
8. S. Gilmore, D. Kirli, and C. Walton. Dynamic ML without dynamic types. Technical Report ECS-LFCS-97-378, LFCS, University of Edinburgh, December 1997.
9. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, and J. Cheney. Region-based memory management in Cyclone. In Proc. PLDI, 2002.
10. D. Gupta. On-line Software Version Change. PhD thesis, Department of Computer Science and Engineering, Indian Institute of Technology, Kanpur, November 1994.
11. N. Heintze. Set-Based Program Analysis. PhD thesis, Department of Computer Science, Carnegie Mellon University, October 1992.
12. M. W. Hicks. Dynamic Software Updating. PhD thesis, Department of Computer and Information Science, The University of Pennsylvania, August 2001.
13. G. Hjalmtysson and R. Gray. Dynamic C++ classes, a lightweight mechanism to update code in a running program. In Proc. USENIX, June 1998.
14. J. Kodumal. BANSHEE: A toolkit for building constraint-based analyses. http://bane.cs.berkeley.edu/banshee.
15. S. Malabarba, R. Pandey, J. Gragg, E. Barr, and J. F. Barnes. Runtime support for type-safe dynamic Java classes. In Proc. ECOOP, 2000.
16. G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. Lecture Notes in Computer Science, 2304:213-228, 2002.
17. A. Orso, A. Rao, and M.J. Harrold. A technique for dynamic updating of Java software. In Proc. IEEE International Conference on Software Maintenance (ICSM), 2002.
18. C. Soules, J. Appavoo, K. Hui, R. W. Wisniewski, D. Da Silva, G. R. Ganger, O. Krieger, M. Stumm, M. Auslander, M. Ostrowski, B. Rosenburg, and J. Xenidis. System support for online reconfiguration. In Proc. USENIX, June 2003.
19. G. Stoyle, M. Hicks, G. Bierman, P. Sewell, and I. Neamtiu. Mutatis Mutandis: Safe and predictable dynamic software updating (extended version). To appear.
20. D. Walker. A type system for expressive security policies. In Proc. POPL, pages 254-267, January 2000.
21. D. Walker, K. Crary, and G. Morrisett. Typed memory management via static capabilities. ACM Transactions on Programming Languages and Systems, 22(4):701-771, 2000.