Martin Kleppmann
User ID:mk428
Position:Research Associate
E-mail:mk428@cam.ac.uk
Homepage:https://www.cl.cam.ac.uk /~mk428
Office:SN04
College:Corpus Christi
Publications - Show all

1. Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford, "OpSets: Sequential Specifications for Replicated Datatypes (Proof Document)," Technical Report, Archive of Formal Proofs, May 2018

2. Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford, "OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)," Technical Report, arXiv:1805.04263, May 2018

3. Martin Kleppmann, "Apache Samza," Encyclopedia of Big Data Technologies, Springer, Mar 2018

4. Martin Kleppmann, Stephan A. Kollmann, Diana A. Vasile, Alastair R. Beresford, "From Secure Messaging to Secure Collaboration," 26th International Workshop on Security Protocols (SPW), Mar 2018

5. Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford, "Verifying Strong Eventual Consistency in Distributed Systems," Proceedings of the ACM on Programming Languages (PACMPL), vol. 1, no. OOPSLA, Oct 2017

6. Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford, "A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes," Technical Report, Archive of Formal Proofs, Jul 2017

7. Martin Kleppmann, Alastair R. Beresford, "A Conflict-Free Replicated JSON Datatype," IEEE Transactions on Parallel and Distributed Systems, Apr 2017

8. Martin Kleppmann, "Designing Data-Intensive Applications," O'Reilly Media, Mar 2017

9. Martin Kleppmann, Conrad Irwin, "Strengthening public key authentication against key theft," 9th International Conference on Passwords, Cambridge, UK, Dec 2015

10. Martin Kleppmann, Jay Kreps, "Kafka, Samza and the Unix philosophy of distributed data," IEEE Data Engineering Bulletin, Dec 2015

11. Martin Kleppmann, "A critique of the CAP theorem," Technical Report, arXiv:1509.05393, Sep 2015

12. Martin Kleppmann, "Simulation of colliding constrained rigid bodies," Technical Report, UCAM-CL-TR-683, University of Cambridge, Computer Laboratory, Apr 2007