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 2019Committee Member in Review Committee within the OOPSLA-track
ECOOP 2019Author 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 2018Speaker of Debugging Debug Information and Beyond within the DeepSpec 2018-track
SPLASH 2018Author 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 2017Author of Partially Redundant Fence Elimination for x86, ARM, and Power Processors within the Research Papers-track
POPL 2017Committee Member in Program Committee within the POPL-track
ECOOP 2018Author of KafKa: Gradual Typing for Objects within the ECOOP Research Papers-track
ECOOP and ISSTACommittee Member in Posters Committee within the Posters-track
ECOOP 2017Committee Member in Program Committee within the ECOOP Research Papers-track
ECOOP 2016Committee Member in External Review Committee within the Research Track-track
ESOP 2015Committee Member in Program Committee within the ESOP-track
ECOOP 2015Author of Concrete Types for TypeScript within the Research Track-track
SPLASH 2014Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2013Author of Flexible Access Control for Javascript within the OOPSLA-track