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.
New Parallel Checker Release for C# 8
A new version of the parallel checker has been released to support C# 8 and Visual Studio 2019. This static analysis tool detects data races and deadlocks in C# with high precision. Please check the project website.
Past Research Sabbatical of L. Bläser
From February until July 2019, Luc Bläser has been on a research sabbatical as a Visiting Professor at UCI, University of California, Irvine. In his sabbatical, L. Bläser worked on code analysis, compiler and runtime system design. Moreover, he was lecturing "Compilers and Interpreters" in the spring quarter in the UCI Computer Science Department. He is now back in Switzerland to continue collaborating with his industry and research partners.
Research Projects from Three Funding Channels
Our research group has a long record of successfully acquiring funds for research projects from all major channels, including Innosuisse, European Union, and Haslerstiftung. We frequently perform projects together with industry partners, with great success in the project results. If you are interested in realizing your innovation ideas with us through a funded research project, please reach out. We are more than happy to discuss your ideas and the funding possibilities with you.
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".