Francesco Logozzo

Research Interests

My main research goal is Usable Program Verification. Usable verification consists of effective verification tools and specification languages which help the programmer to produce more reliable code. An usable verification tool provides feedback in the early stages of the program development. It is precise (few false alarms), automatic,  user-oriented, and scalable. It helps the programmer, instead of being helped by her!

I think abstract interpretation is the right approach towards usable verification, and I co-authored several static analysis tools based on abstract interpretation. The latest one is the popular CodeContracts static checker (cccheck) that can be downloaded as part of the Code Contracts from the Visual Studio Gallery.

You can try it online here or just watch a 2 minutes video here.

The research paper describing the internals of the static checker is this one. A more informal introduction, with some trick to get the best out of it is here.

Watch the video at Channel9 (Adesso anche in italiano: Parte 1, Parte 2)

Finally, I have a blog on static analysis, abstract interpretation, and CodeContracts.

I also have fun analyzing dynamic languages, namely Javascript (More info)

Upcoming Community Service

ECOOP'15, VMCAI'15, SAS'14, VSTTE'14, HOPA'14SIGDAda HILT'13, SAS'13 (co-chair), OOPSLA'13 (Student Travel chair and Student Competition judging committee), POPL'13, Bytecode'13VMCAI'12, Bytecode'12, Tapas'11 (co-chair), Bytecode'11, SAS'10, TAPAS'10SAC-OOPS'10, Bytecode'10, WING'10, ... Bytecode'08 (chair), VMCAI'08 (co-chair) ...

Recent Publications

    2015

    • Roberto Giacobazzi, Francesco Logozzo, and Francesco Ranzato, Analyzing Program Analyses, in Proceedings of the 42nd Symposium on Programming Languages (POPL'15), ACM – Association for Computing Machinery, January 2015

    2014

    2013

    2012

    2011

    2010

    2009

    2008

    News

    Short Bio

    • I am a researcher in the RiSE 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).