@InProceedings{Bodden:2007:SSP,
  editor =       "Erik Ernst",
  booktitle =    "ECOOP 2007 -- Object-Oriented Programming",
  publisher =    "Springer",
  location =     "Heidelberg",
  series =       "LNCS",
  volume =       "4609",
  year =         "2007",
  ISBN =         "978-3-540-73588-5",
  author =       "Eric Bodden and Laurie Hendren and Ond\v{r}ej Lhot\'{a}k",
  title =        "A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring",
  pages =        "525--549",
}