Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mirko Köhler
conf.researchr.org general profile
ASE 2019 profile
FSE 2025 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
SPLASH 2014 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2023 profile
‹Programming› 2021 profile
Registered user since Wed 18 Sep 2019
Name:
Mirko Köhler
Affiliation:
TU Darmstadt
Personal website:
https://programming-group.com/members/koehler
Contributions
2025
ESEC/FSE
Author of Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications within the Journal First-track
2023
PLF
Author of Mixed & Verified Consistency with Propel & ConOpY within the PLF-track
SPLASH
Author of Safe Combination of Data-centric and Operation-centric Consistency within the Posters-track
2021
‹Programming›
Author of Techniques for Mixed Consistency in Programming Languages within the Conversation Starters-track
2020
SPLASH
Author of Rethinking Safe Consistency in Distributed Object-Oriented Programming within the OOPSLA-track
FTfJP
Author of ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming within the FTfJP-track
2019
ASE
Author of Automated Refactoring to Reactive Programming within the Research Papers-track
SPLASH
Author of Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT within the Posters-track
Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track
Author of Language-Integrated Privacy-Aware Distributed Queries within the Posters-track
2017
Incremental Computing
Author of Privacy-aware Distributed Incremental Computation within the IC 2017-track
2014
SPLASH
Presenter of i3QL: Language-Integrated Live Data Views within the OOPSLA Artifacts-track
Author of i3QL: Language-Integrated Live Data Views within the OOPSLA-track
Share
x
Mon 16 Jun 03:07
