@article{Chen_LOKMJR_23,
    address          = {New York, NY, USA},
    articleno        = {47},
    author           = {Zilin Chen and Ambroise Lafont and Liam O’Connor and Gabriele Keller and Craig McLaughlin and
                        Vincent Jackson and Christine Rizkallah},
    doi              = {10.1145/3571240},
    journal          = {Proc. ACM Program. Lang.},
    month            = jan,
    number           = {POPL},
    numpages         = {27},
    paperurl         = {https://trustworthy.systems/publications/papers/Chen_LOKMJR_23.pdf},
    publisher        = {ACM},
    title            = {Dargent: A Silver Bullet for Verified Data Layout Refinement},
    url              = {https://doi.org/10.1145/3571240},
    volume           = {7},
    year             = {2023}
  }