Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Roberta Gori
conf.researchr.org general profile
ICSE 2021 profile
ICSE 2022 profile
PLDI 2022 profile
POPL 2018 profile
POPL 2020 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2022 profile
SPLASH 2023 profile
Registered user since Wed 13 Nov 2019
Name:
Roberta Gori
Country:
Italy
Affiliation:
University of Pisa
Contributions
2025
TPSA
Committee Member in Program Committee within the TPSA 2025-track
2024
Formal Methods for Incorrectness
Committee Member in Program Committee within the Incorrectness-track
2023
Static Analysis Symposium
PC Member in Program Committee within the SAS 2023-track
2022
Static Analysis Symposium
Author of Deciding program properties via complete abstractions on bounded domains within the SAS-track
PLDI
Author of Abstract Interpretation Repair within the PLDI-track
FormaliSE
Committee Member in Program Committee within the FormaliSE 2022-track
2021
ICSE
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
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
2020
POPL
Author of Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations within the Research Papers-track
2018
VMCAI
Author of Code Obfuscation Against Abstract Model Checking Attacks within the VMCAI 2018-track
Share
x
Fri 11 Jul 20:46
