Mirko Köhler
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 5 in the filters
who talks about the same things
- Guido Salvaneschi17 talks
- Mira Mezini7 talks
- Pascal Weisenburger11 talks
- Constantin Enea14 talks
- Gowtham Kaki10 talks
- Philipp Haller11 talks
| title | conference | date |
|---|---|---|
| Mixed & Verified Consistency with Propel and ConOpY | PLF 2023 | 2023-10-22 |
ConOpY is an object-oriented language that annotates replicated objects and methods with consistency levels and enforces them in the type system so programs… | ||
| Rethinking Safe Consistency in Distributed Object-Oriented Programming | OOPSLA 2020 | 2020-11-15 |
ConSysT is an extension to Java that models a replicated store with Ref references annotated by consistency (examples: @Ev for eventual) and supports… | ||
| nothing matches | ||