"Access Control Explorer for Java (ACE4J)", NYU University, Nov 2007
"Improving Software Quality via IBM Rational Application Analysis
Framework", IBM Rational Software Development Conference, Orlando, June 2007
“Continuous code-quality assurance with SAFE”, Partial Evaluation and Program Manipulation, Charleston (SC), 2006