Share this page
  • Share this page on Twitter Share this page on Facebook Share this page on Digg Share this page on Del.icio.us Read the Inside Microsoft Research blog
  • E-mail this page Print this page
  • RSS feeds
Home > People > Francesco Logozzo
Francesco Logozzo

Research Interests

My main research interest is the analysis, the optimization and the verification of object-oriented programs through abstract interpretation

I am working on the design and the development of a language agnostic abstract interpretation-based static contract analyzer and checker for .NET.

The static checker (cccheck) can be downloaded as part of the Code Contracts in DevLabs.

You can also try it online here

The paper describing the internals of the static checker is this one.

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

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

Upcoming Community Service

POPL'12, VMCAI'12, Bytecode'12, Tapas'11, Bytecode'11, SAS'10, TAPAS'10SAC-OOPS'10, Bytecode'10, WING'10

Recent Publications

    2012

    2011

    2010

    2009

    2008

    News

    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).