Modular Composition of Reactive Applications
This talk will present ongoing work in the context of the PACE (Programming Abstractions for Applications in Cloud Environments) ERC Advanced Grant. I will start by presenting core concepts of REScala, a language for concurrent and distributed reactive programming. Next, I will focus on our ongoing work on CorrL, a core language that aims at unifying concepts for reactives, events, and streams to enable a broad range of custom correlation behaviors, be it relational-algebra joins, CEP-style event patterns, RP combinators, or synchronization patterns. The key insight is to separate general-purpose and custom correlation semantics via an extensible effect system that enables fine-grained control over correlation semantics. I will conclude with a more speculative discussion of how I envision CorrL’s concepts to be integrated into REScala and its generalized correlation semantics to be part of a module system for reactive cloud-based applications.
I am a Professor of Computer Science at the Technical University of Darmstadt, Germany.
My research focuses on software development paradigms and tools.
On the paradigms side, I develop programming languages to enable the visions of “software as a service (SaaS)” and “software product-lines” by providing large-scale module concepts with built-in support for adaptability and extensibility.
On the tools side, I work on intelligent software-development environments that guide developers to increase the development productivity and the software quality. Such environment leverage web-based resources to automatically generate and recommend established programming rules and patterns; they also enable architects to explicitly specify such patterns to be enforced during development.
I have (co)authored over 100 scientific publications in renowned publication venues in software engineering and programming languages. I regularly serve on steering committees, program committees, and editorial boards of top tier conferences and journals in software engineering and programming languages.
Tue 20 Jun (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
|13:50 - 14:30|
Mira MeziniTU Darmstadt
|14:40 - 15:20|
On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to hate everything & love better type systems
Sztefan EdwardsnVisium LLC