Publications
2008. Modular Information Hiding and Type-Safe Linking for C. IEEE Transactions on Software Engineering. 34(3):357-376.
1997. MDL: a language and compiler for dynamic program instrumentation. , 1997 International Conference on Parallel Architectures and Compilation Techniques., 1997. Proceedings. :201-212.