@inproceedings{seyster10aspect,
author="Justin Seyster and Ketan Dixit and Xiaowan Huang and Radu Grosu and Klaus Havelund and Scott A. Smolka and Scott D. Stoller and Erez Zadok",
title="Aspect-Oriented Instrumentation with {GCC}",
month=nov,
year=2010,
booktitle="Proc.\ 1st International Conference on Runtime Verification",
series="Lecture Notes in Computer Science",
volume=6418,
pages="405-420",
publisher="Springer-Verlag",
}