Welcome!
News
The paper on the analysis of unsafe code in .NET is accepted (working on the final version...)
I've got a paper on the imprecision in static analyses induced by compilation: see it
I've got a paper on Pentagons accepted: see it
Current community service
I am in the program committees of VMCAI'09 and ACM SAC-OOPS'08.
Research Interests
My main research interest is the analysis and verification of object-oriented programs through abstract interpretation
At the moment, I am working on the design and the development of Clousot, a language agnostic abstract interpretation-based static analyzer for .NET.
Short bio
I am a researcher in the PLuM group. I joined Microsoft Research in October 2006.
I was a postdoctoral researcher in the abstract interpretation team at the Ecole Normale Superieure in Paris.
I have done my Ph.D. under the supervision of Dr. Radhia Cousot. The title of the thesis is Modular static analysis of object-oriented languages.
I am a former student of Scuola Normale Superiore of Pisa (Italy).