Roberto Bruni -

Registered user since Tue 12 Nov 2019

Name:Roberto Bruni

Country:Italy

Affiliation:University of Pisa

Personal website:http://www.di.unipi.it/~bruni

Contributions

PADL 2023	Author of Dynamic slicing of Reaction Systems based on assertions and monitors within the PADL 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
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