Julia Gabet

Orcid: 0000-0001-9944-9497

According to our database1, Julia Gabet authored at least 3 papers in 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact).
Dagstuhl Artifacts Ser., 2020

Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version).
CoRR, 2020

Static Race Detection and Mutex Safety and Liveness for Go Programs.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020


  Loading...