@inproceedings{10.1007/978-3-030-94583-1_11,
  title = {Lightweight Shape Analysis Based on Physical Types},
  author = {Nicole, Olivier and Lemerre, Matthieu and Rival, Xavier},
  booktitle = {International Conference on Verification, Model Checking, and
               Abstract Interpretation},
  pages = {219--241},
  year = {2022},
  organization = {Springer},
  doi = {10.1007/978-3-030-94583-1_11},
  series = {VCMAI 2022},
}