Login / Signup
Ismail Kuru
ORCID
Publication Activity (10 Years)
Years Active: 2012-2023
Publications (10 Years): 3
Top Topics
Memory Space
Computing Power
Neural Network
Memory Requirements
Top Venues
CoRR
ESOP
</>
Publications
</>
Ismail Kuru
,
Colin S. Gordon
Modal Abstractions for Virtualizing Memory Addresses.
CoRR
(2023)
Ismail Kuru
,
Colin S. Gordon
Safe Deferred Memory Reclamation with Types.
ESOP
(2019)
Ismail Kuru
,
Colin S. Gordon
Safe Deferred Memory Reclamation with Types.
CoRR
(2018)
Ismail Kuru
,
Hassan Salehe Matar
,
Adrián Cristal
,
Gokcen Kestor
,
Osman S. Unsal
PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors.
RV
(2012)