UP | HOME

Nicolas Jeannerod

Nicolas Jeannerod

I am:

You may want:

Talks

Mining Debian Maintainer Scripts

Deciding the First-Order Theory of an Algebra of Feature Trees with Updates

Deciding the First-Order Theory of an Algebra of Feature Trees with Updates

Feature Constraints to Modelise Unix Filesystems

Unix Filesystem and Graph Constraints

  • Oct. 2017
  • IRIF's "Journées PPS" Seminar
  • Slides

Formalising an Intermediate Language for POSIX Shell

A Formally Verified Interpreter for a Shell-like Programming Language

A Formally Verified Interpreter for a Shell-like Programming Language

  • Jul. 2017
  • Seminar VALS
  • Slides

Le coquillage dans le CoLiS-mateur

Publications

Morbig, a trustworthy static parser for POSIX shell

Deciding the First-Order Theory of an Algebra of Feature Trees with Updates

A Formally Verified Interpreter for a Shell-like Programming Language

Le coquillage dans le CoLiS-mateur