Mila Dalla Preda -

Registered user since Thu 26 Jun 2014

Name:Mila Dalla Preda

Country:Italy

Affiliation:University of Verona

Personal website:http://profs.sci.univr.it/~dallapre

Contributions

POPL 2023	Committee Member in Program Committee within the POPL-track
ECOOP 2022	Author of Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis within the Hub Talks-track
POPL 2022	Author of Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis within the POPL-track
ICPC 2021	Author of EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode within the Research-track
APLAS 2020	Committee Member in Program Committee
SAS 2020	Author of Formal framework for reasoning about the precision of dynamic analysis within the SAS-track
CC 2020	Committee Member in Program Committee within the Research Papers-track
POPL 2018	Committee Member in Program Committee within the Research Papers-track
POPL 2017	ERC member in External Review Committee within the POPL-track
PLDI 2015	Committee Member in Program Committee within the Research Papers-track