Error Propagation Analysis For File Systems
WI, USA Ben Liblit University of Wisconsin-Madison, Madison, WI, USA Remzi H. Arpaci-Dusseau University of Wisconsin-Madison, Madison, WI, USA Andrea C. Arpaci-Dusseau University of Wisconsin-Madison, Madison, WI, USA 2009 Article Bibliometrics ·Downloads (6 Weeks): 1 ·Downloads (12 Months): 30 ·Downloads (cumulative): 508 ·Citation Count: 18 Published in: ·Proceeding PLDI '09 Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation Pages 270-280 ACM New York, NY, USA ©2009 tableofcontents ISBN: 978-1-60558-392-1 doi>10.1145/1542476.1542506 ·Newsletter ACM SIGPLAN Notices - PLDI '09 Volume 44 Issue 6, June 2009 Pages 270-280 ACM New York, NY, USA tableofcontents doi>10.1145/1543135.1542506 Tools and Resources Buy this Article Recommend the ACM DLto your organization Request Permissions TOC Service: Email RSS Save to Binder Export Formats: BibTeX EndNote ACMRef Upcoming Conference: PLDI '17 Share: | Author Tags algorithms binary decision diagrams copy constant propagation empirical software validation error handling and recovery formal methods formal software verification interprocedural dataflow analysis languages process validation reliability reliability software reliability software verification and validation static program analysis validation verification weighted pushdown systems Contact Us | Switch to single page view (no tabs) **Javascript is not enabled and is required for the "tabbed view" or switch to the single page view** Powered by The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2016 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Reader QuickTime Windows Media Player Real Player Did you know the ACM DL App is now available? Did you know your Organization can subscribe to the ACM Digital Library? The ACM Guide to Computing Literature All Tags Export Formats Save to Binder
be down. Please try the request again. Your cache administrator is webmaster. Generated Thu, 13 Oct 2016 03:02:42 GMT by s_ac4 (squid/3.5.20)
be down. Please try the request again. Your cache administrator is webmaster. Generated Thu, 13 Oct 2016 03:02:42 GMT by s_ac4 (squid/3.5.20)