Naïm Moussaoui Remil -

Registered user since Sun 14 Jan 2024

Name:Naïm Moussaoui Remil

Affiliation:Inria Paris, ENS Paris

Personal website: https://naim-mr.github.io

GitHub: https://github.com/naim-mr

Contributions

2027

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI 2027-track

2026

VMCAI

Author of Termination Resilience Static Analysis within the VMCAI 2026-track

2024

Static Analysis Symposium

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