Isabella Mastroeni -

Registered user since Wed 20 Jan 2016

Name:Isabella Mastroeni

Country:Italy

Affiliation:University of Verona, Italy

Personal website:http://profs.scienze.univr.it/mastroeni/Welcome.html

Research interests:Static analysis, abstract interpretation, software security

Contributions

POPL 2023	Committee Member in Program Committee within the POPL-track
SAS 2022	Committee Member in Program Committee within the SAS 2022 Papers-track
SAS 2020	Author of On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs within the SAS-track
VPT 2019	Author of Static Program Analysis for String Manipulation Languages within the VPT 2019 -track
ESOP 2019	Author of On the Multi-Language Construction within the ESOP 2019-track Committee Member in Program Committee within the ESOP 2019-track
VMCAI 2018	Author of Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference within the VMCAI 2018-track
POPL 2017	Session Chair of Abstract Interpretation (part of POPL) Committee Member in Program Committee within the POPL-track