DincklageD09'

@inproceedings{DBLP:conf/oopsla/DincklageD09,
  author    = {Daniel von Dincklage and
               Amer Diwan},
  title     = {Optimizing programs with intended semantics},
  booktitle = {OOPSLA},
  year      = {2009},
  pages     = {409-424},
  ee        = {http://doi.acm.org/10.1145/1640089.1640120},
  crossref  = {DBLP:conf/oopsla/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/oopsla/2009,
  editor    = {Shail Arora and
               Gary T. Leavens},
  title     = {Proceedings of the 24th Annual ACM SIGPLAN Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA},
  booktitle = {OOPSLA},
  publisher = {ACM},
  year      = {2009},
  isbn      = {978-1-60558-766-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}