Publications

• Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall.
  Efficient computation of arbitrary control dependencies.
  In Theoretical Computer Science.
  [doi] [pdf] [website] [code]
• Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall.
  Fast Computation of Arbitrary Control Dependencies.
  In FASE 2018 (part of ETAPS 2018).
  [doi] [pdf] [website] [slides] [code]
• Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall.
  Why3 a dit : gardez le contrôle en toute situation.
  In JFLA 2018. (In French).
  [HAL] [pdf] [website] [slides]