2 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.PL2025
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…