Josselin Giet

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Bug Localization

Concurrent Execution

Finite State Machines

Top Venues

Publications

Baptiste Lepers, Josselin Giet, Willy Zwaenepoel, Julia Lawall
OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel. EuroSys (2023)
Josselin Giet, Félix Ridoux, Xavier Rival
A Product of Shape and Sequence Abstractions. SAS (2023)
Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand
Towards Zero Alarms in Sound Static Analysis of Finite State Machines. SAFECOMP (2019)