Julia Gabet

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2020

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

[BibT_eX]

[DOI]

CoRR, 2020

Static Race Detection and Mutex Safety and Liveness for Go Programs.

[BibT_eX]

[DOI]

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020