Ismail Kuru | TU Delft Repository

IK

Ismail Kuru

Book chapter (1)

Conference paper (1)

2 records found

1

Verification Tools for Transactional Programs

Book chapter (2015) - Adrian Cristal (author), Burcu Kulahcioglu Ozkan (author), Ernie Cohen (author), Gokcen Kestor (author), Ismail Kuru (author), Osman S. Unsal (author), Serdar Tasiran (author), Suha Orhun Mutluergil (author), Tayfun Elmas (author)

Verifying programs under snapshot isolation and similar relaxed consistency models

Conference paper (2014) - Ismail Kuru (author), Burcu Kulahcioglu Ozkan (author), Suha Orhun Mutluergil (author), Serdar Tasiran (author), Tayfun Elmas (author), Ernie Cohen (author)