Publications

2020

  • Y. Lin, A. Barker, J. Thomson. Modelling VM Latent Characteristics and Predicting Application Performance using Semi-supervised Non-negative Matrix Factorization. In 2020 IEEE 13th International Conference on Cloud Computing (CLOUD 2020).

  • Y. Lin, J. Briggs, A. Barker. FIFE: an Infrastructure-as-code based Framework for Evaluating VM Instances from Multiple Clouds. In 13th IEEE/ACM International Conferencce on Utility and Cloud Computing (UCC 2020).

  • Y.Lin, A. Barker, S. Ceesay. Exploring Characteristics of Inter-cluster Machines and Cloud Applications on Google Clusters. In The 4th Workshop on Benchmarking, Performance Tuning and Optimization for Big Data Applications (BPOD 2020).

  • S. Ceesay, Y. Lin, A. Barker. A Survey: Benchmarking and Performance Modelling of Data Intensive Applications. In The 7th IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT 2020).

2019

  • S. Ceesay, A. Barker, Y. Lin. Benchmarking and Performance Modelling of MapReduce Communication Pattern. In The 11th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2019).

  • Y. Lin, A. Bundy, G. Grov, E. Maclean. Automating Event-B Invariant Proofs by Rippling and Proof Patching. in Formal Aspects of Computing, 2019.

  • A. Elhabbash, Y. Elkhatib, G. Blair, Y. Lin, A. Barker, J. Thomson. Envisioning SLO-driven Service Selection in Multi-cloud Applications. In 8th International Workshop on Cloud and Edge Computing, and Applications Management (CloudAM2019)

  • A. Elhabbash, Y. Elkhatib, G. Blair, Y. Lin, A. Barker, J. Thomson. A Framework for SLO-driven Cloud Specification and Brokerage. In The 6th Workshop on CrossCloud Infrastructures & Platforms (CrossCloud 2019).

2018

  • W. Chen, Y. Lin, V. Galpin, V. Nigam, M. Lee, and D. Aspinall. Formal Analysis of Sneak-Peek: A Data Centre Attack and its Mitigations. In 33th International Conference on ICT Systems Security and Privacy Protection (IFIP SEC’18).

2017

  • G. Grov and Y. Lin. The Tinker tool for graphical tactic development. In Software Tools for Technology Transfer, pages 1-17, DOI: 10.1007/s10009-017-0452-7, 2017

2016

  • Y. Lin, G. Grov and R. Arthan. Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC. In Journal of Formalized Reasoning, Volume 9, No 2 (2016), pages 69-130.

  • G. Grov, Y. Lin and P. Le Bras. The Tinker GUI for graphical proof strategies. In 3rd Workshop on Formal Integrated Development Environment (FIDE), 2016.

  • G. Grov, Y. Lin, L. McGregoer, V. Tumas and D. Cameron. Extending the Dafny IDE with tactics and dead annotation analysis. In 3rd Workshop on Formal Integrated Development Environment (FIDE), 2016.

  • G. Grov, Y. Lin and V. Tumas. Mechanised Verification Patterns for Dafny. In the 21st International Conference on Formal Methods (FM 2016).

  • Y. Lin, G. Grov, C. O'Halloran and P. G. A super industrial application of PSGraph. In the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), volume 9675 of LNCS, pages 319–325, Springer, 2016.

  • Y. Liang, Y. Lin and G. Grov. ‘The Tinker’ for Rodin. In the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016), volume 9675 of LNCS, pages 262–268, Springer, 2016.

  • Y. Lin, P. Le Bras and G. Grov. Developing & Debugging Proof Strategies by Tinkering. In the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), volume 9636 of LNCS, pages 573–579, Springer, 2016.

2011 - 2015

  • P. Le Bras, Y. Lin and G. Grov. Tinker: A Graph Based Proof Strategy System. In AI4FM 2015 (extended abstract)

  • G. Grov, A. Kissinger and Y. Lin. Tinker, Tailor, Solver, Proof. In Proceedings of Eleventh Workshop on User Interfaces for Theorem Provers (UITP 2014), Vienna, Austria, 2014. Electronic Proceedings of Theoretical Computer Science 167, pp. 23-34.

  • G. Grov, A. Kissinger and Y. Lin. A Graphical Language for Proof Strategies. In Logic for Programming Artificial Intelligence and Reasoning, LPAR-19th, Stellenbosch, South Africa, 2013.

  • Y. Lin, A. Bundy, and G. Grov. The Use of Rippling to Automate Event-B Invariant Preservation Proofs. In Alwyn Goodloe and Suzette Person, editors, NASA Formal Methods, 4th International Symposium, NFM 2012, volume 7226 of LNCS, pages 231–236. Springer, 2012.