Peter Zeller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2014–2018
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | EuroSys | Ensuring referential integrity under causal consistency. | Marc Shapiro, Annette Bieniusa, Peter Zeller, Gustavo Petri |
| 2017 | EuroSys | FMKe: a Real-World Benchmark for Key-Value Data Stores. | Gonalo Toms, Peter Zeller, Valter Balegas, Deepthi Devaki Akkoorath, Annette Bieniusa, Joo Leito, Nuno M. Preguia |
| 2017 | EuroSys | Testing properties of weakly consistent programs with Repliss. | Peter Zeller |
| 2016 | SEFM | Towards a Proof Framework for Information Systems with Weak Consistency. | Peter Zeller, Arnd Poetzsch-Heffter |
| 2014 | FORTE | Formal Specification and Verification of CRDTs. | Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter |