Nicolas “Niols” Jeannerod

Top

All My Talks

Mar. 2021 Verification of Shell Scripts Performing File Hierarchy Transformations”. At Ph.D. Thesis Defence.
Links: ⋅ Slides ⋅ Replay [MQ;LQ] ⋅ Dedicated Page ⋅ Thesis.
Mar. 2021 Verification of Shell Scripts Performing File Hierarchy Transformations”. At IRIF's “Journées PPS”.
Links: ⋅ Slides.
Dec. 2020 Analysing installation scenarios of Debian Packages”. At IRIF's Verification Seminar.
Links: ⋅ Slides ⋅ Demo ⋅ Replay ⋅ Associated article.
Apr. 2020 Analysing installation scenarios of Debian Packages”. At IRIF's Ph.D. Students Seminar.
Links: ⋅ Slides ⋅ Demo ⋅ Associated article.
Sept. 2019 Symbolic Execution of Debian Packages”. At AVM'19.
Links: ⋅ Slides ⋅ Demo.
Jul. 2019 Symbolic Execution of Maintainer Scripts”. With Ralf Treinen. At DebConf'19.
Links: ⋅ Slides ⋅ Demo ⋅ Replay [LQ] .
Jul. 2018 Mining Debian Maintainer Scripts”. With Ralf Treinen. At DebConf'18.
Links: ⋅ Slides ⋅ Replay [LQ] .
Jul. 2018 Deciding the First-Order Theory of an Algebra of Feature Trees with Updates”. At IJCAR'18.
Links: ⋅ Slides ⋅ Associated article.
Jun. 2018 Deciding the First-Order Theory of an Algebra of Feature Trees with Updates”. At IRIF's Verification Seminar.
Links: ⋅ Slides ⋅ Associated article.
Feb. 2018 Feature Constraints to Modelise Unix Filesystems”. At IRIF's Ph.D. Students Seminar.
Links: ⋅ Slides.
Oct. 2017 Unix Filesystem and Graph Constraints”. At IRIF's “Journées PPS”.
Links: ⋅ Slides.
Sept. 2017 Formalising an Intermediate Language for POSIX Shell”. With Yann Régis-Gianas. At Seminar Gallium.
Links: ⋅ Slides.
Jul. 2017 A Formally Verified Interpreter for a Shell-like Programming Language”. At VSTTE'17.
Links: ⋅ Slides ⋅ Associated article.
Jul. 2017 A Formally Verified Interpreter for a Shell-like Programming Language”. At Seminar VALS.
Links: ⋅ Slides.
Jan. 2017 Le coquillage dans le CoLiS-mateur”. At JFLA'17.
Links: ⋅ Slides ⋅ Associated article.