conf.researchr.org / Raphaël Monat
Registered user since Wed 30 Nov 2016
Name:Raphaël Monat
Bio:
Research Scientist at Inria since Sep. 2022.
Country:France
Affiliation:Inria and University of Lille
Personal website: https://rmonat.fr
Contributions
2026
Static Analysis Symposium
ECOOP
- Author of DelExp: a Relational Container Abstraction with Applications to Compositional Analysis within the Technical Papers-track
- Author of Formal methods meet legal implementations within the ECOOP Academy-track
- Author of Comparing Transparent Static Analyzers with Open Verification Dashboard within the Technical Papers-track
- Author of The Virtual Recency Abstraction (Strong Updates for Abstract Interpreters with Shared State) within the Technical Papers-track