@inproceedings{Zhao_2012,
    doi = {10.1145/2103656.2103709},
    url = {https://doi.org/10.1145%2F2103656.2103709},
    year = {2012},
    month = {jan},
    publisher = {{ACM}},
    author = {Jianzhou Zhao and Santosh Nagarakatte and Milo M.K. Martin and Steve Zdancewic},
    title = {Formalizing the {LLVM} intermediate representation for verified program transformations},
    booktitle = {Proceedings of the 39th annual {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages}
}

@inproceedings{Zhao_2012, doi = {10.1145/2103656.2103709}, url = {https://doi.org/10.1145%2F2103656.2103709}, year = {2012}, month = {jan}, publisher = {{ACM}}, author = {Jianzhou Zhao and Santosh Nagarakatte and Milo M.K. Martin and Steve Zdancewic}, title = {Formalizing the {LLVM} intermediate representation for verified program transformations}, booktitle = {Proceedings of the 39th annual {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages} }