UP | HOME
niols.fr

Research

I am currently working on my PhD at the IRIF laboratory under Ralf Treinen and Yann Régis-Gianas' supervision. This PhD consists mostly in working on the ANR project “CoLiS” (for “Correctness of Linux Scripts”).

Interventions

When What Where Title Materials
2017-10-12 Seminar Journées PPS Unix filesystem and graph constraints Slides
2017-09-18 Seminar Gallium Formalising an intermediate language for POSIX shell Slides
2017-07-22 Workshop VSTTE A Formally Verified Interpreter for a Shell-like Programming Language Slides
2017-07-07 Seminar VALS A Formally Verified Interpreter for a Shell-like Programming Language Slides
2017-01-04 Conference JFLA Le coquillage dans le CoLiS-mateur; Formalizing a shell-like programming language Slides

Publications

Those can also be found on HAL.

Ralf Treinen, Claude Marché and Nicolas Jeannerod
A Formally Verified Interpreter for a Shell-like Programming Language
9th Working Conference on Verified Software: Theories, Tools, and Experiments; VSTTE 2017
PDF

Nicolas Jeannerod
Le coquillage dans le CoLiS-mateur; Formalizing a shell-like programming language
Vingt-huitième Journées Francophones des Langages Applicatifs; JFLA 2017
PDF; TAR GZ archive; ZIP archive

niols.fr — Copyright © 2017 Nicolas “Niols” Jeannerod