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