All Stories

  1. Crafty: efficient, HTM-compatible persistent transactions

    Article • June 2020, ACM (Association for Computing Machinery)

    Kaan Genç, Harry Xu

  2. SmartTrack: efficient predictive race detection

    Article • June 2020, ACM (Association for Computing Machinery)

    Kaan Genç

  3. Dependence-aware, unbounded sound predictive race detection

    Article • Proceedings of the ACM on Programming Languages, October 2019, ACM (Association for Computing Machinery)

    Kaan Genç

  4. High-coverage, unbounded sound predictive race detection

    Article • ACM SIGPLAN Notices, June 2018, ACM (Association for Computing Machinery)

    Kaan Genç

  5. High-coverage, unbounded sound predictive race detection

    Article • June 2018, ACM (Association for Computing Machinery)

    Kaan Genç