@InProceedings{Rubio-Gonzalez:2009:EPAFS,
  author =	 {Cindy Rubio-Gonz\'alez and Haryadi S. Gunawi and Ben
                  Liblit and Remzi H. Arpaci-Dusseau and Andrea
                  C. Arpaci-Dusseau},
  title =	 {Error Propagation Analysis for File Systems},
  crossref =	 {PLDI09},
  source =
                  {\url{http://pages.cs.wisc.edu/~liblit/pldi-2009-a/pldi-2009-a.bib}}
}

@Proceedings{PLDI09,
  title =	 {Proceedings of the ACM SIGPLAN 2009 Conference on
                  Programming Language Design and Implementation},
  booktitle =	 {Proceedings of the ACM SIGPLAN 2009 Conference on
                  Programming Language Design and Implementation},
  year =	 2009,
  address =	 {Dublin, Ireland},
  month =	 jun # { 15--20},
  key =		 {ACM},
  c-organization ={ACM},
}