Go is a statically typed programming language designed for efficient and reliable concurrent
programming. For this purpose, Go provides lightweight goroutines and recommends …

This paper presents a code generation framework for type-safe and deadlock-free Message
Passing Interface (MPI) programs. The code generation process starts with the definition of …

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 …

As multi-threaded and highly concurrent programs are increasingly used, their inherent
uncertainty significantly impacts program stability. Traditional testing methods often struggle …

This article presents a static deadlock analysis for single-path MPI programs. Deadlock is
when processes are blocked indefinitely by a circular communication dependency. A single …

A prevalent asynchronous message passing standard is the Message Passing Interface
(MPI). There are two runtime semantics for MPI: zero buffer (messages have no buffering) …

Asynchronous message passing systems are fast becoming a common means for
communication between devices. Two problems existing in message passing programs are …

A common problem in MPI programs is deadlock: when two or more processes are blocked
indefinitely due to a circular communication dependency. Automatically detecting deadlock …

Abstract Unfolding-based Dynamic Partial Order Reduction (UDPOR) is a recent technique
mixing Dynamic Partial Order Reduction (DPOR) with concepts of concurrency such as …

Asynchronous message passing paradigm is commonly used in high performance
computing (HPC). Message non-determinism makes the error detection in message passing …