Roberta Gori -

Registered user since Wed 13 Nov 2019

Name:Roberta Gori

Country:Italy

Affiliation:University of Pisa

Contributions

SAS 2023	PC Member in Program Committee within the SAS 2023-track
SAS 2022	Author of Deciding program properties via complete abstractions on bounded domains within the SAS-track
PLDI 2022	Author of Abstract Interpretation Repair within the PLDI-track
FormaliSE 2022	Committee Member in Program Committee within the FormaliSE 2022-track
ICSE 2021	Author of A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions within the Journal-First Papers-track
FormaliSE 2021	Committee Member in Programme Committee within the FormaliSE 2021-track Author of Formal characterization and efficient verification of a biological robustness property within the FormaliSE 2021-track
POPL 2020	Author of Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations within the Research Papers-track
VMCAI 2018	Author of Code Obfuscation Against Abstract Model Checking Attacks within the VMCAI 2018-track