Josselin Giet

According to our database, Josselin Giet authored at least 3 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

A Product of Shape and Sequence Abstractions.

Josselin Giet, Félix Ridoux, Xavier Rival

Proceedings of the Static Analysis - 30th International Symposium, 2023

OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel.

Baptiste Lepers, Josselin Giet, Willy Zwaenepoel, Julia Lawall

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

2019

Towards Zero Alarms in Sound Static Analysis of Finite State Machines.

Josselin Giet, Laurent Mauborgne, Daniel Kästner, Christian Ferdinand

Proceedings of the Computer Safety, Reliability, and Security, 2019