@INPROCEEDINGS{callanan06compiler,
  AUTHOR =       "S. Callanan and R. Grosu and X. Huang and S. A. Smolka and E. Zadok",
  TITLE =        "{Compiler-Assisted Software Verification Using Plug-Ins}",
  BOOKTITLE =    "{Proceedings of the 2006 NSF Next Generation Software Workshop, in conjunction with the 2006 International Parallel and Distributed Processing Symposium (IPDPS 2006)}",
  YEAR =         "2006",
  MONTH =        "April",
  ADDRESS =      "Rhodes Island, Greece",
  NOTE =         "DOI 10.1109/IPDPS.2006.1639579",
}