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

2025

Static Analysis Symposium

Committee Member in Program Committee within the SAS 2025-track

TPSA

Author of U-turn: Forward-driven backward analysis for incorrectness within the TPSA 2025-track

2024

Static Analysis Symposium

Committee Member in Program Committee within the SAS 2024-track

2023

Symposium on Practical Aspects of Declarative Languages

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

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