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.
Joining the Microsoft Invocation Center (MIC) Rapperswil
We joined the INS Institute for Networked Soluitions and the Microsoft Innovation Center (MIC) Rapperswil see Microsoft Innovation Center Rapperswil (in German only).
Industry Training: .NET Parallel Programming
Our popular training workshop is targeted at professional .NET software engineers and architects, who want to gain expert knowledge in efficient and safe parallel programming in the latest .NET framework using the newest C# 6 and Visual Studio 2015. This training can be booked as in-company course and is also offered as an external course. For more information, please check: Course description
EU Eurostars Research Project
Together with our university and industry partners from Switzerland and Sweden, we started the 26-months EU Eurostars XamFlow project, aiming to realize a workflow-based examination system for the complete micro-CT evaluation process. The HSR Concurrency Lab designs and implements the new architecture for high-scale parallelization of medical image processing on multicores, GPUs and clusters.
Research Project: Visual Studio C# Parallel Checker
We are developing a fast IDE-integrated static checker for detecting concurrency errors in C#, such as data races and deadlocks. The checker is based on the Microsoft Roslyn framework and operates on-the-fly as part of the Visual Studio 2015 IDE, i.e. while writing program code. In contrast to other checker tools, it does not only focus on simple error patterns but performs complete conservative analysis detecting all potential non-deterministic concurrency errors that are otherwise hard to find by testing. For more information, see: Project overview