Browse by Journal

B

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)

Blanchette, Jasmin Christian, Gheri, Lorenzo, Popescu, Andrei and Traytel, Dmitriy (2019) Bindings as bounded natural functors. Proceedings of the ACM on Programming Languages, Volume 3 Issue POPL. In: 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 13-19 Jan 2019, Hotel Cascais Miragem, Cascais, Portugal. . ISSN 2475-1421 [Conference or Workshop Item] (doi:10.1145/3290335)

G

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)

K

Kunčar, Ondřej and Popescu, Andrei (2018) Safety and conservativity of definitions in HOL and Isabelle/HOL. Proceedings of the ACM on Programming Languages, 2 , 24. pp. 1-26. ISSN 2475-1421 [Article] (doi:10.1145/3158112)