Elena Zucca

Registered user since Thu 22 Mar 2018

Name:Elena Zucca
Affiliation:University of Genova

Contributions

ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
FTfJP 2021 Committee Member in Program Committee within the FTfJP-track
GPCE 2021 Committee Member in Program Committee within the GPCE-track
SPLASH 2021 Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2010
FTfJP 2020 Author of An inductive abstract semantics for coFJ within the FTfJP-track
Programme Committee in Program Committee within the FTfJP-track
ECOOP 2021 Author of Lambda-based object-oriented programming within the ECOOP Technical Papers-track
PC Member in Program Committee within the ECOOP Technical Papers-track
ECOOP 2020 Author of A big step from finite to infinite computations within the Research Papers-track
Author of Sound regular corecursion in coFJ within the Research Papers-track
SPLASH 2020 Committee Member in External Review Committee within the OOPSLA-track
PEPM 2019 Committee Member in Program Committee within the PEPM 2019-track
‹Programming› 2019 Local Organizing Chair in Organizing Committee
FTfJP 2018 Committee Member in Program Committee within the FTfJP-track
SPLASH 2018 Committee Member in External Reviewers within the OOPSLA-track
FTfJP 2017 Author of Tracing sharing in an imperative pure calculus within the FTfJP 2017-track
FTfJP 2016 Author of Towards a Model of Corecursion with Default within the FTfJP-track
Author of Coupling Catch Clauses with Local Declarations within the FTfJP-track
VORTEX 2016 Author of Runtime checks as nominal types within the VORTEX-track
POPL 2017 ERC member in External Review Committee within the POPL-track
ECOOP 2018 Author of Modeling infinite behaviour by corules within the ECOOP Research Papers-track
ECOOP and ISSTA 2018 Author of Modelling infinite behaviour by corules within the Posters-track
SPLASH 2017 Author of Reasoning on Divergent Computations with Coaxioms within the OOPSLA-track
Committee Member in Program Committee within the OOPSLA-track
FTfJP 2015 Committee Member in Program committee within the FTfJP-track
FOOL Committee Member in Program Committee within the FOOL-track
FOOL 2012 Steering Committee Member in Steering Committee within the FOOL 2012-track
SPLASH 2011 Committee Member in Program Committee within the OOPSLA-track