Publications in the last 5 years - Reset view
Show last 2, 5, 10, 25 or all years, or choose:
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

25. Daniel R. Thomas, Sergio Pastrana, Alice Hutchings, Richard Clayton, Alastair R. Beresford, "Ethical issues in research using datasets of illicit origin," Proceedings of the Internet Measurement Conference (IMC), London, UK, pp. 445-462, Nov 2017

26. D. Orchard, M. Contrastin, M. Danish, A. Rice, "Verifying spatial properties of array computations," Proceedings of the ACM on Programming Languages, vol. 1, pp. 1--30, Association for Computing Machinery (ACM), Oct 2017

27. 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

28. Thomas Pasquier, Xueyuan Han, Mark Goldstein, Thomas Moyer, David Eyers, Margo Seltzer, Jean Bacon, "Practical Whole-System Provenance Capture," Symposium on Cloud Computing (SoCC'17), ACM, Sep 2017

29. AC Rice, E. Aftandilian, C. Jaspan, E. Johnston, M. Pradel, Y. Arroyo-Paredes, "Detecting Argument Selection Defects," Proceedings of the ACM on Programming Languages, ACM, Aug 2017

30. Xueyuan Han, Thomas Pasquier, Tanvi Ranjan, Mark Goldstein, Margo Seltzer, "FRAPpuccino: Fault-detection through Runtime Analysis of Provenance," Workshop on Hot Topics in Cloud Computing (HotCloud'17), USENIX, Jul 2017

31. 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

32. Xin Ding, Wei Chen, Ian Wassell, "Joint Sensing Matrix and Sparsifying Dictionary Optimization for Tensor Compressive Sensing," IEEE Transactions on Signal Processing, May 2017

33. Thomas Pasquier, David Eyers, Jean Bacon, "PHP2Uni: Building Unikernels using Scripting Language Transpilation," International Conference on Cloud Engineering (IC2E'17), IEEE, Apr 2017

34. Daniel R. Thomas, Richard Clayton, Alastair R. Beresford, "1000 days of UDP amplification DDoS attacks," APWG Symposium on Electronic Crime Research (eCrime), Scottsdale, AZ, USA, IEEE, Apr 2017

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

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

37. Z. Feng, I. Wassell, "Joint channel sensing and power control scheme for cognitive radio wireless sensor networks," 2017 Wireless Days, pp. 180-183, Mar 2017

38. DA Orchard, M. Contrastin, M. Danish, AC Rice, "Verifying spatial properties of array computations.," PACMPL, vol. 1, no. OOPSLA, pp. 75:1--75:1, 2017

39. Thomas Pasquier, Matthew Lau, Ana Trisovic, Emery Boose, Ben Couturier, Aaron Ellison, Valerie Gibson, Chris Jones, Margo Seltzer, "If these data could talk," Scientific Data, Nature, 2017

40. Yang Liu, Qingchao Chen, Ian Wassell, "Deep network for image super-resolution with a dictionary leaning layer," IEEE International Conference on Image Processing, 2017

41. Jatinder Singh, Thomas Pasquier, Jean Bacon, Raluca Diaconu, Julia Powles, David Eyers, "Big Ideas paper:Policy-driven middleware for a legally-compliant Internet of Things," ACM/IFIP/Usenix Middleware, ACM, Dec 2016

42. Wei Chen, David Wipf, Yu Wang, Yang Liu, Ian Wassell, "Simultaneous Bayesian Sparse Approximation With Structured Sparse Models," IEEE Transactions on Signal Processing, Dec 2016

43. Z. Feng, I. Wassell, "Competitive Distributed Spectrum Access in QoS-Constrained Cognitive Radio Networks," 2016 IEEE Global Communications Conference (GLOBECOM), pp. 1-6, Dec 2016

44. Yang Liu, Wei Chen, Qingchao Chen, Ian Wassell, "Support Discrimination Dictionary Learning for Image Classification," European Conference on Computer Vision (ECCV), Oct 2016

45. A. Hopper, J. McCanny, "Progress and Research in Cybersecurity," Royal Society Report, Royal Society, Jul 2016

46. Thomas Pasquier, Jean Bacon, Jatinder Singh, David Eyers, "Data-Centric Access Control for Cloud Computing," Symposium on Access Control Models and Technologies (SACMAT'16), ACM, Jun 2016

47. Nikilesh Balakrishnan, Thomas Bytheway, Lucian Carata, Ripduman Sohan, Andy Hopper, "Towards Secure User-space Provenance Capture," 8th USENIX Workshop on the Theory and Practice of Provenance (TaPP 16), Washington, D.C., USENIX Association, Jun 2016

48. Sherif Akoush, Ripduman Sohan, Andrew Rice, Andy Hopper, "Evaluating the viability of remote renewable energy in datacentre computing," Technical Report, UCAM-CL-TR-889, University of Cambridge, Computer Laboratory, May 2016

49. Sherif Akoush, Ripduman Sohan, Andy Hopper, "Recomputation-based data reliability for MapReduce using lineage," Technical Report, UCAM-CL-TR-888, University of Cambridge, Computer Laboratory, May 2016

50. Wei Chen, Ian Wassell, "Bayesian Learning For The Type-3 Joint Sparse Signal Recovery," IEEE International Conference on Communications (ICC), May 2016

51. Z. Feng, I. Wassell, "Dynamic power control and optimization scheme for QoS-constrained cooperative wireless sensor networks," 2016 IEEE International Conference on Communications (ICC), pp. 1-6, May 2016

52. Thomas Pasquier, Jatinder Singh, Jean Bacon, AND David Eyers, "Information Flow Audit for PaaS clouds," International Conference on Cloud Computing Engineering (IC2E'16), IEEE, Apr 2016

53. Xin Ding, Wei Chen, Ian Wassell, "Nonconvex Compressive Sensing Reconstruction For Tensor Using Structures In Modes," IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Mar 2016

54. S Herbert, I Wassell, T H Loh, "A Simple Recursively Computable Lower Bound on the Noncoherent Capacity of Highly Underspread Fading Channels," IEEE Transactions on Wireless Communications, vol. PP, no. 99, IEEE, Feb 2016

55. Jatinder Singh, Thomas Pasquier, Jean Bacon, Hajoon Ko, David Eyers, "Twenty Cloud Security Considerations for Supporting the Internet of Things," IEEE Internet of Things Journal, IEEE, 2016

56. M. Contrastin, M. Danish, D. Orchard, A. Rice, "Lightning talk: Supporting software sustainability with lightweight specifications," CEUR Workshop Proceedings, vol. 1686, 2016

57. Wei Chen, Ian J. Wassell, "A Decentralized Bayesian Algorithm For Distributed Compressive Sensing in Networked Sensing Systems," IEEE Transactions on Wireless Communications, vol. 15, no. 2, pp. 1282-1292, 2016

58. Wei Chen, Ian Wassell, "Cost-Aware Activity Scheduling for Compressive Sleeping Wireless Sensor Networks," IEEE Transactions on Signal Processing, 2016

59. Wei Chen, Ian Wassell, "Optimized Node Selection for Compressive Sleeping Wireless Sensor Networks," IEEE Transactions on Vehicular Technology, vol. 65, no. 2, pp. 827-836, 2016

60. Xin Ding, Wei Chen, Ian Wassell, "Compressive Sensing Reconstruction for Video: an Adaptive Approach Based on Motion Estimation," IEEE Transactions on Circuits and Systems for Video Technology, 2016