Mirko Köhler

According to our database, Mirko Köhler authored at least 8 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Safe Combination of Data-Centric and Operation-Centric Consistency.

Mirko Köhler, Guido Salvaneschi

Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

2020

Rethinking safe consistency in distributed object-oriented programming.

Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, Guido Salvaneschi

Proc. ACM Program. Lang., 2020

ConSysT: tunable, safe consistency meets object-oriented programming.

Mirko Köhler, Nafise Eskandani Masoule, Alessandro Margara, Guido Salvaneschi

Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020

2019

Language-integrated privacy-aware distributed queries.

Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini

Proc. ACM Program. Lang., 2019

Distributed object-oriented programming with multiple consistency levels in ConSysT.

Nafise Eskandani, Mirko Köhler, Alessandro Margara, Guido Salvaneschi

Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019

Automated Refactoring to Reactive Programming.

Mirko Köhler, Guido Salvaneschi

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018

Distributed system development with ScalaLoci.

Pascal Weisenburger, Mirko Köhler, Guido Salvaneschi

Proc. ACM Program. Lang., 2018

2014

i3QL: language-integrated live data views.

Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014