Kai Stadtmüller

12 papers B 1C 3Journal 6Unranked 1

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