Kaan Genç

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 7

Top Topics

Highly Efficient

Automatic Detection

Detection Algorithm

False Positives

Top Venues

Proc. ACM Program. Lang.

Publications

Jake Roemer, Kaan Genç, Michael D. Bond
SmartTrack: efficient predictive race detection. PLDI (2020)
Kaan Genç, Michael D. Bond, Guoqing Harry Xu
Crafty: efficient, HTM-compatible persistent transactions. PLDI (2020)
Kaan Genç, Michael D. Bond, Guoqing Harry Xu
Crafty: Efficient, HTM-Compatible Persistent Transactions. CoRR (2020)
Kaan Genç, Jake Roemer, Yufan Xu, Michael D. Bond
Dependence-Aware, Unbounded Sound Predictive Race Detection. CoRR (2019)
Jake Roemer, Kaan Genç, Michael D. Bond
Practical Predictive Race Detection. CoRR (2019)
Kaan Genç, Jake Roemer, Yufan Xu, Michael D. Bond
Dependence-aware, unbounded sound predictive race detection. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Jake Roemer, Kaan Genç, Michael D. Bond
High-coverage, unbounded sound predictive race detection. PLDI (2018)