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

2023

SPLASH

Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

ECOOP

Committee Member in Extended Review Committee and External Reviewers within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Artifacts-track

SOAP

Committee Member in Program Committee within the SOAP 2023-track

2022

SPLASH

Static Analysis Symposium

Committee Member in Program Committee within the SAS-track

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

ICOOOLPS

Session Chair of Shared Session Truffle & ICOOOLPS (part of ICOOOLPS 2022)

2021

Static Analysis Symposium

Author of A Multi-Language Static Analysis of Python Programs with Native C Extensions within the SAS-track

ECOOP

Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

CC

Author of A Modern Compiler for the French Tax Code within the CC Research Papers-track

POPL

Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track

2020

Static Analysis Symposium

Committee Member in Artifact Evaluation Committee within the SAS-track

ECOOP

SOAP

Author of Value and Allocation Sensitivities in Static Python Analyses within the SOAP 2020-track

2017

VMCAI

Author of Precise Thread-Modular Abstract Interpretation of Concurrent Programs using Relational Interference Abstractions within the VMCAI-track