11 citations · 19 across the 8 of their papers we have counts for
Showing 2023 · cs.PLShow all
2 papers · 2 filters
cs.PL2023★ 1 cited
Error Localization for Sequential Effect Systems (Extended Version)
Colin S. Gordon, Chaewon Yun
We describe a new concrete approach to giving predictable error locations for sequential (flow-sensitive) effect systems. Prior implementations of sequential effect systems rely on…
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…