Login / Signup
Julia Gabet
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 3
Top Topics
Mutual Exclusion
Automatic Detection
Computer Programs
False Positives
Top Venues
CoRR
Dagstuhl Artifacts Ser.
ECOOP
</>
Publications
</>
Julia Gabet
,
Nobuko Yoshida
Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact).
Dagstuhl Artifacts Ser.
6 (2) (2020)
Julia Gabet
,
Nobuko Yoshida
Static Race Detection and Mutex Safety and Liveness for Go Programs.
ECOOP
(2020)
Julia Gabet
,
Nobuko Yoshida
Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version).
CoRR
(2020)