Theories and tools based on multiparty session types offer correctness guarantees for
concurrent programs that communicate using message-passing. These guarantees usually …

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 …

A formally verified program is only as correct as its specifications (SPEC). But how to assure
that the SPEC is complete and free of loopholes? This paper presents Fast, short for Fuzzing …

Generating test cases is essential for discovering software bugs. However, finding bugs in
multi-path loops is challenging, especially when bugs can only be exposed after a specific …

The Go language (Go/Golang) has been attracting increasing attention from the industry
over recent years due to its strong concurrency support and ease of deployment. This …

The Go programming language offers a wide range of primitives to coordinate lightweight
threads, eg, channels, waitgroups, and mutexes—all of which may cause concurrency bugs …

Coordination languages for tuple spaces can offer significant advantages in the specification
and implementation of distributed systems, but often do require manual programming effort …

Go is a modern programming language gaining popularity in enterprise microservice
systems. Concurrency is a first-class citizen in Go with lightweight “goroutines” as the …

Il recente sviluppo di applicazioni concorrenti e distribuite ha dato origine a un nuovo
interesse verso il linguaggio Erlang (ed Elixir che si basa su una Erlang Virtual Machine …

Abstract We introduce Go2Pins, a tool that takes a program written in Go and links it with two
model checkers: LTSMin (Kant et al. Ltsmin: high-performance language-independent …