@article{5183,
  author       = {{Bodden, Eric and Lam, Patrick and Hendren, Laurie}},
  issn         = {{0164-0925}},
  journal      = {{ACM Transactions on Programming Languages and Systems}},
  number       = {{2}},
  pages        = {{1--52}},
  publisher    = {{Association for Computing Machinery (ACM)}},
  title        = {{{Partially Evaluating Finite-State Runtime Monitors Ahead of Time}}},
  doi          = {{10.1145/2220365.2220366}},
  volume       = {{34}},
  year         = {{2012}},
}