Finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector - A Story on Applied Formal Methods.

Daniel Schnetzer Fava

Browse the full SEFM paper archive.