Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ismail Kuru 0001

> Home > Persons

Person information

affiliation: Drexel University, Philadelphia, PA, USA
affiliation: Koç University, Dept. of Computer Engineering, İstanbul, Turkey

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-14471
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-14471
Ismail Kuru, Colin S. Gordon:
Modal Abstractions for Virtualizing Memory Addresses. CoRR abs/2307.14471 (2023)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/KuruG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KuruG19
Ismail Kuru, Colin S. Gordon:
Safe Deferred Memory Reclamation with Types. ESOP 2019: 88-116
2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1811-11853
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1811-11853
Ismail Kuru, Colin S. Gordon:
Safe Deferred Memory Reclamation with Types. CoRR abs/1811.11853 (2018)
2015
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/cost/CristalOCKKUTME15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cost/CristalOCKKUTME15
Adrián Cristal, Burcu Kulahcioglu Ozkan, Ernie Cohen, Gokcen Kestor, Ismail Kuru, Osman S. Unsal, Serdar Tasiran, Suha Orhun Mutluergil, Tayfun Elmas:
Verification Tools for Transactional Programs. Transactional Memory 2015: 283-306
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KuruMCKU12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KuruMCKU12
Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor, Osman S. Unsal:
PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors. RV 2012: 42-47

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.