Francesco Zappa Nardelli -

Registered user since Sun 22 Feb 2015

Name: Francesco Zappa Nardelli

Country: France

Affiliation: Inria

Personal website: http://www.di.ens.fr/~zappa

Research interests: Programming languages, Operating Systems, Concurrency

Contributions

SPLASH 2019	Committee Member in Review Committee within the OOPSLA-track
ECOOP 2019	Author of On Julia’s efficient algorithm for subtyping union types and covariant tuples within the ECOOP Artifacts-track Author of On Julia’s efficient algorithm for subtyping union types and covariant tuples within the ECOOP Research Papers-track
DeepSpec 2018	Speaker of Debugging Debug Information and Beyond within the DeepSpec 2018-track
SPLASH 2018	Author of Julia Subtyping: a Rational Reconstruction within the OOPSLA-track Committee Member in Mentors within the Breakfasts-track Author of Julia Subtyping: a Rational Reconstruction within the Artifacts-track
CC 2017	Author of Partially Redundant Fence Elimination for x86, ARM, and Power Processors within the Research Papers-track
POPL 2017	Committee Member in Program Committee within the POPL-track
ECOOP 2018	Author of KafKa: Gradual Typing for Objects within the ECOOP Research Papers-track
ECOOP and ISSTA	Committee Member in Posters Committee within the Posters-track
ECOOP 2017	Committee Member in Program Committee within the ECOOP Research Papers-track
ECOOP 2016	Committee Member in External Review Committee within the Research Track-track
ESOP 2015	Committee Member in Program Committee within the ESOP-track
ECOOP 2015	Author of Concrete Types for TypeScript within the Research Track-track
SPLASH 2014	Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2013	Author of Flexible Access Control for Javascript within the OOPSLA-track