Gobench: A benchmark suite of real-world go concurrency bugs

T Yuan, G Li, J Lu, C Liu, L Li… - 2021 IEEE/ACM …, 2021 - ieeexplore.ieee.org
Go, a fast growing programming language, is often considered as “the programming
language of the cloud”. The language provides a rich set of synchronization primitives …

Understanding real-world concurrency bugs in go

T Tu, X Liu, L Song, Y Zhang - Proceedings of the twenty-fourth …, 2019 - dl.acm.org
Go is a statically-typed programming language that aims to provide a simple, efficient, and
safe way to build multi-threaded software. Since its creation in 2009, Go has matured and …

Who goes first? detecting go concurrency bugs via message reordering

Z Liu, S Xia, Y Liang, L Song, H Hu - Proceedings of the 27th ACM …, 2022 - dl.acm.org
Go is a young programming language invented to build safe and efficient concurrent
programs. It provides goroutines as lightweight threads and channels for inter-goroutine …

Automatically detecting and fixing concurrency bugs in go software systems

Z Liu, S Zhu, B Qin, H Chen, L Song - Proceedings of the 26th ACM …, 2021 - dl.acm.org
Go is a statically typed programming language designed for efficient and reliable concurrent
programming. For this purpose, Go provides lightweight goroutines and recommends …

A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques

H Fu, Z Wang, X Chen, X Fan - Software Quality Journal, 2018 - Springer
Currently, concurrent programs are becoming increasingly widespread to meet the demands
of the rapid development of multi-core hardware. However, it could be quite expensive and …

Learning from mistakes: a comprehensive study on real world concurrency bug characteristics

S Lu, S Park, E Seo, Y Zhou - … of the 13th international conference on …, 2008 - dl.acm.org
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately,
writing correct concurrent programs is difficult. Addressing this challenge requires advances …

ConMem: detecting severe concurrency bugs through an effect-oriented approach

W Zhang, C Sun, S Lu - ACM Sigplan Notices, 2010 - dl.acm.org
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it
is difficult to deliver reliable concurrent programs, because of the huge and non …

Conmem: Detecting crash-triggering concurrency bugs through an effect-oriented approach

W Zhang, C Sun, J Lim, S Lu, T Reps - ACM Transactions on Software …, 2013 - dl.acm.org
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it
is difficult to deliver reliable concurrent programs, because of the huge and nondeterministic …

A study of concurrency bugs in an open source software

S Abbaspour Asadollah, D Sundmark, S Eldh… - Open Source Systems …, 2016 - Springer
Concurrent programming puts demands on software debugging and testing, as concurrent
software may exhibit problems not present in sequential software, eg, deadlocks and race …

Fixing, preventing, and recovering from concurrency bugs

DD Deng, GL Jin, M de Kruijf, A Li, B Liblit, S Lu… - Science China …, 2015 - Springer
Concurrency bugs are becoming widespread with the emerging ubiquity of multicore
processors and multithreaded software. They manifest during production runs and lead to …