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
2025
2024
ASE
ECOOP
ISSTA
ECOOP/ISSTA
- Panelist of Learning the Effects of Software Changes within the Doctoral Symposium-track
- Panelist of With Biabduction towards Memory Safety across the Rust-C-FFI within the Doctoral Symposium-track
- Panelist of Decentralized Near-Synchronous Local-First Programming Collaboration within the Doctoral Symposium-track
- Panelist of Collaboration to Repository-Level Vulnerability Detection within the Doctoral Symposium-track
- Panelist of Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins within the Doctoral Symposium-track
- Panelist of Graph Learning for Extract Class Refactoring within the Doctoral Symposium-track
- Panelist of Shaping Test Inputs in Grammar-Based Fuzzing within the Doctoral Symposium-track
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