Kaan Genç

According to our database, Kaan Genç authored at least 5 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

SmartTrack: efficient predictive race detection.

Jake Roemer, Kaan Genç, Michael D. Bond

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Crafty: efficient, HTM-compatible persistent transactions.

Kaan Genç, Michael D. Bond, Guoqing Harry Xu

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Dependence-aware, unbounded sound predictive race detection.

Kaan Genç, Jake Roemer, Yufan Xu, Michael D. Bond

Proc. ACM Program. Lang., 2019

Practical Predictive Race Detection.

Jake Roemer, Kaan Genç, Michael D. Bond

CoRR, 2019

2018

High-coverage, unbounded sound predictive race detection.

Jake Roemer, Kaan Genç, Michael D. Bond

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018