Informatics Europe: Programming Distributed Decentralized Applications

Organizer: Informatics Europe

Speaker: Prof. Mira Mezini, TU Darmstadt

Abstract

Today’s applications – ranging from mobile digital services (instant messengers, multiplayer games, etc.), collaborative workflows (Google Docs, Figma, Trello, etc.), real-time businesses (cross-organizational workflows, collaborative condition monitoring, etc.), autonomous vehicle services, production 4.0 software, and more – are very different from traditional ones: They run on globally distributed computing infrastructures, consistently interact with the outside world and are data-driven. In this talk, I will argue that to cope with challenges posed by these new computing realities we need programming models and technologies that offer safety and security properties by-design. More specifically, I will talk about language-integrated solutions that offer formally-proven consistency guarantees “out-of-the-box” in a decentralized and privacy-preserving manner and will present the ideas in the context of REScala (rescala-lang.com) – a library-based Scala extension.

Further Information

Details on the talk and how to register