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.
Paper at ISSTA 2018 in Amsterdam
Luc Bläser has a a technical paper at the ISSTA 2018, International Symposium on Software Testing and Analysis, taking place from July 15-21 in Amsterdam. The paper and the corresponding talk is on "Practical Detection of Concurrency Issues at Coding Time".
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.
New: Hasler Foundation Project for GPU Parallelization in .NET
We received a research grant from the Hasler Foundation for the development of a new GPU parallization model to be integreated in .NET. The lead has Philipp Kramer, senior scientist in the Concurrency Lab.
CTI Project on Deep Learning for Packaging Control
We received a 24 months funding from Swiss Commission for Technology and Innovation for conducting a new research project on efficiently parallelized deep-learning-based artificial intelligence in industrial packaging quality control, together with the partner Intigena Hygienic Solutions.
EU Eurostars Project on Medical and Biological Imaging
We received a 30 months funding from EU Eurostars program for research on medical and biological imaging segmentation. This is a joint project with Swiss and Swedisch universities and companies. Our lab focuses on large-scaled parallelization in this project.
Paper at VMIL Workshop at Splash 2017 Conference in Vancouver