Andreas Pavlogiannis: Fast, sound, and effectively complete dynamic race prediction. (2020)journals/pacmpl/Pavlogiannis2010.1145/3371085Fast, sound, and effectively complete dynamic race prediction.1Andreas Pavlogiannis117:1-17:29Proc. ACM Program. Lang.Proc. ACM Program. Lang.4POPL2020provenance information for RDF data of dblp record 'journals/pacmpl/Pavlogiannis20'2021-02-17T08:54:05+0100