MetaConc (Towards Meta-Level Engineering and Tooling for Complex Concurrent Systems)

Printer-friendly version
Info
January 2016 to December 2018
FWO

MetaConc is a FWO joint project in collaboration with the Institute for System Software at the Johannes Kepler Universität Linz (JKU) in Austria. It aims to explore language support that captures the interaction amongst concurrency models in order to deliver the concepts needed to support tools. In particular, we investigate both language implementation support to capture essential properties of concurrency models (research led by JKU's group), and debugging support built on top of such substrate to assist developers in finding errors, and improving program comprehension of complex concurrent systems (research led by SOFT ).