2023

• Josselin Giet, Félix Ridoux, Xavier Rival, 2023, A Product of Shape and Sequence Abstractions, Static Analysis (SAS 2023), pdf doi

  🏅 This paper received the Radhia Cousot award.

• Baptiste Lepers, Josselin Giet, Julia Lawall, Willy Zwaenepoel, 2023, OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel, European Conference on Computer Systems (EuroSys 2023), pdf doi

  🏅 This paper received a best paper award

2019

• Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand, 2019, Towards zero alarms in sound static analysis of finite state machines, Computer Safety, Reliability, and Security (SAFECOMP 2019) doi

2018

• Rémi Delmas, Christophe Garion, Josselin Giet, 2018, MOLOSS, un solveur pour la satisfiabilité en logique modale, Journées nationales de l’intelligence artificielle fondamentale (JIAF’18) pdf