Julia Gabet -

Registered user since Thu 9 Apr 2020

Name: Julia Gabet

Affiliation: Imperial College London

Contributions

ECOOP 2020	Author of Static Race Detection and Mutex Safety and Liveness for Go Programs within the Posters-track Author of Static Race Detection and Mutex Safety and Liveness for Go Programs within the Research Papers-track Author of Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) within the Artifacts-track
SPLASH 2020	Author of Static Race Detection and Mutex Safety and Liveness for Go Programs within the Posters-track