‪Ismail Kuru‬ - ‪Google Scholar‬

Mijn eigen profiel maken

Geciteerd door

	Alles	Sinds 2019
Citaties	38	7
h-index	3	2
i10-index	2	0

0

10

5

201320142015201620172018201920202021202220231 1 9 7 7 6 1 1 4 1

Ismail Kuru

Ismail Kuru

Drexel University

Geverifieerd e-mailadres voor drexel.edu - Homepage

Programming Languages Software Verification Concurrency


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	16	2014
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	10	2014
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
Safe Deferred Memory Reclamation with Types I Kuru, CS Gordon Programming Languages and Systems: 28th European Symposium on Programming …, 2019	3	2019
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
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–7