@inproceedings{Shi_BH_13,
    address          = {Indianapolis, USA},
    author           = {Shi, Yao and Blackham, Bernard and Heiser, Gernot},
    booktitle        = {Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)},
    keywords         = {compiler_opt},
    month            = oct,
    pages            = {427--442},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7246.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/7246.pdf},
    title            = {Code Optimizations Using Formally Verified Properties},
    year             = {2013}
  }