Karl Cronburg

According to our database¹, Karl Cronburg authored at least 2 papers between 2019 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2021

Permchecker: a toolchain for debugging memory managers with typestate.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

2019

Floorplan: spatial layout in memory management systems.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019