Towards automatically checking thousands of failures with micro-specifications

Proceedings of the 6th Workshop on Hot Topics in System Dependability, HotDep 2010

Volumn , Issue , 2010, Pages

  Gunawi, Haryadi S ^a   Do, Thanh ^b   Joshi, Pallavi ^a   Hellerstein, Joseph M ^a   Arpaci Dusseau, Andrea C ^b   Arpaci Dusseau, Remzi H ^b   Sen, Koushik ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED DATABASE SYSTEMS; PROGRAM DEBUGGING;

DATA LOSS; DATALOG; DISTRIBUTED SYSTEMS; FAILURE SCENARIOS; FAILURE TESTING;

SPECIFICATIONS;

EID: 85092779203     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Peter Alvaro, Tyson Condie, Neil Conway, Khaled Elmeleegy, Joseph M. Hellerstein, and Russell C Sears. BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud. In EuroSys '10.
2. George Candea, Stefan Bucur, and Cristian Zamfir. Automated Software Testing as a Service. In SOCC '10.
3. Tushar Chandra, Robert Griesemer, and Joshua Redstone. Paxos Made Live - An Engineering Perspective. In PODC '07.
4. Byung-Gon Chun, Kuang Chen, Gunho Lee, Randy H. Katz, and Scott Shenker. D3: Declarative Distributed Debugging. UC. Berkeley Technical Report No. UCB/EECS-2008-27, 2008.
5. Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung. The Google File System. In SOSP '03, pages 29-43.
6. Salvatore Guarnieri and Benjamin Livshits. Gatekeeper: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code. In Usenix Security '09.
7. Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. SQCK: A Declarative File System Checker. In OSDI '08.
8. James Hamilton. On Designing and Deploying Internet-Scale Services. In LISA '07.
9. Alyssa Henry. Cloud Storage FUD: Failure and Uncertainty and Durability. In FAST '09.
10. Charles Killian, James Anderson, Ranjit Jhala, and Amin Vahdat. Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code. In NSDI '07.
11. Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, and Zheng Zhang. D3S: Debugging Deployed Distributed Systems. In NSDI '08.
12. Xuezheng Liu, Wei Lin, Aimin Pan, and Zheng Zhang. WiDS Checker: Combating Bugs in Distributed Systems. In NSDI '07.
13. Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, and Ion Stoica. Implementing Declarative Overlays. In SOSP '05.
14. Om Malik. When the Cloud Fails: T-Mobile, Microsoft Lose Sidekick Customer Data. http://gigaom.com.
15. Lucas Mearian. Facebook temporarily loses more than 10% of photos in hard drive failure. www. computerworld.com.
16. John Oates. Bank fined 3 millions pound sterling for data loss, still not taking it seriously. www.theregister.co.uk/2009/07/22/fsa-hsbc-data-loss.
17. Xinming Ou, Sudhakar Govindavajhala, and Andrew W. Appel. MulVAL: A logic-based network security analyzer. In Usenix Security '05.
18. Atul Singh, Petros Maniatis, Timothy Roscoe, and Peter Druschel. Using Queries for Distributed Monitoring and Forensics. In EuroSys '06.
19. Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou. MODIST: Transparent Model Checking of Unmodified Distributed Systems. In NSDI '09.
20. Junfeng Yang, Can Sar, and Dawson Engler. EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. In OSDI '06.