Kenneth MacKenzie

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 12

Top Topics

Scalable Distributed

Magnetic Resonance Images

Top Venues

Biomed. Signal Process. Control.

Publications

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
A Hybrid Approach to Parallel Pattern Discovery in C++. PDP (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner
: UTXO with Multi-asset Support. ISoLA (3) (2020)
Christopher Brown, Vladimir Janjic, Adam D. Barwell, J. Daniel Garcia, Kenneth MacKenzie
Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++. Int. J. Parallel Program. 48 (4) (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler
Native Custom Tokens in the Extended UTXO Model. ISoLA (3) (2020)
Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler
The Extended UTXO Model. Financial Cryptography Workshops (2020)
Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler
Unraveling Recursion: Compiling an IR with Recursion to System F. MPC (2019)
Natalia Chechina, Kenneth MacKenzie, Simon J. Thompson, Phil Trinder, Olivier Boudeville, Viktoria Fordós, Csaba Hoch, Amir Ghaffari, Mario Moro Hernandez
Evaluating Scalable Distributed Erlang for Scalability and Reliability. IEEE Trans. Parallel Distributed Syst. 28 (8) (2017)
Trushali Doshi, John J. Soraghan, Lykourgos Petropoulakis, Gaetano Di Caterina, Derek Grose, Kenneth MacKenzie, Christina Wilson
Automatic pharynx and larynx cancer segmentation framework (PLCSF) on contrast enhanced MR images. Biomed. Signal Process. Control. 33 (2017)
Radhika Menon, Lykourgos Petropoulakis, John J. Soraghan, Heba M. Lakany, Kenneth MacKenzie, Omar Hilmi, Gaetano Di Caterina
Automatic Quantification of Vocal Cord Paralysis - An Application of Fibre-optic Endoscopy Video Processing. BIOIMAGING (2017)
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
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
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
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR (2017)
Vladimir Janjic, Christopher Brown, Kenneth MacKenzie, Kevin Hammond, Marco Danelutto, Marco Aldinucci, José Daniel García
RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications. PDP (2016)
Trushali Doshi, John J. Soraghan, Derek Grose, Kenneth MacKenzie, Lykourgos Petropoulakis
Automatic detection of larynx cancer from contrast-enhanced magnetic resonance images. Medical Imaging: Computer-Aided Diagnosis (2015)
Sean Campbell, Trushali Doshi, John J. Soraghan, Lykourgos Petropoulakis, Gaetano Di Caterina, Derek Grose, Kenneth MacKenzie
3-dimensional throat region segmentation from MRI data based on fourier interpolation and 3-dimensional level set methods. EMBC (2015)
Kenneth MacKenzie, Natalia Chechina, Phil Trinder
Performance portability through semi-explicit placement in distributed Erlang. Erlang Workshop (2015)
Trushali Doshi, John J. Soraghan, Derek Grose, Kenneth MacKenzie, Lykourgos Petropoulakis
Modified fuzzy c-means clustering for automatic tongue base tumour extraction from MRI data. EUSIPCO (2014)
Damon Fenacci, Kenneth MacKenzie
Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic. Electron. Notes Theor. Comput. Sci. 279 (1) (2011)
David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode. TGC (2010)
Hans-Wolfgang Loidl, Kenneth MacKenzie, Steffen Jost, Lennart Beringer
A Proof-Carrying-Code Infrastructure for Resources. LADC (2009)
Stephen Gilmore, Kenneth MacKenzie, Nicholas Wolverson
Extending resource-bounded functional programming languages with mutable state and concurrency. Scalable Comput. Pract. Exp. 6 (4) (2005)
David Aspinall, Kenneth MacKenzie
Mobile Resource Guarantees and Policies. CASSIS (2005)
Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska
Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming (2005)
Nicholas Wolverson, Kenneth MacKenzie
O'Camelot: adding objects to a resource-aware functional language. Trends in Functional Programming (2003)
Lennart Beringer, Kenneth MacKenzie, Ian Stark
Grail: a functional form for imperative mobile code. Electron. Notes Theor. Comput. Sci. 85 (1) (2003)
Kenneth MacKenzie, Nicholas Wolverson
Camelot and Grail: resource-aware functional programming for the JVM. Trends in Functional Programming (2003)