% The main publication - which is most likely the one you'll want to cite
@article{10.1145/3656392,
  author = {Lesbre, Dorian and Lemerre, Matthieu},
  title = {Compiling with Abstract Interpretation},
  year = {2024},
  series = {PLDI 2024},
  month = {6},
  doi = {10.1145/3656392},
  articleno = {162},
  numpages = {25},
  issn = {2475-1421},
  journal = {PACMPL},
  volume = {8},
  number = {PLDI},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  keywords = {Compilers, Abstract Interpretation, Static Single Assignment, SSA},
}

% The extended version - includes appendices and proofs
@techreport{hal-04535159,
  author = {Lesbre, Dorian and Lemerre, Matthieu},
  title = {Compiling with Abstract Interpretation (with appendices)},
  year = {2024},
  url = {https://hal.science/hal-04535159},
}

% The associated software artifact
@misc{10.5281/zenodo.10895582,
  author = {Dorian Lesbre and Matthieu Lemerre},
  title = {Compiling with Abstract Interpretation: Artifact},
  year = 2024,
  doi = {10.5281/zenodo.10895582},
}