Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mario Bravetti
conf.researchr.org general profile
APLAS 2020 profile
ETAPS 2019 profile
POPL 2019 profile
Not registered as user yet
Name:
Mario Bravetti
Country:
Italy
Affiliation:
Università di Bologna
Personal website:
http://www.cs.unibo.it/~bravetti/
Contributions
APLAS 2020
Author of Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language within the Research Papers-track
FASE 2019
Author of Optimal and Automated Deployment for Microservices within the FASE 2019-track
Committee Member in Program Committee within the FASE 2019-track
BEAT 2019
Author of Getting Rid of Null-Dereferences – Behavioural Types to the Rescue within the BEAT 2019-track
Share
x
Fri 9 Jun 22:34