Kai Stadtmüller

According to our database, Kai Stadtmüller authored at least 9 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Efficient, near complete and often sound data race prediction.

Kai Stadtmüller

PhD thesis, 2021

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 hybrid dynamic data race prediction.

Martin Sulzmann, Kai Stadtmüller

Proceedings of the MPLR '20: 17th International Conference on Managed Programming Languages and Runtimes, 2020

2019

Predicting All Data Race Pairs for a Specific Schedule (extended version).

Martin Sulzmann, Kai Stadtmüller

CoRR, 2019

Data Race Prediction for Inaccurate Traces.

Martin Sulzmann, Kai Stadtmüller

CoRR, 2019

Predicting all data race pairs for a specific schedule.

Martin Sulzmann, Kai Stadtmüller

Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2019

2018

Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks.

Martin Sulzmann, Kai Stadtmüller

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017

Trace-Based Run-Time Analysis of Message-Passing Go Programs.

Martin Sulzmann, Kai Stadtmüller

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

Static Trace-Based Deadlock Analysis for Synchronous Mini-Go.

Kai Stadtmüller, Martin Sulzmann, Peter Thiemann

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016