@inproceedings{braun13cc,
  title = {Simple and Efficient Construction of Static Single Assignment Form},
  booktitle = {Compiler Construction},
  year = {2013},
  publisher = {Springer Berlin Heidelberg},
  volume = {7791},
  pages = {102--122},
  author = {Matthias Braun and Sebastian Buchwald and Sebastian Hack and Roland Lei{\ss}a and Christoph Mallon and Andreas Zwinkau},
  editor = {Jhala, Ranjit and Bosschere, Koen},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-642-37051-9_6},
}
@article{barthe14,
	author = {Barthe, Gilles and Demange, Delphine and Pichardie, David},
	title = {Formal Verification of an {SSA}-Based Middle-End for {CompCert}},
	journal = {ACM Trans. Program. Lang. Syst.},
	volume = {36},
	number = {1},
	month = mar,
	year = {2014},
	issn = {0164-0925},
	pages = {4:1--4:35},
	url = {https://doi.org/10.1145/2579080},
	publisher = {ACM},
	address = {New York, NY, USA},
	keywords = {Single static assignment, compiler verification, mechanized proof},
}
