A system and language for building system-specific, static analyses (2002)

by Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler
Venue:In ACM SIGPLAN Conference on Programming Language Design and Implementation