HSR Concurrency Lab

Prof. Dr. Luc Bläser

HSR Parallel Checker for C# in Visual Studio

Concurrency errors, such as data races and deadlocks occur non-deterministically and are therefore particularly hard to find, not only by testing. For this reason, we have developed an efficient static checker for Visual Studio that detects data race and deadlock issues in C# at compile- or code-writing-time. With our new analysis algorithm, the checker runs very fast and achieves very high precision. Issues are conveniently highlighted directly in the source code while working in the IDE.

Please check the Project Website.