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

First Author: Gabet J
Attributed to:  Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://drops.dagstuhl.de/opus/volltexte/2020/13161/

Type: Conference/Paper/Proceeding/Abstract

Volume: 166