Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. - Kai Stadtmüller; Martin Sulzmann; Peter Thiemann 001 (APLAS, 2016)

Trace-Based Run-Time Analysis of Message-Passing Go Programs. - Martin Sulzmann; Kai Stadtmüller (Haifa Verification Conference, 2017)

Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks. - Martin Sulzmann; Kai Stadtmüller (PPDP, 2018)

Predicting all data race pairs for a specific schedule. - Martin Sulzmann; Kai Stadtmüller (MPLR, 2019)

Data Race Prediction for Inaccurate Traces. - Martin Sulzmann; Kai Stadtmüller (CoRR, 2019)

Predicting All Data Race Pairs for a Specific Schedule (extended version). - Martin Sulzmann; Kai Stadtmüller (CoRR, 2019)

Efficient, near complete, and often sound hybrid dynamic data race prediction. - Martin Sulzmann; Kai Stadtmüller (MPLR, 2020)

Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version). - Martin Sulzmann; Kai Stadtmüller (CoRR, 2020)

Efficient, near complete and often sound data race prediction. - Kai Stadtmüller (2021)