Nikos Gorogiannis, Peter W. O'Hearn, Ilya Sergey
A true positives theorem for a static race detector
POPL, 2019.
@article{POPL-2019-GorogiannisOS,
author = "Nikos Gorogiannis and Peter W. O'Hearn and Ilya Sergey",
doi = "10.1145/3290370",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "29",
publisher = "{ACM}",
title = "{A true positives theorem for a static race detector}",
volume = 3,
year = 2019,
}