High-coverage, unbounded sound predictive race detection. - Jake Roemer; Kaan Genç; Michael D. Bond (PLDI, 2018)

Practical Predictive Race Detection. - Jake Roemer; Kaan Genç; Michael D. Bond (CoRR, 2019)

Dependence-aware, unbounded sound predictive race detection. - Kaan Genç; Jake Roemer; Yufan Xu; Michael D. Bond (Proc. ACM Program. Lang., 2019)

Crafty: efficient, HTM-compatible persistent transactions. - Kaan Genç; Michael D. Bond; Guoqing Harry Xu (PLDI, 2020)

SmartTrack: efficient predictive race detection. - Jake Roemer; Kaan Genç; Michael D. Bond (PLDI, 2020)