Francesco Zappa Nardelli -

Registered user since Mon 29 Nov 2021

Name:Francesco Zappa Nardelli

Country:France

Affiliation:Meta

Personal website:https://fzn.fr

Research interests:Programming languages, Operating Systems, Concurrency

Contributions

POPL 2023	Committee Member in Program Committee within the POPL-track
CPP 2022	Author of Applying Formal Verification to Microkernel IPC at Meta within the CPP 2022-track
DLS 2020	Committee Member in Program Committee within the DLS 2020-track
SPLASH 2020	Author of Reliable Stack Traces, the Reality of Myth within the REBASE-track
WGT 2020	Committee Member in Program Committee within the WGT-track
SPLASH 2019	Author of Reliable and Fast DWARF-based Unwinding within the OOPSLA Artifacts-track Author of Reliable and Fast DWARF-Based Stack Unwinding within the OOPSLA-track 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 Artifacts-track Author of Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples within the 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 2018	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