ASE 2022★ Distinguished Paper

Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation

Oskar Haarklou Veileborg, Georgian-Vlad Saioc, Anders Møller

Abstract

Channel-based concurrency is a widely used alternative to shared-memory concurrency but is difficult to use correctly. Common programming errors may result in blocked threads that wait indefinitely. Recent work exposes this as a considerable problem in Go programs and shows that many such errors can be detected automatically using SMT encoding and dynamic analysis techniques.

BibTeX

@inproceedings{Veileborg-al:ASE22,
  author    = {Oskar Haarklou Veileborg and
               Georgian{-}Vlad Saioc and
               Anders M{\o}ller},
  title     = {Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation},
  booktitle = {ASE},
  pages     = {32:1--32:12},
  publisher = {{ACM}},
  year      = {2022},
}

Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation

Abstract

Related papers