Parv: Parallelizing runtime detection and prevention of concurrency errors I Kuru, HS Matar, A Cristal, G Kestor, O Unsal Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013 | 6 | 2013 |
Verification tools for transactional programs A Cristal, BK Ozkan, E Cohen, G Kestor, I Kuru, O Unsal, S Tasiran, ... Transactional Memory. Foundations, Algorithms, Tools, and Applications: COST …, 2015 | 3 | 2015 |