Welcome!
News
The paper on Subpolyhedra (an efficient numerical abstract domain to infer linear inequalities) has been accepted for VMCAI'09: read it
The Subpolyhedra library can be download here
The paper on the analysis of unsafe code in .NET is accepted for OOPSLA'08: read it
I've got a paper on the imprecision in static analyses induced by compilation accepted at CC'09: read it
I've got a paper on Pentagons accepted: read it
Current community service
I am in the program committees of VMCAI'09 and ACM SAC-OOPS'08 and Bytecode'09 and WING'09.
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.
Clousot can now be downloaded as part of the Managed Contracts tools
Short bio
I am a researcher in the PLA 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).