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/~dallapreda/

Contributions

2024

Static Analysis Symposium

Keynote Speaker of On the Role of Cognizance in Responsibility within the SAS 2024-track

POPL

Author of Monotonicity and the Precision of Program Analysis within the POPL-track

2023

Static Analysis Symposium

Author of A Formal Framework to Measure the Incompleteness of Abstract Interpretations within the SAS 2023-track

POPL

Committee Member in Program Committee within the POPL-track

2022

ECOOP

Author of Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis within the Hub Talks-track

POPL

Author of Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis within the POPL-track

2021

International Conference on Program Comprehension

Author of EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode within the Research-track

2020

APLAS

Committee Member in Program Committee

Static Analysis Symposium

Author of Formal framework for reasoning about the precision of dynamic analysis within the SAS-track

CC

Committee Member in Program Committee within the Research Papers-track

2018

POPL

Committee Member in Program Committee within the Research Papers-track

2017

POPL

ERC member in External Review Committee within the POPL-track

2015

PLDI

Committee Member in Program Committee within the Research Papers-track