Raphaël Monat -

Registered user since Wed 30 Nov 2016

Name:Raphaël Monat

Country:France

Affiliation:Inria and University of Lille

Personal website:https://rmonat.fr

Contributions

SPLASH 2023	Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ECOOP 2023	Committee Member in Extended Review Committee within the Research Papers-track Committee Member in Artifact Evaluation Committee within the Artifacts-track
SOAP 2023	Committee Member in Program Committee within the SOAP 2023-track
SPLASH 2022	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
SAS 2022	Committee Member in Program Committee within the SAS-track
PLDI 2022	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ICOOOLPS 2022	Session Chair of Shared Session Truffle & ICOOOLPS (part of ICOOOLPS 2022)
SAS 2021	Author of A Multi-Language Static Analysis of Python Programs with Native C Extensions within the SAS-track
ECOOP 2021	Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
CC 2021	Author of A Modern Compiler for the French Tax Code within the CC Research Papers-track
POPL 2021	Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
SAS 2020	Committee Member in Artifact Evaluation Committee within the SAS-track
ECOOP 2020	Author of Static Type Analysis by Abstract Interpretation of Python Programs within the Research Papers-track Author of Static Type Analysis by Abstract Interpretation of Python Programs within the Artifacts-track
SOAP 2020	Author of Value and Allocation Sensitivities in Static Python Analyses within the SOAP 2020-track
VMCAI 2017	Author of Precise Thread-Modular Abstract Interpretation of Concurrent Programs using Relational Interference Abstractions within the VMCAI-track