Concurrency | Umang Mathur

The Complexity of Testing Message-Passing Concurrency

Predictive Monitoring with Strong Trace Prefixes

Predictive Monitoring against Pattern Regular Languages

Note: The ArXiv version of the paper corrects an error in the published version.

Coarser Equivalences for Causal Concurrency

How Hard is Weak-Memory Testing?

Data Race Detection on Compressed Traces

Dynamic Race Prediction in Linear Time