Filter by private, public or all publications.
Show papers, talks/posters, theses, reports, other or all types, or:
1. Martin Kleppmann, "Moving Elements in List CRDTs," 7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Apr 2020
2. Peter van Hardenberg, Martin Kleppmann, "PushPin: Towards Production-Quality Peer-to-Peer Collaboration," 7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Apr 2020
3. Martin Kleppmann, Adam Wiggins, Peter van Hardenberg, Mark McGranaghan, "Local-first software: You own your data, in spite of the cloud," pp. 154-178, Oct 2019
4. Stephan A. Kollmann, Martin Kleppmann, Alastair R. Beresford, "Snapdoc: Authenticated snapshots with history privacy in peer-to-peer collaborative editing," Privacy Enhancing Technologies Sympoisum (PETS), Stockholm, Sweden, Jul 2019
5. Martin Kleppmann, Alastair R. Beresford, Boerge Svingen, "Online Event Processing: Achieving consistency where distributed transactions have failed," Communications of the ACM, vol. 62, no. 5, pp. 43-49, ACM, May 2019
6. Diana A. Vasile, Martin Kleppmann, Daniel R. Thomas, Alastair R. Beresford., "Ghost trace on the wire? Using key evidence for informed decisions," 27th International Workshop on Security Protocols, Apr 2019
7. Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford., "Interleaving anomalies in collaborative text editors," 6th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), Mar 2019
8. AC Rice, N. Licker, "Detecting Incorrect Build Rules," 41st ACM/IEEE International Conference on Software Engineering, 2019
9. A. Mesbah, A. Rice, E. Aftandilian, E. Johnston, N. Glorioso, "DeepDelta: Learning to Repair Compilation Errors," The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
10. M. Danish, M. Allamanis, M. Brockschmidt, A. Rice, D. Orchard, "Learning units-of-measure from scientific code," SE4Science, 2019
11. R. Moore, A. Caines, A. Rice, P. Buttery, "Behavioural cloning of teachers for automatic homework selection," Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 333--344, 2019
12. Yang Liu, Zhaowen Wang, Hailin Jin, Ian Wassell, "Synthetically Supervised Feature Learning for Scene Text Recognition," European Conference on Computer Vision, Sep 2018
13. Q. Chen, Y. Liu, Z Wang, I. J. Wassell, K. Chetty, "Re-weighted Adversarial Adaptation Network for Unsupervised Domain Adaptation," IEEE 2018 Conference on Computer Vision and Pattern Recognition (CVPR 2018), Salt Lake City, USA, IEEE, Jun 2018
14. Y. Liu, Z Wang, H. Jin, I. J. Wassell, "Multi-Task Adversarial Adaptation Network for Disentangled Feature Learning," IEEE 2018 Conference on Computer Vision and Pattern Recognition (CVPR 2018), Salt Lake City, USA, IEEE, Jun 2018
15. 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
16. 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
17. Martin Kleppmann, "Apache Samza," Encyclopedia of Big Data Technologies, Springer, Mar 2018
18. 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
19. Yang Liu, Qingchao Chen, Wei Chen, Ian Wassell, "Dictionary Learning Inspired Deep Network for Scene Recognition," AAAI Conference on Artificial Intelligence, Feb 2018
20. M. Contrastin, D. Orchard, A. Rice, "Automatic Reordering for Dataflow Safety of Datalog," Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18, ACM Press, 2018
21. Thomas Pasquier, Jatinder Singh, Julia Powles, David Eyers, Margo Seltzer, Jean Bacon, "Data provenance to audit compliance with privacy policy in the Internet of Things," Personal and Ubiquitous Computing, Springer, 2018
22. Thomas Pasquier, Matthew Lau, Xueyuan Han, Elizabeth Fong, Barbara Lerner, Emery Boose, Merce Crosas, Aaron Ellison, Margo Seltzer, "Sharing and Preserving Computational Analyses for Posterity with encapsulator," IEEE Computing in Science and Engineering (CiSE), IEEE, 2018
23. Thomas Pasquier, Xueyuan Han, Thomas Moyer, Adam Bates, Olivier Hermant, David Eyers, Jean Bacon, Margo Seltzer, "Runtime Analysis of Whole-System Provenance," Conference on Computer and Communications Security (CCS'18), 2018
24. Xueyuan Han, Thomas Pasquier, Margo Seltzer, "Provenance-based Intrusion Detection: Opportunities and Challenges," Workshop on the Theory and Practice of Provenance (TaPP\textquoteright18), USENIX, 2018