Automated data race detection from a distributed trace via SMT constraint solving
jcp19
Dynamic Analysis for Concurrent Programs
focs-lab