Kai Stadtmüller

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 11

Top Topics

Dynamic Analysis

Belief Propagation

Top Venues

Haifa Verification Conference

Publications

Martin Sulzmann, Kai Stadtmüller
Efficient, Near Complete and Often Sound Hybrid Dynamic Data Race Prediction (extended version). CoRR (2020)
Martin Sulzmann, Kai Stadtmüller
Efficient, near complete, and often sound hybrid dynamic data race prediction. MPLR (2020)
Martin Sulzmann, Kai Stadtmüller
Predicting all data race pairs for a specific schedule. MPLR (2019)
Martin Sulzmann, Kai Stadtmüller
Data Race Prediction for Inaccurate Traces. CoRR (2019)
Martin Sulzmann, Kai Stadtmüller
Predicting All Data Race Pairs for a Specific Schedule (extended version). CoRR (2019)
Martin Sulzmann, Kai Stadtmüller
Two-Phase Dynamic Analysis of Message-Passing Go Programs based on Vector Clocks. CoRR (2018)
Martin Sulzmann, Kai Stadtmüller
Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks. PPDP (2018)
Martin Sulzmann, Kai Stadtmüller
Trace-Based Run-time Analysis of Message-Passing Go Programs. CoRR (2017)
Martin Sulzmann, Kai Stadtmüller
Trace-Based Run-Time Analysis of Message-Passing Go Programs. Haifa Verification Conference (2017)
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. APLAS (2016)
Kai Stadtmüller, Martin Sulzmann, Peter Thiemann
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go. CoRR (2016)