Raphaël Monat -

Registered user since Wed 30 Nov 2016

Name: Raphaël Monat

Country: France

Affiliation: Sorbonne Université — LIP6

Personal website: https://rmonat.fr

Contributions

PLDI 2021	Committee Member in Artifact Evaluation Committee within the PLDI 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
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