Papers 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. AC Rice, N. Licker, "Detecting Incorrect Build Rules," 41st ACM/IEEE International Conference on Software Engineering, 2019

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

3. M. Danish, M. Allamanis, M. Brockschmidt, A. Rice, D. Orchard, "Learning units-of-measure from scientific code," SE4Science, 2019

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

5. Yang Liu, Zhaowen Wang, Hailin Jin, Ian Wassell, "Synthetically Supervised Feature Learning for Scene Text Recognition," European Conference on Computer Vision, Sep 2018

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

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

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

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

10. Yang Liu, Qingchao Chen, Wei Chen, Ian Wassell, "Dictionary Learning Inspired Deep Network for Scene Recognition," AAAI Conference on Artificial Intelligence, Feb 2018

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

50. Thomas Pasquier, Jatinder Singh, Jean Bacon, "Clouds of Things need Information Flow Control with Hardware Roots of Trust," International Conference on Cloud Computing Technology and Science (CloudCom'15), IEEE, Nov 2015

51. Xin Ding, Wei Chen, Ian Wassell, "Block-Based Feature Adaptive Compressive Sensing for Video," The Third International Workshop on Multimedia Communications and Networking (MultiCom), held in conjunction with the 14th IEEE International Conference on Ubiquitous Computing and Communications (IUCC), Oct 2015

52. Daniel R. Thomas, Alastair R. Beresford, Andrew Rice, "Security metrics for the Android ecosystem," ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM), Denver, Colorado, USA, ACM, Oct 2015

53. Yang Liu, Ian Wassell, "A New Face Recognition Algorithm based on Dictionary Learning for a Single Training Sample per Person," Proceedings of the British Machine Vision Conference (BMVC), pp. 69.1-69.11, BMVA Press, Sep 2015

54. James Snee, Lucian Carata, Oliver R. A. Chick, Ripduman Sohan, Ramsey M. Faragher, Andrew Rice, Andy Hopper, "Soroban: Attributing Latency in Virtualized Environments," 7th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 15), Santa Clara, CA, USENIX Association, Jul 2015

55. Nikilesh Balakrishnan, Thomas Bytheway, Lucian Carata, Oliver R. A. Chick, James Snee, Sherif Akoush, Ripduman Sohan, Margo Seltzer, Andy Hopper, "Recent Advances in Computer Architecture: The Opportunities and Challenges for Provenance," 7th USENIX Workshop on the Theory and Practice of Provenance (TaPP 15), Edinburgh, Scotland, USENIX Association, Jul 2015

56. Yu Wang, David Wipf, Jeong Min Yun, Wei Chen, Ian J. Wassell, "Clustered Sparse Bayesian Learning," The Conference on Uncertainty in Artificial Intelligence (UAI), Jul 2015

57. Yu Wang, David Wipf, Qing Ling, Wei Chen, Ian Wassell, "Multi-Task Learning for Subspace Segmentation," International Conference on Machine Learning (ICML), Jul 2015

