@inproceedings{vonpraun:modeling:ppopp:2008,
  author	= {{{von Praun}}, Christoph and Bordawekar, Rajesh and Cascaval, Calin},
  title		= {Modeling optimistic concurrency using quantitative dependence analysis},
  booktitle	= {PPoPP~'08: Proc. 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming},
  urlpage	= {http://dx.doi.org/10.1145/1345206.1345234},
  pages		= {185--196},
  year		= {2008},
  month		= {feb},
}