메뉴 건너뛰기




Volumn 43, Issue 1, 2008, Pages 37-49

Contextual effects for version-consistent dynamic software updating and safe concurrent programming

Author keywords

Computation effects; Contextual effects; Data race detection; Dynamic software updating; Type and effect systems; Version consistency

Indexed keywords

COMPUTER SCIENCE;

EID: 58449123220     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1328897.1328447     Document Type: Article
Times cited : (19)

References (37)
  • 1
    • 84890865854 scopus 로고    scopus 로고
    • Access control based on execution history
    • Martin Abadi and Cedric Fournet. Access control based on execution history. In NDSS, 2003.
    • (2003) NDSS
    • Abadi, M.1    Fournet, C.2
  • 2
    • 85077366413 scopus 로고    scopus 로고
    • Providing dynamic update in an operating system
    • Andrew Baumann, Gernot Heiser, Jonathan Appavoo, et al. Providing dynamic update in an operating system. In USENIX, 2005.
    • (2005) USENIX
    • Baumann, A.1    Heiser, G.2    Appavoo, J.3
  • 3
    • 78249234838 scopus 로고    scopus 로고
    • Reboots are for hardware: Challenges and solutions to updating an operating system on the fly
    • Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, et al. Reboots are for hardware: Challenges and solutions to updating an operating system on the fly. In USENIX, 2007.
    • (2007) USENIX
    • Baumann, A.1    Appavoo, J.2    Wisniewski, R.W.3
  • 5
    • 33745963010 scopus 로고    scopus 로고
    • Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, and Pen-Chung Yew. Live updating operating systems using virtualization. In VEE, 2006.
    • Haibo Chen, Rong Chen, Fengzhe Zhang, Binyu Zang, and Pen-Chung Yew. Live updating operating systems using virtualization. In VEE, 2006.
  • 6
    • 34548713464 scopus 로고    scopus 로고
    • PO-LUS: A POwerful Live Updating System
    • Haibo Chen, Jie Yu, Rong Chen, Binyu Zang, and Pen-Chung Yew. PO-LUS: A POwerful Live Updating System. In ICSE, pages 271-281, 2007.
    • (2007) ICSE , pp. 271-281
    • Chen, H.1    Yu, J.2    Chen, R.3    Zang, B.4    Yew, P.-C.5
  • 7
    • 0242453884 scopus 로고    scopus 로고
    • RacerX: Effective, static detection of race conditions and deadlocks
    • Dawson Engler and Ken Ashcraft. RacerX: effective, static detection of race conditions and deadlocks. In SOSP, 2003.
    • (2003) SOSP
    • Engler, D.1    Ashcraft, K.2
  • 8
    • 0034446877 scopus 로고    scopus 로고
    • Type-based race detection for Java
    • Cormac Flanagan and Stephen N. Freund. Type-based race detection for Java. In PLDI, 2000.
    • (2000) PLDI
    • Flanagan, C.1    Freund, S.N.2
  • 9
    • 33845512960 scopus 로고    scopus 로고
    • Flow-Insensitive Type Qualifiers
    • November
    • Jeffrey S. Foster, Robert Johnson, John Kodumal, and Alex Aiken. Flow-Insensitive Type Qualifiers. TOPLAS, 28(6):1035-1087, November 2006.
    • (2006) TOPLAS , vol.28 , Issue.6 , pp. 1035-1087
    • Foster, J.S.1    Johnson, R.2    Kodumal, J.3    Aiken, A.4
  • 10
    • 0003749518 scopus 로고    scopus 로고
    • Dynamic ML without dynamic types
    • Technical Report ECS-LFCS-97-378, LFCS, University of Edinburgh
    • Stephen Gilmore, Dilsun Kirli, and Chris Walton. Dynamic ML without dynamic types. Technical Report ECS-LFCS-97-378, LFCS, University of Edinburgh, 1997.
    • (1997)
    • Gilmore, S.1    Kirli, D.2    Walton, C.3
  • 11
    • 1442308195 scopus 로고    scopus 로고
    • Language support for lightweight transactions
    • Tim Harris and Keir Fraser. Language support for lightweight transactions. In OOPSLA, 2003.
    • (2003) OOPSLA
    • Harris, T.1    Fraser, K.2
  • 12
    • 0027262011 scopus 로고
    • Transactional memory: Architectural support for lock-free data structures
    • M. Herlihy and J. E. B. Moss. Transactional memory: Architectural support for lock-free data structures. In ISCA, 1993.
    • (1993) ISCA
    • Herlihy, M.1    Moss, J.E.B.2
  • 14
    • 0036039869 scopus 로고    scopus 로고
    • Resource Usage Analysis
    • Portland, Oregon
    • Atsushi Igarashi and Naoki Kobayashi. Resource Usage Analysis. In POPL, Portland, Oregon, 2002.
    • (2002) POPL
    • Igarashi, A.1    Kobayashi, N.2
  • 15
    • 67650207866 scopus 로고    scopus 로고
    • John Kodumal and Alexander Aiken. Banshee: A scalable constraint-based analysis toolkit. In SAS, 2005.
    • John Kodumal and Alexander Aiken. Banshee: A scalable constraint-based analysis toolkit. In SAS, 2005.
  • 16
    • 0017996760 scopus 로고
    • Time, clocks, and the ordering of events in a distributed system
    • Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. CACM, 21(7):558-565, 1978.
    • (1978) CACM , vol.21 , Issue.7 , pp. 558-565
    • Lamport, L.1
  • 17
    • 0003831926 scopus 로고
    • PhD thesis, Dept. of Computer Science, University of Wisconsin, Madison, April
    • Insup Lee. DYMOS: A Dynamic Modification System. PhD thesis, Dept. of Computer Science, University of Wisconsin, Madison, April 1983.
    • (1983) DYMOS: A Dynamic Modification System
    • Lee, I.1
  • 19
    • 79958069611 scopus 로고    scopus 로고
    • Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels
    • March
    • Kristis Makris and Kyung Dong Ryu. Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels. In Proc. EuroSys, March 2007.
    • (2007) Proc. EuroSys
    • Makris, K.1    Dong Ryu, K.2
  • 20
  • 21
    • 84974250731 scopus 로고
    • Type inference with simple subtypes
    • July
    • John C. Mitchell. Type inference with simple subtypes. JFP, 1(3):245-285, July 1991.
    • (1991) JFP , vol.1 , Issue.3 , pp. 245-285
    • Mitchell, J.C.1
  • 22
    • 34548211382 scopus 로고    scopus 로고
    • Conditional must not aliasing for static race detection
    • Mayur Naik and Alex Aiken. Conditional must not aliasing for static race detection. In POPL, 2007.
    • (2007) POPL
    • Naik, M.1    Aiken, A.2
  • 23
    • 33746060520 scopus 로고    scopus 로고
    • Effective static race detection for Java
    • Mayur Naik, Alex Aiken, and John Whaley. Effective static race detection for Java. In PLDI, 2006.
    • (2006) PLDI
    • Naik, M.1    Aiken, A.2    Whaley, J.3
  • 24
    • 85088065411 scopus 로고    scopus 로고
    • Understanding Source Code Evolution Using Abstract Syntax Tree Matching
    • URL
    • Iulian Neamtiu, Jeffrey S. Foster, and Michael Hicks. Understanding Source Code Evolution Using Abstract Syntax Tree Matching. In MSR'05, 2005. URL http://www.cs.umd.edu/~mwh/papers/evolution.pdf.
    • (2005) MSR'05
    • Neamtiu, I.1    Foster, J.S.2    Hicks, M.3
  • 25
    • 33746074469 scopus 로고    scopus 로고
    • Practical dynamic software updating for C
    • Iulian Neamtiu, Michael Hicks, Gareth Stoyle, and Manuel Oriol. Practical dynamic software updating for C. In PLDI, 2006.
    • (2006) PLDI
    • Neamtiu, I.1    Hicks, M.2    Stoyle, G.3    Oriol, M.4
  • 26
    • 67650203466 scopus 로고    scopus 로고
    • Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming. Technical Report CS-TR-4920, Dept. of Computer Science, University of Maryland, November
    • Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis. Contextual Effects for Version-Consistent Dynamic Software Updating and Safe Concurrent Programming. Technical Report CS-TR-4920, Dept. of Computer Science, University of Maryland, November 2007.
    • (2007)
    • Neamtiu, I.1    Hicks, M.2    Foster, J.S.3    Pratikakis, P.4
  • 27
    • 84959039613 scopus 로고    scopus 로고
    • CIL: Intermediate language and tools for analysis and transformation of C programs
    • George C. Necula, Scott McPeak, Shree P. Rahul, and Westley Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. LNCS, 2304:213-228, 2002.
    • (2002) LNCS , vol.2304 , pp. 213-228
    • Necula, G.C.1    McPeak, S.2    Rahul, S.P.3    Weimer, W.4
  • 28
    • 34748834011 scopus 로고    scopus 로고
    • Open nesting in software transactional memory
    • Yang Ni, Vijay S. Menon, Ali-Reza Adl-Tabatabai, et al. Open nesting in software transactional memory. In PPoPP, 2007.
    • (2007) PPoPP
    • Ni, Y.1    Menon, V.S.2    Adl-Tabatabai, A.-R.3
  • 30
    • 67650211530 scopus 로고    scopus 로고
    • Context-sensitive correlation analysis for detecting races
    • Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks. Context-sensitive correlation analysis for detecting races. In PLDI, 2006.
    • (2006) PLDI
    • Pratikakis, P.1    Foster, J.S.2    Hicks, M.3
  • 31
    • 33745211337 scopus 로고    scopus 로고
    • Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs
    • Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson. Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. In SOSP, 1997.
    • (1997) SOSP
    • Savage, S.1    Burrows, M.2    Nelson, G.3    Sobalvarro, P.4    Anderson, T.5
  • 32
    • 67650186421 scopus 로고    scopus 로고
    • Types and trace effects of higher order programs
    • July, Forthcoming; available online at
    • Christian Skalka, Scott Smith, and David Van Horn. Types and trace effects of higher order programs. JFP, July 2007. Forthcoming; available online at http://www.journals.cambridge.org.
    • (2007) JFP
    • Skalka, C.1    Smith, S.2    Van Horn, D.3
  • 34
    • 20044381934 scopus 로고    scopus 로고
    • System support for online reconfiguration
    • Craig A. N. Soules, Jonathan Appavoo, Kevin Hui, et al. System support for online reconfiguration. In USENIX, 2003.
    • (2003) USENIX
    • Soules, C.A.N.1    Appavoo, J.2    Hui, K.3
  • 35
    • 34547938351 scopus 로고    scopus 로고
    • Mutatis Mutandis: Safe and flexible dynamic software updating (full version)
    • August
    • Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, and Iulian Neamtiu. Mutatis Mutandis: Safe and flexible dynamic software updating (full version). TOPLAS, 29(4):22, August 2007.
    • (2007) TOPLAS , vol.29 , Issue.4 , pp. 22
    • Stoyle, G.1    Hicks, M.2    Bierman, G.3    Sewell, P.4    Neamtiu, I.5
  • 36
    • 0038039922 scopus 로고    scopus 로고
    • Christoph von Praun and Thomas R. Gross. Static conflict analysis for multi-threaded object-oriented programs. In PLDI '03, 2003.
    • Christoph von Praun and Thomas R. Gross. Static conflict analysis for multi-threaded object-oriented programs. In PLDI '03, 2003.
  • 37
    • 0000189545 scopus 로고    scopus 로고
    • Typed memory management in a calculus of capabilities
    • July
    • David Walker, Karl Crary, and Greg Morrisett. Typed memory management in a calculus of capabilities. TOPLAS, 24(4):701-771, July 2000.
    • (2000) TOPLAS , vol.24 , Issue.4 , pp. 701-771
    • Walker, D.1    Crary, K.2    Morrisett, G.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.