Share this page
Share this page E-mail this page Print this page RSS feeds
Home > People > Francesco Logozzo
Francesco Logozzo

RESEARCHER
.

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 Clousot, a language agnostic abstract interpretation-based static analyzer for .NET.

Clousot can now be downloaded as part of the Code Contracts in DevLabs

Upcoming Community Service

SAS'10, TAPAS'10SAC-OOPS'10, Bytecode'10, WING'10

Recent Publications

    2010

    • Mike Barnett, Manuel Fahndrich, and Francesco Logozzo, Embedded Contract Languages, in ACM SAC - OOPS, Association for Computing Machinery, Inc., March 2010

    2009

    2008

    2007

    News

    • I am giving an invited talk at the ES_PASS workshop in Madrid
    • 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 efficient static 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

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