@inproceedings{cav2009-lqr,
  author = {Shuvendu K. Lahiri and Shaz Qadeer and
    Zvonimir Rakamari\'c},
  title = {Static and Precise Detection of Concurrency Errors in
    Systems Code Using {SMT} Solvers},
  booktitle = {Proceedings of the 21st International Conference on
    Computer Aided Verification (CAV 2009)},
  series = {Lecture Notes in Computer Science},
  volume = {5643},
  publisher = {Springer},
  editor = {Ahmed Bouajjani and Oded Maler},
  year = {2009},
  pages = {509--524},
}