@misc{indiciae1c3395aff77a,
  title = {Modularity, Code Specialization, and Zero-Cost Abstractions for Program Verification},
  author = {Son Ho and Aymeric Fromherz and Jonathan Protzenko},
  year = {2023},
  url = {https://arxiv.org/abs/2102.01644},
  note = {Source identifier: 2102.01644}
}