Josselin Giet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2023
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | EuroSys | OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel. | Baptiste Lepers, Josselin Giet, Willy Zwaenepoel, Julia Lawall |
| 2023 | SAS | A Product of Shape and Sequence Abstractions. | Josselin Giet, Flix Ridoux, Xavier Rival |
| 2019 | SAFECOMP | Towards Zero Alarms in Sound Static Analysis of Finite State Machines. | Josselin Giet, Laurent Mauborgne, Daniel Kstner, Christian Ferdinand |