Radically Simplified GPU Parallelization in .NET
A new programming model and runtime system atop the .NET framework to make GPU parallelization as simple as possible for a broad mass of .NET developers, without limiting generality and high performance.
Parallel Checker for Visual Studio
This static checker tool detects parallel programming errors, such as low-level data race and deadlocks, on-the-fly inside the Visual Studio IDE, i.e. directly while writing code. These non-deterministic errors are otherwise very hard to find and cannot be reliably excluded by testing.
Cloud Task Parallelization in .NET
Cloud Task Parallelization aims to accelerate normal .NET task-parallel code dramatically, by exploiting remote parallel processor power in a transparent way. For this purpose, a new .NET runtime extension automatically extracts parallel tasks from the shared memory model and dispatches them to a cloud service for massive parallelization, e.g. by engaging a high-performance computing cluster behind the service interface.
Composita Programming Language and System
Composita is a substantially new general-purpose programming language featuring hierarchical composition, dynamic wiring, fine-granular concurrency and communication-oriented interactions as first-class programming concepts. It is supported by a new small operating system that allows a huge amount of fine-granular processes and very fast context switches by an innovative from-scratch system design.
Persisent Oberon embeds data persistence directly in the Oberon programming language, eliminating the need of any explicit persistence mapping from and to a database system. Program objects and data is automatically stored and managed in an object store behind the scenes, thus giving the program the illusion of a infinite lifetime surviving system restarts.
Applied Research Projects
For applied research projects, please consult: