Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric. Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers. In Ahmed Bouajjani, Oded Maler, editors, Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings. Volume 5643 of Lecture Notes in Computer Science, pages 509-524, Springer, 2009. [doi]
Abstract is missing.