@inproceedings{necula02,
author={Necula, G.C. and McPeak, S. and Rahul, S.P. and Weimer, W.},
editor="R. Horspool",
title={CIL: Intermediate Language and tools for analysis and transformation of C programs},
booktitle={11th International Conference on Compiler Construction},
year={2002}
}
