Floorplan: spatial layout in memory management systems. - Karl Cronburg; Samuel Z. Guyer (GPCE, 2019)

Permchecker: a toolchain for debugging memory managers with typestate. - Karl Cronburg; Samuel Z. Guyer (Proc. ACM Program. Lang., 2021)