Folgen
Ismail Kuru
Ismail Kuru
Bestätigte E-Mail-Adresse bei drexel.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Accelerating precise race detection using commercially-available hardware transactional memory support
HS Matar, I Kuru, S Tasiran, R Dementiev
Workshop on Determinism and Correctness in Parallel Programming, 2014
172014
Verifying programs under snapshot isolation and similar relaxed consistency models
I Kuru, BK Ozkan, SO Mutluergil, S Tasiran, T Elmas, E Cohen
9th ACM SIGPLAN Workshop on Transactional Computing, 2014
92014
Parv: Parallelizing runtime detection and prevention of concurrency errors
I Kuru, HS Matar, A Cristal, G Kestor, O Unsal
International Conference on Runtime Verification, 42-47, 2012
52012
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, 283-306, 2015
32015
Safe Deferred Memory Reclamation with Types
I Kuru, CS Gordon
European Symposium on Programming, 88-116, 2019
22019
Static Methods for Checking Correctness of Programs on Relaxed Memory Systems
İ Kuru
Koç University, 2015
2015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6