Olivier Nicole

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Kernel Function

Semi Automatically

Unsupervised Manner

Top Venues

Proc. ACM Program. Lang.

Publications

Ningning Xie, Leo White, Olivier Nicole, Jeremy Yallop
MacoCaml: Staging Composable and Compilable Macros. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Olivier Nicole, Matthieu Lemerre, Xavier Rival
Lightweight Shape Analysis Based on Physical Types. VMCAI (2022)
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
No Crash, No Exploit: Automated Verification of Embedded Kernels. RTAS (2021)
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
No Crash, No Exploit: Automated Verification of Embedded Kernels. CoRR (2020)
Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival
Automatically Proving Microkernels Free from Privilege Escalation from their Executable. CoRR (2020)