Kenneth MacKenzie

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++.
Int. J. Parallel Program., 2020

A Hybrid Approach to Parallel Pattern Discovery in C++.
Proceedings of the 28th Euromicro International Conference on Parallel, 2020

UTXO<sub>sf ma</sub>: UTXO with Multi-asset Support.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Native Custom Tokens in the Extended UTXO Model.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

The Extended UTXO Model.
Proceedings of the Financial Cryptography and Data Security, 2020

2019
Unraveling Recursion: Compiling an IR with Recursion to System F.
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2017
Evaluating Scalable Distributed Erlang for Scalability and Reliability.
IEEE Trans. Parallel Distributed Syst., 2017

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.
ACM Trans. Program. Lang. Syst., 2017

Automatic pharynx and larynx cancer segmentation framework (PLCSF) on contrast enhanced MR images.
Biomed. Signal Process. Control., 2017

Automatic Quantification of Vocal Cord Paralysis - An Application of Fibre-optic Endoscopy Video Processing.
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.
Proceedings of the 24th Euromicro International Conference on Parallel, 2016

2015
Automatic detection of larynx cancer from contrast-enhanced magnetic resonance images.
Proceedings of the Medical Imaging 2015: Computer-Aided Diagnosis, 2015

Performance portability through semi-explicit placement in distributed Erlang.
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.
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.
Proceedings of the 22nd European Signal Processing Conference, 2014

2011
Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic.
Electron. Notes Theor. Comput. Sci., 2011

2010
Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode.
Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

2009
A Proof-Carrying-Code Infrastructure for Resources.
Proceedings of the Fourth Latin-American Symposium on Dependable Computing, 2009

2005
Extending resource-bounded functional programming languages with mutable state and concurrency.
Scalable Comput. Pract. Exp., 2005

Mobile Resource Guarantees (project evaluation paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Mobile Resource Guarantees and Policies.
Proceedings of the Construction and Analysis of Safe, 2005

2003
Grail: a functional form for imperative mobile code.
Electron. Notes Theor. Comput. Sci., 2003

O'Camelot: adding objects to a resource-aware functional language.
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.
Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003


  Loading...