Who goes first? detecting go concurrency bugs via message reordering.

Ziheng Liu Shihao Xia Yu Liang Linhai Song Hong Hu

Published in: ASPLOS (2022)

Keyphrases

email
software systems
automatic detection
source code
dynamic allocation
real time
databases
data mining
machine learning
learning algorithm
data structure
software engineering
concurrency control
data flow
communication channels