jcp19/SPIDER

Automated data race detection from a distributed trace via SMT constraint solving

1 best points · 0 comments · 1 Hacker News post · 18 GitHub stars · View on GitHub

Hacker News discussions

• Automated data race detection from distributed traces via SMT constraint solving (1 points, 0 comments, by jcp19, 2020-01-29)