Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++ - Christopher Brown; Vladimir Janjic; Adam D. Barwell; Javier Daniel Garcia; Kenneth MacKenzie (Int. J. Parallel Program., 2020)

The Extended UTXO Model - Manuel M. T. Chakravarty; James Chapman; Kenneth MacKenzie; Orestis Melkonian; Michael Peyton Jones; Philip Wadler (Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers, 2020)

Native Custom Tokens in the Extended UTXO Model - Manuel M. T. Chakravarty; James Chapman; Kenneth MacKenzie; Orestis Melkonian; Jann Müller; Michael Peyton Jones; Polina Vinogradova; Philip Wadler (Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, 2020)

UTXO\(_sf ma\): UTXO with Multi-asset Support - Manuel M. T. Chakravarty; James Chapman; Kenneth MacKenzie; Orestis Melkonian; Jann Müller; Michael Peyton Jones; Polina Vinogradova; Philip Wadler; Joachim Zahnentferner (Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, 2020)

A Hybrid Approach to Parallel Pattern Discovery in C++ - Christopher Brown; Vladimir Janjic; Adam D. Barwell; John Donald Thomson; Roberto Castañeda Lozano; Murray Cole; Björn Franke; José Daniel García Sánchez; David del Rio Astorga; Kenneth MacKenzie (28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2020, Västerås, Sweden, March 11-13, 2020, 2020)

Unraveling Recursion: Compiling an IR with Recursion to System F - Michael Peyton Jones; Vasilis Gkoumas; Roman Kireev; Kenneth MacKenzie; Chad Nester; Philip Wadler (Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings, 2019)

Automatic pharynx and larynx cancer segmentation framework (PLCSF) on contrast enhanced MR images - Trushali Doshi; John J. Soraghan; Lykourgos Petropoulakis; Gaetano Di Caterina; Derek Grose; Kenneth MacKenzie; Christina Wilson (Biomed. Signal Process. Control., 2017)

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform - Phil Trinder; Natalia Chechina; Nikolaos Papaspyrou; Konstantinos Sagonas; Simon J. Thompson; Stephen Adams; Stavros Aronis; Robert Baker; Eva Bihari; Olivier Boudeville; Francesco Cesarini; Maurizio Di Stefano; et al. (ACM Trans. Program. Lang. Syst., 2017)

Evaluating Scalable Distributed Erlang for Scalability and Reliability - Natalia Chechina; Kenneth MacKenzie; Simon J. Thompson; Phil Trinder; Olivier Boudeville; Viktoria Fordós; Csaba Hoch; Amir Ghaffari; Mario Moro Hernandez (IEEE Trans. Parallel Distributed Syst., 2017)

Automatic Quantification of Vocal Cord Paralysis - An Application of Fibre-optic Endoscopy Video Processing - Radhika Menon; Lykourgos Petropoulakis; John J. Soraghan; Heba M. Lakany; Kenneth MacKenzie; Omar Hilmi; Gaetano Di Caterina (Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017) - Volume 2: BIOIMAGING, Porto, Portugal, February 21-23, 2017, 2017)

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform - Phil Trinder; Natalia Chechina; Nikolaos Papaspyrou; Konstantinos Sagonas; Simon J. Thompson; Stephen Adams; Stavros Aronis; Robert Baker; Eva Bihari; Olivier Boudeville; Francesco Cesarini; Maurizio Di Stefano; et al. (CoRR, 2017)

RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications - Vladimir Janjic; Christopher Brown; Kenneth MacKenzie; Kevin Hammond; Marco Danelutto; Marco Aldinucci; José Daniel García (24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016, 2016)

3-dimensional throat region segmentation from MRI data based on fourier interpolation and 3-dimensional level set methods - Sean Campbell; Trushali Doshi; John J. Soraghan; Lykourgos Petropoulakis; Gaetano Di Caterina; Derek Grose; Kenneth MacKenzie (37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2015, Milan, Italy, August 25-29, 2015, 2015)

Performance portability through semi-explicit placement in distributed Erlang - Kenneth MacKenzie; Natalia Chechina; Phil Trinder (Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 2015, Vancouver, BC, Canada, September 4, 2015, 2015)

Automatic detection of larynx cancer from contrast-enhanced magnetic resonance images - Trushali Doshi; John J. Soraghan; Derek Grose; Kenneth MacKenzie; Lykourgos Petropoulakis (Medical Imaging 2015: Computer-Aided Diagnosis, Orlando, Florida, United States, 21-26 February 2015, 2015)

Modified fuzzy c-means clustering for automatic tongue base tumour extraction from MRI data - Trushali Doshi; John J. Soraghan; Derek Grose; Kenneth MacKenzie; Lykourgos Petropoulakis (22nd European Signal Processing Conference, EUSIPCO 2014, Lisbon, Portugal, September 1-5, 2014, 2014)

Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic - Damon Fenacci; Kenneth MacKenzie (Proceedings of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2011, Saarbrücken, Germany, March 27, 2011, 2011)

Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode - David Aspinall; Robert Atkey; Kenneth MacKenzie; Donald Sannella (Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, 2010)

A Proof-Carrying-Code Infrastructure for Resources - Hans-Wolfgang Loidl; Kenneth MacKenzie; Steffen Jost; Lennart Beringer (Fourth Latin-American Symposium on Dependable Computing, LADC 2009, João Pessoa, Brazil, 1-4 September 2009, 2009)

Extending resource-bounded functional programming languages with mutable state and concurrency - Stephen Gilmore; Kenneth MacKenzie; Nicholas Wolverson (Scalable Comput. Pract. Exp., 2005)

Mobile Resource Guarantees and Policies - David Aspinall; Kenneth MacKenzie (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers, 2005)

Mobile Resource Guarantees (project evaluation paper) - Donald Sannella; Martin Hofmann; David Aspinall; Stephen Gilmore; Ian Stark; Lennart Beringer; Hans-Wolfgang Loidl; Kenneth MacKenzie; Alberto Momigliano; Olha Shkaravska (Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005, 2005)

Camelot and Grail: resource-aware functional programming for the JVM - Kenneth MacKenzie; Nicholas Wolverson (Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003, 2003)

O'Camelot: adding objects to a resource-aware functional language - Nicholas Wolverson; Kenneth MacKenzie (Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003, 2003)

Grail: a functional form for imperative mobile code - Lennart Beringer; Kenneth MacKenzie; Ian Stark (2nd EATCS Workshop on Foundations of Global Computing, FGC 2003, Satellite Event of ICALP 2003, Eindhoven, The Netherlands, June 28-29, 2003, 2003)