Dynamic software update for message passing programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7705 LNCS, Issue , 2012, Pages 207-222

  Anderson, Gabrielle ^a   Rathke, Julian ^b  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DEADLOCK FREEDOM; DYNAMIC SOFTWARE UPDATE; DYNAMIC UPDATE; LIVENESS PROPERTIES; MESSAGE PASSING PROGRAMS; RUNTIMES; SESSION TYPES;

ARTIFICIAL INTELLIGENCE;

EID: 84872255613     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-35182-2_15     Document Type: Conference Paper

References (17)

1. Ajmani, S.: Automatic Software Upgrades for Distributed Systems. Artificial Intelligence (Cm), 1-23 (2004)
2. Anderson, G.: Behavioural Properties and Dynamic Software Update for Concurrent Programs. Ph.D. Thesis, University of Southampton (2012)
3. Appel, A.: Hot-sliding in ML. Technical report. Princeton University, Princeton, New Jersey, USA
4. Bettini, L., Coppo, M., D'Antoni, L., De Luca, M., Dezani-Ciancaglini, M., Yoshida, N.: Global Progress in Dynamically Interleaved Multiparty Sessions. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 418-433. Springer, Heidelberg (2008)
5. Bierman, G., Hicks, M., Sewell, P., Stoyle, G.: Formalizing Dynamic Software Updating. In: Proceedings of the 2nd Workshop on Unanticipated Software Evolution
6. Boyapati, C., Liskov, B., Shrira, L., Moh, C.-H., Richman, S.: Lazy Modular Upgrades In Persistent Object Stores. In: Proceedings of the 18th on Object-oriented Programing, Systems, Languages, and Applications, pp. 403-417
7. Deniélou, P.-M., Yoshida, N.: Buffered Communication Analysis in Distributed Multiparty Sessions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 343-357. Springer, Heidelberg (2010)
8. Dezani-Ciancaglini, M., de'Liguoro, U.: Sessions and Session Types: An Overview. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 1-28. Springer, Heidelberg (2010)
9. Hayden, C.M., Smith, E.K., Denchev, M., Hicks, M., Foster, J.S.: Kitsune: Efficient, General-purpose Dynamic Software Updating for C
10. Hayden, C.M., Smith, E.K., Hicks, M., Foster, J.S.: State Transfer for Clear and Efficient Runtime Upgrades. In: Proceedings of the 3rd Workshop on Hot Topics in Software Upgrades
11. Hayden, C.M., Saur, K., Hicks, M., Foster, J.S.: A Study of Dynamic Software Update Quiescence for Multithreaded Programs. In: Proceedings of the 4th Workshop on Hot Topics in Software Upgrades
12. Hicks, M., Nettles, S.: Dynamic Software Updating. ACM Trans. Program. Lang. Syst. 27(6), 1049-1096 (2005) ISSN 0164-0925
13. Honda, K., Yoshida, N., Carbone, M.: Multiparty Asynchronous Session Types (January 2008) ISSN 0362-1340
14. Lea, D.: Concurrent Programming in Java: Design Principles and Patterns, 2nd edn. Addison-Wesley Longman Publishing Co., Inc. (1999)
15. Neamtiu, I., Hicks, M.: Safe and Timely Dynamic Updates to Multi-threaded Programs. In: Proceedings of the Conference on Programming Language Design and Implementation, pp. 13-24
16. Stoyle, G., Hicks, M., Bierman, G., Sewell, P., Neamtiu, I.: Mutatis Mutandis: Safe and predictable dynamic software updating. ACM Trans. Program. Lang. Syst. 29(4), 183-194
17. Subramanian, S.: Dynamic Software Updates: A VM-Centric Approach. PhD thesis, University of Texas at Austin