• Sign in
  • Sign up
conf.researchr.org / Roberta Gori
  • ICSE 2021 profile
  • ICSE 2022 profile
  • PLDI 2022 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
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

Share
xFri 2 Jun 10:53
using conf.researchr.org (v1.60.0)
Support page
Sign Up