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 Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
|13:50 - 14:30|
Curry On Talks
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
Curry On Talks
Sztefan EdwardsnVisium LLC