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

ICOOOLPS 2022 Session Chair of Shared Session Truffle & ICOOOLPS (part of ICOOOLPS 2022)
SAS 2022 Committee Member in Program Committee within the SAS 2022 Papers-track
PLDI 2022 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SAS 2021 Author of A Multi-Language Static Analysis of Python Programs with Native C Extensions within the SAS-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
ECOOP 2021 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-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 2020 Committee Member in Artifact Evaluation Committee within the SAS-track
SOAP 2020 Author of Value and Allocation Sensitivities in Static Python Analyses within the SOAP 2020-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
VMCAI 2017 Author of Precise Thread-Modular Abstract Interpretation of Concurrent Programs using Relational Interference Abstractions within the VMCAI-track