Collaborated with:Jake Roemer M.D.Bond Yufan Xu
Talks about:unbound (2) predict (2) detect (2) sound (2) race (2) coverag (1) depend (1) high (1) awar (1)
Person: Kaan Genç
DBLP: Gen=ccedil=:Kaan
Contributed to:
2019
2018Wrote 2 papers:
- OOPSLA-2019-GencRXB #bound #concurrent #detection #predict
- Dependence-aware, unbounded sound predictive race detection (KG, JR, YX, MDB), p. 30.
- PLDI-2018-RoemerGB #bound #concurrent #detection #predict
- High-coverage, unbounded sound predictive race detection (JR, KG, MDB), pp. 374–389.