Writing programs that execute sequentially on a single computer is easy. Tools for testing, debugging and even formal verification are readily available.

Writing programs that execute in parallel in a distributed system, i.e., across many computers, is challenging. Testing and debugging requires expert knowledge while formal verification support is not available at all.

Project MICRO COSMOS investigates an approach to automatically translate sequential into distributed programs. Particular targets of interest in this project are cloud programs that consist of many small programs called micro services.

With MICRO COSMOS, the developer can write a sequential program that our compiler translates into a cloud program for a cloud of choice.

The project is funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – Project Number: 469256231).

Project duration: 2023 - 2026

Contact: Sebastian Ertel (sebastian.ertel@barkhauseninstitut.org)