Registered user since Thu 15 Jul 2021
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.
Contributions
2024
ECOOP
ISSTA
2023
Mining Software Repositories
SPLASH
ECOOP
- Author of A Direct-Style Effect Notation for Sequential and Parallel Programs within the Research Papers-track
- Author of LoRe: A Programming Model for Verifiably Safe Local-First Software within the Research Papers-track
- Author of Algebraic Replicated Data Types: Programming Secure Local-First Software within the Research Papers-track
2022
ESEC/FSE
ECOOP
- Speaker of Opening within the Keynotes-track
- Presenter of Awards, Outlooks, and Farewells within the Keynotes-track
- General Co-Chair in Organizers
- Committee Member in Chairs within the PL4AI Summer School-track
- Author of Prisma: A tierless language for enforcing contract-client protocols in decentralized apps within the Research Papers-track
PLDI
PLF
Mining Software Repositories
2021
ASE
ESEM
ESEC/FSE
AISTA
ECOOP
ECOOP/ISSTA
2020
2019
SPLASH
- Author of Language-Integrated Privacy-Aware Distributed Queries within the Posters-track
- Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the Posters-track
- Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the OOPSLA-track
- Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track
GPCE
ECOOP
Mining Software Repositories
MoreVMs
2018
ESEC/FSE
LIVE
SPLASH
SOAP
ECOOP
2017
ECOOP
Incremental Computing
2016
2015
SPLASH
2014
SPLASH
- Author of i3QL: Language-Integrated Live Data Views within the OOPSLA-track
- Presenter of i3QL: Language-Integrated Live Data Views within the OOPSLA Artifacts-track
- Committee Member in External Review Committee within the OOPSLA-track
- Author of Distributed REScala: An Update Algorithm for Distributed Reactive Programming within the OOPSLA-track