George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In R. Nigel Horspool, editor, Compiler Construction, 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Volume 2304 of Lecture Notes in Computer Science, pages 213-228, Springer, 2002. [doi]
Abstract is missing.