Items where Author / Artist / Editor is "Sergey, Ilya"
 | See full list of headings |
Article
Blackshear, Sam, Gorogiannis, Nikos 
ORCID: https://orcid.org/0000-0001-8660-6609, O'Hearn, Peter and Sergey, Ilya
(2018)
RacerD: compositional static race detection.
Proceedings of the ACM on Programming Languages, 2
(OOPSLA)
, 144.
144:1-144:28.
ISSN 2475-1421
[Article]
(doi:10.1145/3276514)
Conference or Workshop Item
Gkorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, O'Hearn, Peter W. and Sergey, Ilya
(2019)
A true positives theorem for a static race detector.
Proceedings of the ACM on Programming Languages, Volume 3 Issue POPL.
In: POPL 2019, 12-19 Jan 2019, Cascais, Portugal.
.
ISSN 2475-1421
[Conference or Workshop Item]
(doi:10.1145/3290370)
