MSc Mirko Köhler

MSc Mirko Köhler

MSc Mirko Köhler
0000-0001-5497-9785

Hochschulstr. 10
64289 Darmstadt, Germany

I work on programming abstractions for replicated data. Currently, I’m the main contributor to ConSysT, an object-oriented language for mixed consistency with replicated objects. My research interests include concurrency, mixed consistency protocols, and type systems.

Publications

  1. MSR
    TerraDS: A Dataset for Terraform HCL Programs
    In Proceedings of the IEEE/ACM 22nd International Conference on Mining Software Repositories, MSR, 2025
  2. Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications
    IEEE Transactions on Software Engineering 51 (1), 2024
  3. ECOOP
    Compiling with Arrays
    David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
    In Proceedings of the 38th European Conference on Object-Oriented Programming (ECOOP), Leibniz International Proceedings in Informatics (LIPIcs), 2024
  4. SPLASH Companion
    ConSysT
    Safe Combination of Data-Centric and Operation-Centric Consistency
    In Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion, 2023
  5. ECOOP
    A Direct-Style Effect Notation for Sequential and Parallel Programs
    David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
    In Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP), Leibniz International Proceedings in Informatics (LIPIcs), 2023
  6. OOPSLA
    ConSysT
    Rethinking Safe Consistency in Distributed Object-Oriented Programming
    Proceedings of the ACM on Programming Languages 4 (OOPSLA), 2020
  7. FTfJP
    ConSysT
    ConSysT: Tunable, Safe Consistency Meets Object-Oriented Programming
    In Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, FTfJP, 2020
  8. ASE
    Automated Refactoring to Reactive Programming
    In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, ASE, 2019
  9. SPLASH Companion
    ConSysT
    Distributed Object-Oriented Programming with Multiple Consistency Levels in ConSysT
    In Companion Proceedings of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion, 2019
  10. OOPSLA
    Language-Integrated Privacy-Aware Distributed Queries
    Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini
    Proceedings of the ACM on Programming Languages 3 (OOPSLA), 2019
  11. OOPSLA
    ScalaLoci
    Distributed System Development with ScalaLoci
    Proceedings of the ACM on Programming Languages 2 (OOPSLA), 2018
  12. OOPSLA
    i3QL: Language-Integrated Live Data Views
    Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi
    In Proceedings of the 2014 ACM International Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA, 2014