{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:56Z","timestamp":1772163956009,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,15]],"date-time":"2009-06-15T00:00:00Z","timestamp":1245024000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,6,15]]},"DOI":"10.1145\/1542476.1542506","type":"proceedings-article","created":{"date-parts":[[2009,6,16]],"date-time":"2009-06-16T09:34:36Z","timestamp":1245144876000},"page":"270-280","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":53,"title":["Error propagation analysis for file systems"],"prefix":"10.1145","author":[{"given":"Cindy","family":"Rubio-Gonz\u00e1lez","sequence":"first","affiliation":[{"name":"University of Wisconsin-Madison, Madison, WI, USA"}]},{"given":"Haryadi S.","family":"Gunawi","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, Madison, WI, USA"}]},{"given":"Ben","family":"Liblit","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, Madison, WI, USA"}]},{"given":"Remzi H.","family":"Arpaci-Dusseau","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, Madison, WI, USA"}]},{"given":"Andrea C.","family":"Arpaci-Dusseau","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, Madison, WI, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Workshop on Dependability Benchmarking","author":"Bigrigg M. W.","year":"2002","unstructured":"M. W. Bigrigg and J. J. Vos . The set-check-use methodology for detecting error propagation failures in I\/O routines . In Workshop on Dependability Benchmarking , Washington, DC , June 2002 . M. W. Bigrigg and J. J. Vos. The set-check-use methodology for detecting error propagation failures in I\/O routines. In Workshop on Dependability Benchmarking, Washington, DC, June 2002."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/224841.225047"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.53995"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/832311.837386"},{"key":"e_1_3_2_1_5_1","volume-title":"Nov.","author":"Dilger A.","year":"2008","unstructured":"A. Dilger . Error propagation bugs in ext4. Personal communication , Nov. 2008 . A. Dilger. Error propagation bugs in ext4. Personal communication, Nov. 2008."},{"key":"e_1_3_2_1_6_1","volume-title":"LCLint User's Guide","author":"Evans D.","year":"2000","unstructured":"D. Evans . LCLint User's Guide . University of Virginia , May 2000 . D. Evans. LCLint User's Guide. University of Virginia, May 2000."},{"key":"e_1_3_2_1_7_1","volume-title":"Apr.","author":"Flanagan C. A.","year":"2002","unstructured":"C. A. Flanagan and M. Burrows . System and method for dynamically detecting unchecked error condition values in computer programs. United States Patent #6,378,081 B1 , Apr. 2002 . C. A. Flanagan and M. Burrows. System and method for dynamically detecting unchecked error condition values in computer programs. United States Patent #6,378,081 B1, Apr. 2002."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/512976.512997"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/154183.154269"},{"key":"e_1_3_2_1_10_1","volume-title":"Jan.","author":"Groce A. D.","year":"2009","unstructured":"A. D. Groce . Problem solved. Personal communication , Jan. 2009 . A. D. Groce. Problem solved. Personal communication, Jan. 2009."},{"key":"e_1_3_2_1_11_1","volume-title":"6th USENIX Conference on File and Storage Technologies (FAST '08)","author":"Gunawi H. S.","year":"2008","unstructured":"H. S. Gunawi , C. Rubio-Gonz\u00e1lez , A. C. Arpaci-Dusseau , R. H. Arpaci-Dusseau , and B. Liblit . EIO: Error handling is occasionally correct . In 6th USENIX Conference on File and Storage Technologies (FAST '08) , San Jose, California , Feb. 2008 . H. S. Gunawi, C. Rubio-Gonz\u00e1lez, A. C. Arpaci-Dusseau, R. H. Arpaci-Dusseau, and B. Liblit. EIO: Error handling is occasionally correct. In 6th USENIX Conference on File and Storage Technologies (FAST '08), San Jose, California, Feb. 2008."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146268"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/647882.738068"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566184"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.1275294"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.2001.969769"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.45"},{"key":"e_1_3_2_1_18_1","unstructured":"N. Kidd T. Reps and A. Lal. WALi: A C++ library for weighted pushdown systems. http:\/\/www.cs.wisc.edu\/wpis\/wpds\/download.php 2008.  N. Kidd T. Reps and A. Lal. WALi: A C++ library for weighted pushdown systems. http:\/\/www.cs.wisc.edu\/wpis\/wpds\/download.php 2008."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_44"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"A.\n      Lal N.\n      Kidd T.W.\n      Reps and \n      T.\n      Touili\n  . \n  Abstract error projection\n  . In H. R. Nielson and G. Fil\u00e9 editors SAS volume \n  4634\n   of \n  Lecture Notes in Computer Science pages \n  200\n  --\n  217\n  . \n  Springer 2007\n  .   A. Lal N. Kidd T.W. Reps and T. Touili. Abstract error projection. In H. R. Nielson and G. Fil\u00e9 editors SAS volume 4634 of Lecture Notes in Computer Science pages 200--217. Springer 2007.","DOI":"10.1007\/978-3-540-74061-2_13"},{"key":"e_1_3_2_1_22_1","unstructured":"J. Lind-Nielsen. BuDDy -- A Binary Decision Diagram Package. http:\/\/sourceforge.net\/projects\/buddy 2004.  J. Lind-Nielsen. BuDDy -- A Binary Decision Diagram Package. http:\/\/sourceforge.net\/projects\/buddy 2004."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/154766.155367"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"G. C.\n      Necula S.\n      McPeak S. P.\n      Rahul and \n      W.\n      Weimer\n  . \n  CIL: Intermediate language and tools for analysis and transformation of C programs\n  . In R. N. Horspool editor CC volume \n  2304\n   of \n  Lecture Notes in Computer Science pages \n  213\n  --\n  228\n  . \n  Springer 2002\n  .   G. C. Necula S. McPeak S. P. Rahul and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In R. N. Horspool editor CC volume 2304 of Lecture Notes in Computer Science pages 213--228. Springer 2002.","DOI":"10.1007\/3-540-45937-5_16"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.009"},{"key":"e_1_3_2_1_26_1","volume-title":"Second International Conference on Innovative Views of .NET Technologies","author":"Sacramento P.","year":"2006","unstructured":"P. Sacramento , B. Cabral , and P. Marques . Unchecked exceptions: Can the programmer be trusted to document exceptions? In Second International Conference on Innovative Views of .NET Technologies , Florian\u00f3polis, Brazil , Oct. 2006 . Microsoft. P. Sacramento, B. Cabral, and P. Marques. Unchecked exceptions: Can the programmer be trusted to document exceptions? In Second International Conference on Innovative Views of .NET Technologies, Florian\u00f3polis, Brazil, Oct. 2006. Microsoft."},{"key":"e_1_3_2_1_27_1","volume-title":"Technical Univ. of Munich","author":"Schwoon S.","year":"2002","unstructured":"S. Schwoon . Model-Checking Pushdown Systems. PhD thesis , Technical Univ. of Munich , Munich, Germany , July 2002 . S. Schwoon. Model-Checking Pushdown Systems. PhD thesis, Technical Univ. of Munich, Munich, Germany, July 2002."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.2256"},{"key":"e_1_3_2_1_29_1","unstructured":"Sun Microsystems Inc. Unchecked exceptions -- the controversy. http:\/\/java.sun.com\/docs\/books\/tutorial\/essential\/exceptions\/runtime.html Aug. 2007.  Sun Microsystems Inc. Unchecked exceptions -- the controversy. http:\/\/java.sun.com\/docs\/books\/tutorial\/essential\/exceptions\/runtime.html Aug. 2007."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094847"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318659"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189256.1189259"}],"event":{"name":"PLDI '09: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Dublin Ireland","acronym":"PLDI '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542476.1542506","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1542476.1542506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:49Z","timestamp":1750238989000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542476.1542506"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,15]]},"references-count":31,"alternative-id":["10.1145\/1542476.1542506","10.1145\/1542476"],"URL":"https:\/\/doi.org\/10.1145\/1542476.1542506","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1543135.1542506","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,6,15]]},"assertion":[{"value":"2009-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}