Maykel Mattar -

Registered user since Sat 13 Sep 2025

Name:Maykel Mattar

Country:France

Affiliation:Université Paris-Saclay, CEA, List / Université Bretagne Sud, IRISA

Contributions

2026

Static Analysis Symposium

Author of Heurix: A Framework to Automatically Learn Heuristics for Abstract Interpretation within the SAS 2026-track

PLDI

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

2025

ASE

Author of Loupe: End-to-End Learning of Loop Unrolling Heuristics for Abstract Interpretation within the Research Papers-track