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
Some news:
Member of the POPL'23 PC.
Applying Formal Verification to Microkernel IPC at Meta
, in CPP'22.
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.