E-LIB Suche - Ergebnisse für: Lemerre, Matthieu

1

Compiling with Abstract Interpretation:

Lesbre, Dorian ; Lemerre, Matthieu
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 368-393 , 2024

Link: https://doi.org/10.1145/..

2

Reverse Template Processing Using Abstract Interpretation:

, In: Static Analysis; Lecture Notes in Computer Science,

Lemerre, Matthieu - p. 403-433 , 2023

Link: https://doi.org/10.1007/..

3

SSA Translation Is an Abstract Interpretation:

Lemerre, Matthieu
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1895-1924 , 2023

Link: https://doi.org/10.1145/..

4

Lightweight Shape Analysis Based on Physical Types:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Nicole, Olivier ; Lemerre, Matthieu ; Rival, Xavier - p. 219-241 , 2022

Link: https://doi.org/10.1007/..

5

A relational shape abstract domain:

Illous, Hugo ; Lemerre, Matthieu ; Rival, Xavier
Formal Methods in System Design. 57 (2021) 3 - p. 343-400 , 2021

Link: https://doi.org/10.1007/..

6

RUSTINA: Automatically checking and patching inline assembl..:

, In: Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings,

Recoules, Frédéric ; Bardin, Sébastien ; Bonichon, Richard... - p. 201-202 , 2021

Link: https://dl.acm.org/doi/1..

7

RUSTInA: Automatically Checking and Patching Inline Assembl..:

, In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Recoules, Frederic ; Bardin, Sebastien ; Bonichon, Richard... - p. 201-202 , 2021

Link: https://doi.org/10.1109/..

8

Interface Compliance of Inline Assembly : Automatically ..:

, In: Proceedings of the 43rd International Conference on Software Engineering,

Recoules, Frédéric ; Bardin, Sébastien ; Bonichon, Richard... - p. 1236-1247 , 2021

Link: https://dl.acm.org/doi/1..

9

Interface Compliance of Inline Assembly: Automatically Chec..:

, In: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE),

Recoules, Frederic ; Bardin, Sebastien ; Bonichon, Richard... - p. 1236-1247 , 2021

Link: https://doi.org/10.1109/..

10

Detection of Polluting Test Objectives for Dataflow Criteri:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Martin, Thibault ; Kosmatov, Nikolai ; Prevosto, Virgile. - p. 337-345 , 2020

Link: https://doi.org/10.1007/..

11

Interprocedural Shape Analysis Using Separation Logic-Based..:

, In: Static Analysis; Lecture Notes in Computer Science,

Illous, Hugo ; Lemerre, Matthieu ; Rival, Xavier - p. 248-273 , 2020

Link: https://doi.org/10.1007/..

12

Paravirtualizing Linux in a real-time hypervisor:

Legout, Vincent ; Lemerre, Matthieu
ACM SIGBED Review. 9 (2012) 2 - p. 33-37 , 2012

Link: https://dl.acm.org/doi/1..

13

Paravirtualizing Linux in a real-time hypervisor:

Legout, Vincent ; Lemerre, Matthieu
ACM SIGBED Review. 9 (2012) 2 - p. 33-37 , 2012

Link: https://doi.org/10.1145/..

14

A communication mechanism for resource isolation:

, In: Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems,

Lemerre, Matthieu ; David, Vincent ; Vidal-Naquet, Guy - p. 1-6 , 2009

Link: https://dl.acm.org/doi/1..

15

SSA translation is an abstract interpretation:

Lemerre, Matthieu
info:eu-repo/semantics/altIdentifier/doi/10.1145/3571258. , 2023

Link: https://cea.hal.science/..