Francesco Zappa Nardelli

(how to spell my name)

Directeur de Recherche - Senior Researcher
Parkas project-team, INRIA Paris.

Associate Professor at École Polytechnique (part-time).

Département d'informatique
École normale supérieure
45, rue d'Ulm
F-75230 Paris Cedex 05
France

CV: long and short
E-mail: Francesco.Zappa_Nardelli (at) inria.fr
Phone: +33 (0)1 4432 2148

Research

Publications

Teaching

Software

Job openings

Trivia

What's new:

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.