Papers

Alastair F. Donaldson, Leopold Haller, Daniel Kroening. Strengthening Induction-Based Race Checking with Lightweight Static Analysis. In Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'11), Lecture Notes in Computer Science 6538, pages 169-183. Springer, 2011.

Bibtex:

@inproceedings{DonaldsonHK_VMCAI2011,
   title      = {Strengthening Induction-Based Race Checking with
                 Lightweight Static Analysis},
   author     = {Alastair F. Donaldson and Leopold Haller and
                 Daniel Kroening},
   booktitle  = {Proceedings of the 12th International Conference
                 on Verification, Model Checking, and Abstract
                 Interpretation (VMCAI'11)},
   series     = {Lecture Notes in Computer Science},
   volume     = {6538},
   pages      = {169-183},
   publisher  = {Springer},
   year       = {2011}
}