@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{Formal_SSA-AFP,
  author  = {Sebastian Ullrich and Denis Lohner},
  title   = {Verified Construction of Static Single Assignment Form},
  journal = {Archive of Formal Proofs},
  month   = feb,
  year    = 2016,
  note    = {\url{http://isa-afp.org/entries/Formal_SSA.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}
@article{cytron91,
 author = {Cytron, Ron and Ferrante, Jeanne and Rosen, Barry K. and Wegman, Mark N. and Zadeck, F. Kenneth},
 title = {Efficiently computing static single assignment form and the control dependence graph},
 journal = {ACM Transactions on Programming Languages and Systems},
 issue_date = {Oct. 1991},
 volume = {13},
 number = {4},
 month = oct,
 year = {1991},
 issn = {0164-0925},
 pages = {451--490},
 numpages = {40},
 url = {https://doi.org/10.1145/115372.115320},
 doi = {10.1145/115372.115320},
 acmid = {115320},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {control dependence, control flow graph, def-use chain, dominator, optimizing compilers},
}
@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},
}
