| Mar. 2021 |
“Verification of Shell Scripts Performing File Hierarchy Transformations”.
At PhD 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 PhD 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 PhD 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. |