@inproceedings{preda07semantics,
 author = {Mila Dalla Preda and Mihai Christodorescu and Somesh Jha and Saumya Debray},
 title = {A semantics-based approach to malware detection},
 booktitle = {POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {2007},
 isbn = {1-59593-575-4},
 pages = {377--388},
 location = {Nice, France},
 doi = {http://doi.acm.org/10.1145/1190216.1190270},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 cache="preda07semantics.pdf",
 }