HSR Concurrency Lab

Prof. Dr. Luc Bläser

Parallel and Concurrent Programming: Languages, Systems, and Tools

The HSR Concurrency Lab is part of the INS Institute for Networked Solution at the HSR Hochschule für Technik Rapperswil, University of Applied Sciences in Rapperswil, Switzerland. We support our partners with the newest technology, innovative design and strong engineering in all aspects of concurrent and parallel programming. Moreover, we are active in applied and solid research in programming languages, compilers, runtime systems, and tools for concurrent and parallel programming, striving to expand the frontier of innovation in this field.

For our customers, we offer the following professional services:

  • Training workshops on concurrent and parallel programming using the latest technologies.
  • Consulting in software architectures, designs and technologies with a focus on concurrency and parallelization.
  • Realizing top-quality software solutions and projects in this area.
  • Performing code and design reviews for concurrent and parallel software systems.

Parallel Checker for C#

We have developed a new fast static analysis tool, called HSR Parallel Checker, that detects data races and deadlocks in C# with high precision. Designed as plugin for Visual Studio 2017 or 2015, it conveniently highlights issues at the coding-time. Please check the Project website.

Talk at Parallel 2017 Conference in Heidelberg

Luc Bläser gives a talk on concurrency correctness at the Parallel 2017 Conference in Heidelberg. In this talk, he will also present the new HSR Parallel Checker Tool. For more information, please check: Parallel 2017 conference site.

Parallel Code Smells Talk

Our popular talk on Parallel Code Smell enjoys high resonance. It has been presented at the OOP and Parallel conference, as well as, in the Heise Developer online magazine. Companies also book the talk as a training for their software engineers. We are happy to present and discuss the Parallel Code Smells in your company too.