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
SPLASH 2020 Author of Reliable Stack Traces, the Reality of Myth within the REBASE-track
DLS 2020 Committee Member in Program Committee within the DLS 2020-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
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
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
DeepSpec 2018 Speaker of Debugging Debug Information and Beyond within the DeepSpec 2018-track
ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-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 2016 Committee Member in External Review Committee within the Research Track-track
ECOOP 2015 Author of Concrete Types for TypeScript within the Research Track-track
ESOP 2015 Committee Member in Program Committee within the ESOP-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