Olivier Nicole

According to our database, Olivier Nicole authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

MacoCaml: Staging Composable and Compilable Macros.

Ningning Xie, Leo White, Olivier Nicole, Jeremy Yallop

Proc. ACM Program. Lang., August, 2023

2022

Automated verification of systems code using type-based memory abstractions. (Vérification automatique de code système à l'aide d'abstractions mémoire basées sur le typage).

Olivier Nicole

PhD thesis, 2022

Lightweight Shape Analysis Based on Physical Types.

Olivier Nicole, Matthieu Lemerre, Xavier Rival

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2021

No Crash, No Exploit: Automated Verification of Embedded Kernels.

Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

2020

Automatically Proving Microkernels Free from Privilege Escalation from their Executable.

Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival

CoRR, 2020