Publications

Conference

Safe Deferred Memory Reclamation with Types
  • Ismail Kuru and Colin S. Gordon
  • European Symposium on Programming (ESOP)
  • April 2019
Paper

PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors
  • Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor, and Osman Unsal
  • International Runtime Verification Conference (RV)
  • Sep 2012
Paper(Springer)

Technical Reports

Safe Deferred Memory Reclamation with Types
  • Ismail Kuru and Colin S. Gordon
  • Technical Report
  • November 2018
ArXiv

Workshop

Verifying programs under snapshot isolation and similar relaxed consistency models
  • Ismail Kuru, Burcu Kulahcioglu Ozkan, Suha Orhun Mutluergil, Serdar Tasiran, Tayfun Elmas and Ernie Cohen
  • ACM SIGPLAN Workshop on Transactional Computing (TRANSACT)
  • March 2014
Paper

Accelerating precise race detection using commercially-available hardware transactional memory support
  • Hassan Salehe Matar, Ismail Kuru, Serdar Tasiran, and Roman Dementiev
  • Workshop on Determinism and Correctness in Parallel Programming (WoDet)
  • March 2014
Paper

Book Chapters

Verification Tools for Transactional Programs
  • Adrian Cristal, Burcu Kulahcioglu Ozkan, Ernie Cohen, Gokcen Kestor, Ismail Kuru, Osman Unsal, Serdar Tasiran, Suha Orhun Mutluergil, Tayfun Elmas
  • Transactional Memory. Foundations, Algorithms, Tools, and Applications
  • December 2014
Paper(Springer Link)

Thesis

Static Methods for Checking Correctness of Programs on Relaxed Memory Systems
  • Ismail Kuru
  • Thesis in Master in Computer Science, Koc University
  • March 2015
Thesis