Matthieu Lemerre
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
SSA Translation Is an Abstract Interpretation
Matthieu Lemerre (2023) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery (ACM)
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
Frédéric Recoules and others (2021) · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · Institute of Electrical and Electronics Engineers
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing
Benjamin Farinier and others (2018) · EasyChair