@misc{indiciae1b6c8fab94ad,
  title = {Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version)},
  author = {Travis Hance and Jon Howell and Oded Padon and Bryan Parno},
  year = {2023},
  url = {https://arxiv.org/abs/2309.04851},
  note = {Source identifier: 2309.04851}
}