From Low-Level Pointers to High-Level Containers.

Kamil Dudka, Luks Holk, Petr Peringer, Marek Trtk, Toms Vojnar

Browse the full VMCAI paper archive.