Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mario Bravetti
conf.researchr.org general profile
APLAS 2020 profile
ETAPS 2019 profile
FSEN 2025 profile
ISSTA/ECOOP 2024 profile
POPL 2019 profile
SPLASH 2023 profile
Not registered as user
Name:
Mario Bravetti
Country:
Italy
Affiliation:
Università di Bologna
Personal website:
http://www.cs.unibo.it/~bravetti/
Contributions
2025
FSEN
Committee Member in Program Committee
2024
ECOOP
Author of Behavioral up/down casting for statically typed languages within the Technical Papers-track
2023
ST
Author of Behavioural up/down casting for statically typed languages within the ST30-track
2020
APLAS
Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track
2019
FASE
Author of Optimal and Automated Deployment for Microservices within the FASE 2019-track
Committee Member in Program Committee within the FASE 2019-track
BEAT
Author of Getting Rid of Null-Dereferences – Behavioural Types to the Rescue within the BEAT 2019-track
Share
x
Tue 6 May 21:42
