My research focuses on hybrids between static and dynamic analyses that combine the best of both worlds. I apply these analyses to solve problems related to the safety and security of software.
My latest publications involve the following topics:
- Proving Security Properties of Services
- TamiFlex: Static Analysis for programs that use Reflection and Dynamic Class Loading
- Clara: My framework for partially evaluating runtime monitors ahead of time
- Closure Joinpoints for AspectJ
You can out find more about my past research here.