Elena Zucca

Registered user since Thu 22 Mar 2018

Name: Elena Zucca

Affiliation: University of Genova

Personal website: http://www.disi.unige.it/person/ZuccaE/

Contributions

SPLASH 2010
FTfJP 2020Author of An inductive abstract semantics for coFJ within the FTfJP-track
Programme Committee in Program Committee within the FTfJP-track
ECOOP 2021PC Member in Program Committee within the ECOOP Research Papers-track
ECOOP 2020Author 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 2020Committee Member in External Review Committee within the OOPSLA-track
PEPM 2019Committee Member in Program Committee within the PEPM 2019-track
‹Programming› 2019Local Organizing Chair in Organizing Committee
FTfJP 2018Committee Member in Program Committee within the FTfJP-track
SPLASH 2018Committee Member in External Reviewers within the OOPSLA-track
FTfJP 2017Author of Tracing sharing in an imperative pure calculus within the FTfJP 2017-track
FTfJP 2016Author 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 2016Author of Runtime checks as nominal types within the VORTEX-track
POPL 2017ERC member in External Review Committee within the POPL-track
ECOOP 2018Author of Modeling infinite behaviour by corules within the ECOOP Research Papers-track
ECOOP and ISSTA 2018Author of Modelling infinite behaviour by corules within the Posters-track
SPLASH 2017Author of Reasoning on Divergent Computations with Coaxioms within the OOPSLA-track
Committee Member in Program Committee within the OOPSLA-track
FTfJP 2015Committee Member in Program committee within the FTfJP-track
FOOLCommittee Member in Program Committee within the FOOL-track
FOOL 2012Steering Committee Member in Steering Committee within the FOOL 2012-track
SPLASH 2011Committee Member in Program Committee within the OOPSLA-track