MSc Mirko Köhler

MSc Mirko Köhler

MSc Mirko Köhler
koehler@cs.tu-darmstadt.de

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. OOPSLA
    ConSysT
    Rethinking Safe Consistency in Distributed Object-Oriented Programming
    Proc. ACM Program. Lang. 2020
  2. 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 2020
  3. OOPSLA
    Language-Integrated Privacy-Aware Distributed Queries
    Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini
    Proc. ACM Program. Lang. 2019
  4. ASE
    Automated Refactoring to Reactive Programming
    In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering 2019
  5. Distributed Object-Oriented Programming with Multiple Consistency Levels in ConSysT
    In Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity 2019
  6. OOPSLA
    ScalaLoci
    Distributed System Development with ScalaLoci
    Proc. ACM Program. Lang. 2018
  7. 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 & Applications 2014