Martin Kleppmann

According to our database1, Martin Kleppmann authored at least 13 papers between 2015 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Apache Samza.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Online Event Processing.
ACM Queue, 2019

Snapdoc: Authenticated snapshots with history privacy in peer-to-peer collaborative editing.
PoPETs, 2019

Online event processing.
Commun. ACM, 2019

2018
OpSets: Sequential Specifications for Replicated Datatypes.
Archive of Formal Proofs, 2018

From Secure Messaging to Secure Collaboration.
Proceedings of the Security Protocols XXVI, 2018

From Secure Messaging to Secure Collaboration (Transcript of Discussion).
Proceedings of the Security Protocols XXVI, 2018

2017
A Conflict-Free Replicated JSON Datatype.
IEEE Trans. Parallel Distrib. Syst., 2017

Verifying strong eventual consistency in distributed systems.
PACMPL, 2017

A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes.
Archive of Formal Proofs, 2017

2016
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
O'Reilly, ISBN: 978-1-4493-7332-0, 2016

2015
Kafka, Samza and the Unix Philosophy of Distributed Data.
IEEE Data Eng. Bull., 2015

Strengthening Public Key Authentication Against Key Theft (Short Paper).
Proceedings of the Technology and Practice of Passwords - 9th International Conference, 2015


  Loading...