Dargent: A Silver Bullet for Verified Data Layout Refinement

Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah. Dargent: A Silver Bullet for Verified Data Layout Refinement. Proceedings of the ACM on Programming Languages, 7(POPL):1369-1395, January 2023. [doi]

Abstract

Abstract is missing.