main.bib

@nproceedings{alive,
  author = {Lopes, Nuno P. and Lee, Juneyoung and Hur, Chung-Kil and Liu, Zhengyang and Regehr, John},
  title  = {{Alive2: bounded translation validation for LLVM}},
  year   = {2021},
  url    = {https://doi.org/10.1145/3437992.3439903},
  series = {PLDI}
}

@book{cpp20,
  author  = {{ISO}},
  title   = {{ISO\slash IEC 14882:2020 Information technology ---
             Programming languages --- C++}},
  edition = {Sixth},
  year    = {2020},
  url     = {https://www.iso.org/standard/79358.html}
}

@book{c99,
  author  = {{ISO}},
  title   = {{ISO\slash IEC 9899:1999
             Programming languages --- C}},
  edition = {Second},
  year    = {1999},
  url     = {https://www.iso.org/standard/29237.html}
}