Towards Automatically Checking Thousands of Failures with Micro-specifications

Website Maintenance Alert

Due to scheduled maintenance, the USENIX website may not be available on Monday, March 17, from 10:00 am–6:00 pm Pacific Daylight Time (UTC -7). We apologize for the inconvenience and thank you for your patience.

If you would like to register for NSDI '25, SREcon25 Americas, or PEPR '25, please complete your registration before or after this time period.

Abstract: 
BibTeX
@inproceedings {267172,
author = {Haryadi S. Gunawi and Thanh Do and Pallavi Joshi and Joseph M. Hellerstein and Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau and Koushik Sen},
title = {Towards Automatically Checking Thousands of Failures with Micro-specifications},
booktitle = {Sixth Workshop on Hot Topics in System Dependability (HotDep 10)},
year = {2010},
address = {Vancouver, BC},
url = {https://www.usenix.org/conference/hotdep10/towards-automatically-checking-thousands-failures-micro-specifications},
publisher = {USENIX Association},
month = oct
}
Download

Links

Paper: 
http://www.usenix.org/events/hotdep10/tech/full_papers/Gunawi.pdf
Paper (HTML): 
Slides: 
http://www.usenix.org/events/hotdep10/tech/slides/gunawi.pdf