Josselin Giet

Orcid: 0000-0001-5246-9159

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Product of Shape and Sequence Abstractions.
Proceedings of the Static Analysis - 30th International Symposium, 2023

OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel.
Proceedings of the Eighteenth European Conference on Computer Systems, 2023

2019
Towards Zero Alarms in Sound Static Analysis of Finite State Machines.
Proceedings of the Computer Safety, Reliability, and Security, 2019


  Loading...