@InProceedings{veanes-popl12,
  title =        "Symbolic Finite State Transducers: Algorithms and
                 Applications",
  author =       "Margus Veanes and Pieter Hooimeijer and Benjamin
                 Livshits and David Molnar and Nikolaj Bjorner",
  year =         "2012",
  month =        jan,
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages {(POPL)}",
}