@inproceedings{GYF:PEPM06,
 author = {Emmanuel Geay and Eran Yahav and Stephen Fink},
 title = {Continuous code-quality assurance with SAFE},
 booktitle = {PEPM '06: Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation},
 year = {2006},
 isbn = {1-59593-196-1},
 pages = {145--149},
 location = {Charleston, South Carolina},
 doi = {http://doi.acm.org/10.1145/1111542.1111567},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }