关注
Ismail Kuru
Ismail Kuru
在 drexel.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
162014
Verifying programs under snapshot isolation and similar relaxed consistency models
I Kuru, BK Ozkan, SO Mutluergil, S Tasiran, T Elmas, E Cohen
Proceedings of the 9th ACM SIGPLAN Workshop on Transactional Computing …, 2014
102014
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
62013
Safe Deferred Memory Reclamation with Types
I Kuru, CS Gordon
Programming Languages and Systems: 28th European Symposium on Programming …, 2019
32019
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
32015
Modal Abstractions for Virtualizing Memory Addresses
I Kuru, CS Gordon
arXiv preprint arXiv:2307.14471, 2023
2023
Gevşetilmiş bellek modelleri üstünde çalışan proğramlarin doğruluğunun kontrolu için durağan yöntemler
İ Kuru
Fen Bilimleri Enstitüsü, 0
系统目前无法执行此操作,请稍后再试。
文章 1–7