Elena Zucca -

Registered user since Thu 22 Mar 2018

Name:Elena Zucca

Country:Italy

Affiliation:University of Genoa

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

Contributions

2024

ECOOP

Committee Member in Program Committee within the Technical Papers-track

‹Programming›

Programme Committee in Program Committee within the Research Papers-track

2023

GPCE

Committee Member in Program Committee within the GPCE 2023-track

SPLASH

ECOOP

Author of Multi-Graded Featherweight Java within the Research Papers-track

‹Programming›

Committee Member in Program Committee within the Research Papers-track

POPL

Committee Member in Program Committee within the POPL-track

PEPM

Committee Member in Program Committee within the PEPM 2023-track

2022

APLAS

Committee Member in Program Committee

SPLASH

Unsound

Committee Member in Organizing Committee within the Sources of Unsoundness in Verification-track

ECOOP

Committee Member in Program Committee within the Research Papers-track

FTfJP

Committee Member in Program Committee within the FTfJP-track

FLOPS

Author of Checked corecursive streams: trading expressive power for reliability within the FLOPS 2022-track

2021

GPCE

Committee Member in Program Committee within the GPCE-track

SPLASH

Committee Member in Program Committee within the Onward! Papers-track

FTfJP

Committee Member in Program Committee within the FTfJP-track

ECOOP

2020

SPLASH

Committee Member in External Review Committee within the OOPSLA-track

ECOOP

FTfJP

2019

‹Programming›

Local Organizing Chair in Organizing Committee

PEPM

Committee Member in Program Committee within the PEPM 2019-track

2018

SPLASH

Committee Member in External Reviewers within the OOPSLA-track

FTfJP

Committee Member in Program Committee within the FTfJP-track

ECOOP

Author of Modeling infinite behaviour by corules within the ECOOP Research Papers-track

ECOOP/ISSTA

Author of Modelling infinite behaviour by corules within the Posters-track

2017

SPLASH

FTfJP

Author of Tracing sharing in an imperative pure calculus within the FTfJP 2017-track

POPL

ERC member in External Review Committee within the POPL-track

2016

FTfJP

VORTEX

Author of Runtime checks as nominal types within the VORTEX-track

2015

FTfJP

Committee Member in Program committee within the FTfJP-track

2014

FOOL

Committee Member in Program Committee within the FOOL-track

2012

FOOL

Steering Committee Member in Steering Committee within the FOOL 2012-track

2011

SPLASH

Committee Member in Program Committee within the OOPSLA-track