58. Thomas Pasquier, Jatinder Singh, Jean Bacon, Olivier Hermant, "Managing Big Data with Information Flow Control," International Conference on Cloud Computing (CLOUD'15), IEEE, Jun 2015

59. Wei Chen, Ian Wassell, "Variational Bayesian Algorithm For Distributed Compressive Sensing," IEEE International Conference on Communications (ICC), Jun 2015

60. Xin Ding, Wei Chen, Ian Wassell, "Sparsity-fused Kalman Filtering for Reconstruction of Dynamic Sparse Signals," IEEE International Conference on Communications (ICC), Jun 2015

61. Jatinder Singh, Thomas Pasquier, Jean Bacon, "Securing Tags to Control Information Flows within the Internet of Things," International Conference on Recent Advances in Internet of Things (RIoT'15), Apr 2015

62. Jatinder Singh, Thomas Pasquier, Jean Bacon, David Eyers, "Integrating Middleware with Information Flow Control," International Conference on Cloud Computing Engineering (IC2E'15), IEEE, Mar 2015

63. Thomas Pasquier, Jatinder Singh, Jean Bacon, "Information Flow Control for Strong Protection with Flexible Sharing in PaaS," IC2E, International Workshop on Future of PaaS, IEEE, Mar 2015

64. Thomas Pasquier, Julia Powles, "Expressing and Enforcing Location Requirements in the Cloud using Information Flow Control," IC2E International Workshop on Legal and Technical Issues in Cloud Computing (Claw'15), Mar 2015

65. [alphabetic] B. Adcock, A. Hansen, B. Roman, "Compressed sensing with local structure: Theory, applications and benefits," IEEE Sampling Theory and Applications, SampTA, Mar 2015

66. Daniel R. Thomas, Alastair R. Beresford, Thomas Coudray, Tom Sutcliffe, Adrian Taylor, "The lifetime of Android API vulnerabilities: case study on the JavaScript-to-Java interface," Security Protocols XXIII, Cambridge, UK, series LNCS, Springer, Mar 2015

67. Jatinder Singh, Julia Powles, Thomas Pasquier, Jean Bacon, "Data Flow Management and Compliance in Cloud Computing," IEEE Cloud Computing Magazine, IEEE, 2015

68. Oliver RA Chick, Lucian Carata, James Snee, Nikilesh Balakrishnan, Ripduman Sohan, "Shadow Kernels: A General Mechanism For Kernel Specialization in Existing Operating Systems," Proceedings of the 6th Asia-Pacific Workshop on Systems, pp. 1, 2015

69. Thomas Pasquier, Jatinder Singh, David Eyers, Jean Bacon, "CamFlow: Managed Data-Sharing for Cloud Services," IEEE Transactions on Cloud Computing, IEEE, 2015

70. Wei Chen, Ian Wassell, Miguel Rodrigues, "Dictionary Design for Distributed Compressive Sensing," IEEE Signal Processing Letters, vol. 22, no. 1, pp. 95-99, 2015

71. Thomas Pasquier, Jean Bacon, David Eyers, "FlowK: Information Flow Control for the Cloud," International Conference on Cloud Computing Technology and Science (CloudCom'14), IEEE, Dec 2014

72. Wei Chen, Ian Wassell, "Compressive Sleeping Wireless Sensor Networks With Active Node Selection," IEEE Global Communications Conference (GLOBECOM), Dec 2014

73. Steven Herbert, Tian-Hong Loh, Ian Wassell, "Assessment of a low-profile planar antenna for a wireless sensor network monitoring the local water distribution network," IET Wireless Sensor Systems, vol. 4, pp. 191-195(4), Institution of Engineering and Technology, Dec 2014

74. Steven Herbert, Tian-Hong Loh, Ian Wassell, Jonathan Rigelsford, "On the Analogy Between Vehicle and Vehicle-like Cavities with Reverberation Chambers," IEEE Transactions on Antennas and Propagations, Oct 2014

75. G. P. Bailey, R. K. Harle, "Investigation of Sensor Parameters for Kinematic Assessment of Steady State Running using Foot Mounted IMUs," icSPORTS 2014, Oct 2014

76. Xin Ding, Wei Chen, Ian Wassell, "Generalized-KFCS: Motion Estimation Enhanced Kalman Filtered Compressive Sensing for Video," IEEE International Conference on Image Processing (ICIP), Oct 2014

77. Steven Herbert, Steven Murdoch, Elena Punskaya, "Optimising node selection probabilities in multi-hop M/D/1 queuing networks to reduce latency of Tor," IET Electronics Letters, vol. 50, no. 17, pp. 1205-1207, Aug 2014

78. Bogdan Roman, Ben Adcock, Anders Hansen, "On asymptotic structure in compressed sensing," arXiv:1406.4178, Jul 2014

79. G. P. Bailey, R. K. Harle, "Assessment of Foot Kinematics During Steady State Running Using a Foot-mounted IMU," Procedia Engineering, Jul 2014

80. S. Herbert, I. Wassell, T. Loh, J. Rigelsford, "Characterizing the Spectral Properties and Time Variation of the In-Vehicle Wireless Communication Channel," Communications, IEEE Transactions on, vol. 62, no. 7, pp. 2390-2399, Jul 2014

81. Sherif Akoush, Lucian Carata, Ripduman Sohan, Andy Hopper, "MrLazy: Lazy Runtime Label Propagation for MapReduce," 6th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 14), Philadelphia, PA, USENIX Association, Jun 2014

82. Yu Wang, David Wipf, Wei Chen, Ian Wassell, "Exploiting the Convex-Concave Penalty for Tracking: A Novel Dynamic Reweighted Sparse Bayesian Learning Algorithm," IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP), May 2014

83. Thomas Pasquier, Jean Bacon, Brian Shand, "FlowR: Aspect Oriented Programming for Information Flow Control in Ruby," International Conference on Modularity, ACM, Apr 2014

84. [alphabetic] Ben Adcock, Anders Hansen, Bogdan Roman, "The quest for optimal sampling: Computationally efficient, structure-exploiting measurements for compressed sensing," Book: Compressed Sensing and Its Applications, Springer (to appear), Mar 2014

85. [alphabetic] Ben Adcock, Anders Hansen, Bogdan Roman, "A note on compressed sensing of structured sparse wavelet coefficients from subsampled Fourier measurements," arXiv:1403.6541, Mar 2014

86. Daniel R. Thomas, Alastair R. Beresford, "Better authentication: Password revolution by evolution," Security Protocols XXII, Cambridge, UK, series LNCS, vol. 8809, pp. 130--145, Springer, Mar 2014

87. Jean Bacon, David Eyers, Thomas Pasquier, Jatinder Singh, Ioannis Papagiannis, Peter Pietzuch, "Information Flow Control for Secure Cloud Computing," IEEE Transactions on Network and System Management, SI Cloud Service Management, vol. 11, no. 1, pp. 76-89, Jan 2014

88. [alphabetic] Ben Adcock, Anders Hansen, Bogdan Roman, Gerd Teschke, "Generalized sampling: stable reconstructions, inverse problems and compressed sensing over the continuum," Book Series: Advances in Imaging and Electron Physics, vol. 182, Elsevier, 2014

89. Lucian Carata, Sherif Akoush, Nikilesh Balakrishnan, Thomas Bytheway, Ripduman Sohan, Margo Seltzer, Andy Hopper, "A primer on provenance," Communications of the ACM, vol. 57, no. 5, pp. 52--60, ACM, 2014

90. Nikilesh Balakrishnan, Thomas Bytheway, Ripduman Sohan, Andy Hopper, "Report From the CoalFace: Lessons Learnt Building A General-Purpose Always-On Provenance System," 6th USENIX Workshop on the Theory and Practice of Provenance (TaPP 2014), Cologne, USENIX Association, 2014