Final version of my CAV 2009 paper is out

I posted the final version of my CAV 2009 paper "Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers" on my homepage. Check it out!
And comments and/or questions are always appreciated.