Francesco Zappa Nardelli

(how to spell my name)

Research Scientist at FLaRe, Meta

Associate Professor at École Polytechnique (part-time)

(On leave from Inria Paris)

Meta (Facebook)
6, rue Ménars
75002, Paris
France

CV: long and short
E-mail: fzn (at) free (dot) fr

Research

Publications

Teaching

Software

Trivia

What's new:

Applying Formal Verification to Microkernel IPC at Meta, draft, 2021.
Fast and Reliable DWARF Stack Unwinding, in OOPSLA'19.
On Julia's efficient algorithm for subtyping unions and covariant tuples, in ECOOP'19.
Julia Subtyping: a Rational Reconstruction, in OOPSLA'18.
Member of the OOPSLA'19 PC.
A Framework for Object-Oriented Gradual Typing, in ECOOP'18.
Subtyping made simple: a talk at JuliaCon'18.
Invited speaker at the DeepSpec workshop, June 2018.
Invited speaker at the ENTROPY workshop, Jan. 2018.