@incollection{xu:serializability-violation-detector:pldi:2005,
  author	= {Xu, Min and Bodik, Rastislav and Hill, Mark D.},
  title		= {A Serializability Violation Detector for Shared-Memory Server Programs},
  booktitle	= {Proceedings of the SIGPLAN 2005 Conference on Programming Language Design and Implementation},
  pages		= {1--14},
  month		= {Jun},
  year		= {2005},
  urlpage	= {http://www.cs.wisc.edu/multifacet/papers/by_year.html#year2005},
  pdf		= {http://www.cs.wisc.edu/multifacet/papers/pldi05_serializability_violation_detector.pdf}
}