Debugging Memory Managers with Typestate (PhD Defense)
PhD defense: a typestate-based permission system for formally specifying and verifying the correctness of garbage collectors on the JVM. Covers the full arc from formal model to working implementation.
Debugging Memory Managers with Typestate (Defense Practice)
Defense practice run from July 25, 2021: formal methods for debugging garbage collectors using typestate and permission types.
Permchecker: Memory Debugging with Permissions
A talk on Permchecker: detecting memory manager bugs using typestate and permission types on the JVM.
Tree time-lapse
Time-lapse of a tree being cut down from the top, branch by branch.
Floorplan: Spatial Layout in Memory Management Systems
Floorplan is a domain-specific language for making the spatial layout of a memory manager's heap explicit — turning implicit layout assumptions into checkable specifications. GPCE 2019.
Loading…
—
