Kenneth MacKenzie

According to our database, Kenneth MacKenzie authored at least 24 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

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

Proceedings of the 28th Euromicro International Conference on Parallel, 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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

The Extended UTXO Model.

Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler

Proceedings of the Financial Cryptography and Data Security, 2020

2019

Unraveling Recursion: Compiling an IR with Recursion to System F.

Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

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

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, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad

ACM Trans. Program. Lang. Syst., 2017

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

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), 2017

2016

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

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

2015

Automatic detection of larynx cancer from contrast-enhanced magnetic resonance images.

Trushali Doshi, John J. Soraghan, Derek Grose, Kenneth MacKenzie, Lykourgos Petropoulakis

Proceedings of the Medical Imaging 2015: Computer-Aided Diagnosis, 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, 2015

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

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

2014

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

Proceedings of the 22nd European Signal Processing Conference, 2014

2011

Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic.

Damon Fenacci, Kenneth MacKenzie

Proceedings of the Sixth Workshop on Bytecode Semantics, 2011

2010

Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode.

David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

2009

A Proof-Carrying-Code Infrastructure for Resources.

Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer

Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

2005

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 (project evaluation paper).

Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Mobile Resource Guarantees and Policies.

David Aspinall, Kenneth MacKenzie

Proceedings of the Construction and Analysis of Safe, 2005

2003

Grail: a functional form for imperative mobile code.

Lennart Beringer, Kenneth MacKenzie, Ian Stark

Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003

O'Camelot: adding objects to a resource-aware functional language.

Nicholas Wolverson, Kenneth MacKenzie

Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

Camelot and Grail: resource-aware functional programming for the JVM.

Kenneth MacKenzie, Nicholas Wolverson

Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003