"Automatic Generation of Pointer-Cognizant Data-Flow Analysis
Implementations" In the Eighth International Working Conference on Source
Code Analysis and Manipulation (SCAM
2008). [pdf]. Publication was nominated for best paper.
"May/Must Analysis and the DFAGen Data-flow Analysis Generator" In
Information and Software Technology. (2009),
doi:10.1016/j.infsof.2009.04.014 (link to journal)