PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors. - Ismail Kuru 001; Hassan Salehe Matar; Adrián Cristal; Gokcen Kestor; Osman S. Unsal (RV, 2012)

Verification Tools for Transactional Programs. - Adrián Cristal; Burcu Kulahcioglu Ozkan; Ernie Cohen; Gokcen Kestor; Ismail Kuru 001; Osman S. Unsal; Serdar Tasiran; Suha Orhun Mutluergil; Tayfun Elmas (Transactional Memory, 2015)

Safe Deferred Memory Reclamation with Types. - Ismail Kuru 001; Colin S. Gordon (ESOP, 2019)

Modal Abstractions for Virtualizing Memory Addresses. - Ismail Kuru 001; Colin S. Gordon (CoRR, 2023)

Modal Verification Patterns for Systems. - Ismail Kuru 001; Colin S. Gordon (CoRR, 2025)