DyC: An Expressive Annotation-Directed Dynamic Compiler for C

by Brian Grant , Markus Mock, Matthai Philipose, Craig Chambers, Susan J. Eggers