Self-stabilizing java

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2012, Pages 287-298

  Eom, Yong Hun ^a   Demsky, Brian ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Self stabilization; Software robustness

Indexed keywords

CODE GENERATION; INPUT DATAS; SELF-STABILIZATION; SOFTWARE BUG; STATE CORRUPTIONS; TYPE SYSTEMS; WRITE ONCE;

COMPUTER PROGRAMMING LANGUAGES; STATIC ANALYSIS;

PROGRAM DEBUGGING;

EID: 84863439046     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2254064.2254099     Document Type: Conference Paper

References (19)

1. A. Bradley, Z. Manna, and H. Sipma. Termination of polynomial programs. In Proceedings of Verification, Model Checking, and Abstract Interpretation, volume 3385, pages 113-129. 2005. (Pubitemid 41231356)
2. J. Brotherston, R. Bornat, and C. Calcagno. Cyclic proofs of program termination in separation logic. pages 101-112, 2008.
3. B. Cook, A. Podelski, and A. Rybalchenko. Termination proofs for systems code. In Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 415- 426, 2006.
4. B. Cook, A. Podelski, and A. Rybalchenko. Proving thread termination. In Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 320-330, 2007. (Pubitemid 47630699)
5. B. Demsky and M. Rinard. Data structure repair using goal-directed reasoning. In Proceedings of the 27th International Conference on Software Engineering, pages 176-185, 2005.
6. E. W. Dijkstra. Self-stabilizing systems in spite of distributed control. Communications of the ACM, 17:643-644, November 1974.
7. S. Dolev, Y. Haviv, and M. Sagiv. Self-stabilization preserving compiler. ACM Transactions on Programming Languages and Systems, 31:22:1-22:42, August 2009.
8. S. Dolev and Y. A. Haviv. Self-stabilizing microprocessor: Analyzing and overcoming soft errors. IEEE Transactions on Computers, 55:385-399, 2006.
9. S. Dolev and R. Yagel. Toward self-stabilizing operating systems. In Proceedings of the 15th International Conference on Database and Expert Systems Applications, pages 684 - 688, 2004.
10. M. Fahndrich and R. DeLine. Adoption and focus: practical linear types for imperative programming. In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 13-24, 2002. (Pubitemid 34991503)
11. P. Haller and M. Odersky. Capabilities for uniqueness and borrowing. In Proceedings of the 24th European Conference on Object-Oriented Programming, pages 354-378, 2010.
12. A. C. Myers. JFlow: Practical mostly-static information flow control. In Proceedings of the Symposium on Principles of Programming Languages, pages 228-241, 1999.
13. M. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and W. S. Beebee, Jr. Enhancing server availability and security through failureoblivious computing. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation, 2004.
14. M. C. Rinard. Living in the comfort zone. In Proceeding of the 22nd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2007.
15. A. Sabelfeld and A. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5 - 19, January 2003.
16. A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman. EnerJ: Approximate data types for safe and general low-power computation. In Proceedings of the 2011 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 164-174, 2011.
17. S. Sidiroglou, M. E. Locasto, S.W. Boyd, and A. D. Keromytis. Building a reactive immune system for software services. In Proceedings of the USENIX Annual Technical Conference, 2005.
18. F. Spoto, F. Mesnard, and E. Payet. A termination analyzer for Java bytecode based on path-length. ACM Transactions on Programming Languages and Systems, 32:8:1-8:70, March 2010.
19. P. Wadler. Linear types can change the world! In Proceedings of the International Conference on Programming Concepts and Methods, 1990.