@inproceedings{DBLP:conf/hotdep/GunawiDJHAAS10,
  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    = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
                  HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
  year         = {2010},
  crossref     = {DBLP:conf/hotdep/2010},
  url          = {https://www.usenix.org/conference/hotdep10/towards-automatically-checking-thousands-failures-micro-specifications},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotdep/GunawiDJHAAS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"m5h9mQN3zRBEhLCRn","bibbaseid":"gunawi-do-joshi-hellerstein-arpacidusseau-arpacidusseau-sen-towardsautomaticallycheckingthousandsoffailureswithmicrospecifications-2010","author_short":["Gunawi, H. S.","Do, T.","Joshi, P.","Hellerstein, J. M.","Arpaci-Dusseau, A. C.","Arpaci-Dusseau, R. H.","Sen, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Haryadi","S."],"propositions":[],"lastnames":["Gunawi"],"suffixes":[]},{"firstnames":["Thanh"],"propositions":[],"lastnames":["Do"],"suffixes":[]},{"firstnames":["Pallavi"],"propositions":[],"lastnames":["Joshi"],"suffixes":[]},{"firstnames":["Joseph","M."],"propositions":[],"lastnames":["Hellerstein"],"suffixes":[]},{"firstnames":["Andrea","C."],"propositions":[],"lastnames":["Arpaci-Dusseau"],"suffixes":[]},{"firstnames":["Remzi","H."],"propositions":[],"lastnames":["Arpaci-Dusseau"],"suffixes":[]},{"firstnames":["Koushik"],"propositions":[],"lastnames":["Sen"],"suffixes":[]}],"title":"Towards Automatically Checking Thousands of Failures with Micro-specifications","booktitle":"Proceedings of the Sixth Workshop on Hot Topics in System Dependability, HotDep 2010, Vancouver, BC, Canada, October 3, 2010","year":"2010","crossref":"DBLP:conf/hotdep/2010","url":"https://www.usenix.org/conference/hotdep10/towards-automatically-checking-thousands-failures-micro-specifications","timestamp":"Tue, 02 Feb 2021 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/hotdep/GunawiDJHAAS10.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/hotdep/GunawiDJHAAS10,\n author = {Haryadi S. Gunawi and\n Thanh Do and\n Pallavi Joshi and\n Joseph M. Hellerstein and\n Andrea C. Arpaci{-}Dusseau and\n Remzi H. Arpaci{-}Dusseau and\n Koushik Sen},\n title = {Towards Automatically Checking Thousands of Failures with Micro-specifications},\n booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,\n HotDep 2010, Vancouver, BC, Canada, October 3, 2010},\n year = {2010},\n crossref = {DBLP:conf/hotdep/2010},\n url = {https://www.usenix.org/conference/hotdep10/towards-automatically-checking-thousands-failures-micro-specifications},\n timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/hotdep/GunawiDJHAAS10.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Gunawi, H. S.","Do, T.","Joshi, P.","Hellerstein, J. M.","Arpaci-Dusseau, A. C.","Arpaci-Dusseau, R. H.","Sen, K."],"key":"DBLP:conf/hotdep/GunawiDJHAAS10","id":"DBLP:conf/hotdep/GunawiDJHAAS10","bibbaseid":"gunawi-do-joshi-hellerstein-arpacidusseau-arpacidusseau-sen-towardsautomaticallycheckingthousandsoffailureswithmicrospecifications-2010","role":"author","urls":{"Paper":"https://www.usenix.org/conference/hotdep10/towards-automatically-checking-thousands-failures-micro-specifications"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/h/Hellerstein:Joseph_M=","dataSources":["3SG8d6TqWdLKqttYB"],"keywords":[],"search_terms":["towards","automatically","checking","thousands","failures","micro","specifications","gunawi","do","joshi","hellerstein","arpaci-dusseau","arpaci-dusseau","sen"],"title":"Towards Automatically Checking Thousands of Failures with Micro-specifications","year":2010}