1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2025
Modal Verification Patterns for Systems Software
Ismail Kuru, Colin S. Gordon
Although they differ in the functionality they offer, low-level systems exhibit certain patterns of design and utilization of computing resources. In this paper, we argue the posit…
cs.PL2023
Modal Abstractions for Virtualizing Memory Addresses
Ismail Kuru, Colin S. Gordon
Operating system kernels employ virtual memory subsystems, which use a CPU's memory management units (MMUs) to virtualize the addresses of memory regions Operating systems manipula…
cs.PL2018★ 1 cited
Safe Deferred Memory Reclamation with Types
Ismail Kuru, Colin S. Gordon
Memory management in lock-free data structures remains a major challenge in concurrent programming. Design techniques including read-copy-update (RCU) and hazard pointers provide w…