Finding almost-invariants in distributed systems

Proceedings of the IEEE Symposium on Reliable Distributed Systems

Volumn , Issue , 2011, Pages 177-182

  Yabandeh, Maysam ^c   Anand, Abhishek ^b   Canini, Marco ^a   Kostić, Dejan ^a  

^a EPFL   (Switzerland)

^b Cornell University ^*  (United States)

^c YAHOO RESEARCH   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS NETWORKS; CORNER CASE; DISTRIBUTED SYSTEMS; PROGRAMMING ERRORS; RUNTIMES; SPATIAL DOMAINS; SYSTEM BEHAVIORS;

THEOREM PROVING;

PROGRAM DEBUGGING;

EID: 81055157855     PISSN: 10609857     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SRDS.2011.29     Document Type: Conference Paper

References (22)

1. Staring Into The Gorge: Router Exploits. http://www.renesys.com/blog/ 2009/08/staring-into-the-gorge.shtml.
2. G. Ammons, R. Bodík, and J. R. Larus. Mining Specifications. SIGPLAN Not., 37(1):4-16, 2002. (Pubitemid 35009026)
3. S. Axelsson. The base-rate fallacy and its implications for the difficulty of intrusion detection. In CCS, 1999.
4. P. Cousot and R. Cousot. Automatic synthesis of optimal invariant assertions: Mathematical foundations. In AIPL, 1977.
5. B. Demsky, M. D. Ernst, P. J. Guo, S. McCamant, J. H. Perkins, and M. Rinard. Inference and Enforcement of Data Structure Consistency Specifications. In ISSTA 2006, Portland, ME, USA, July 18-20, 2006.
6. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as Deviant Behavior: a General Approach to Inferring Errors in Systems Code. In SOSP, 2001.
7. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution. Software Engineering, IEEE Transactions on, 27(2):99-123, Feb 2001. (Pubitemid 32254259)
8. M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, and C. Xiao. The Daikon System for Dynamic Detection of Likely Invariants. Sci. Comput. Program., 69(1-3):35-45, 2007. (Pubitemid 350087239)
9. N. Feamster and H. Balakrishnan. Detecting BGP Configuration Faults with Static Analysis. In NSDI, 2005.
10. D. Geels, G. Altekar, P. Maniatis, T. Roscoe, and I. Stoica. Friday: Global Comprehension for Distributed Replay. In NSDI, 2007.
11. M. Handley, E. Kohler, A. Ghosh, O. Hodson, and P. Radoslavov. Designing Extensible IP Router Software. In NSDI, 2005.
12. S. Hangal and M. S. Lam. Tracking Down Software Bugs Using Automatic Anomaly Detection. In ICSE, 2002.
13. C. E. Killian, J. W. Anderson, R. Braud, R. Jhala, and A. M. Vahdat. Mace: Language Support for Building Distributed Systems. In PLDI, 2007.
14. C. E. Killian, J. W. Anderson, R. Jhala, and A. Vahdat. Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code. In NSDI, 2007.
15. L. Lamport. The part-time parliament. ACM Trans. Comput. Syst., 16(2):133-169, 1998. (Pubitemid 128482394)
16. X. Liu, W. Lin, A. Pan, and Z. Zhang. WiDS Checker: Combating Bugs in Distributed Systems. In NSDI, 2007.
17. D. Pei, X. Zhao, D. Massey, and L. Zhang. A Study of BGP Path Vector Route Looping Behavior. In ICDCS, 2004.
18. A. Singh, P. Maniatis, T. Roscoe, and P. Druschel. Using Queries for Distributed Monitoring and Forensics. SIGOPS Oper. Syst. Rev., 40(4):389-402, 2006. (Pubitemid 47485760)
19. M. Vaziri and G. Holzmann. Automatic Detection of Invariants in SPIN. In Fourth Int'l SPIN Workshop, 1998.
20. T. N. Win, M. D. Ernst, S. J. Garland, D. Kirli;, and N. A. Lynch. Using Simulated Execution in Verifying Distributed Algorithms. Int. J. Softw. Tools Technol. Transf., 6(1):67-76, 2004.
21. M. Yabandeh, A. Anand, M. Canini, and D. Kostić. Almost-Invariants: From Bugs in Distributed Systems to Invariants. Technical report, EPFL, http://infoscience.epfl.ch/record/141383, 2009.
22. M. Yabandeh, N. Knežević, D. Kostić, and V. Kuncak. CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. In NSDI, 2009.