Email (@st-andrews.ac.uk): kh8
JC0.07 - Jack Cole Building, North Haugh
+44 (0)1334 46 3241
Home page: https://kh.host.cs.st-andrews.ac.uk
My general research interests lie in the design and implementation of computer programming languages, including implementation of real-time and embedded systems. I have over 20 years of experience in this area, am an expert programmer with considerable experience programming Unix and other systems, and have been involved in numerous successful research projects of national and international importance.
Within this general research area, I am pursuing two distinct research strands:
i) Bounded time/space modeling.
My work on parallel computing has led to the development of novel time and space cost modelling techniques, which I have incorporated into a new programming notation, Hume. The work is potentially significant to a number of commercially important areas of Computer Science, including embedded/real-time systems and Systems-on-Chip.
ii) Parallelism and the GRID.
Harnessing the power of multiple processors offers the prospect of significant performance improvement. Such power is essential to both scientific and commercial applications, including those targeted by the recent E-Science initiative. The challenge is to design new computer languages and abstractions that can allow such systems to be exploited effectively at low programmer cost. This is the research that my team has been pursuing over the last few years.
Castro, D, Hammond, K, Sarkar, S
& Alguwaifli, Y 2018, 'Automatically deriving cost models for structured parallel processes using hylomorphisms
' Future Generation Computer Systems
, vol. 79, no. Part 2, pp. 653-668. DOI: 10.1016/j.future.2017.04.035
Stypka, J, Turek, W, Byrski, A, Kisiel-Dorohinicki, M, Barwell, AD, Brown, CM, Hammond, K & Janjic, V
2018, 'The Missing Link! A new skeleton for evolutionary multi-agent systems in Erlang
' International Journal of Parallel Programming
, vol. 46, no. 1, pp. 4-22. DOI: 10.1007/s10766-017-0503-4
Jost, S, Vasconcelos, P, Florido, M & Hammond, K
2017, 'Type-based cost analysis for lazy functional languages
' Journal of Automated Reasoning
, vol. 59, no. 1, pp. 87-120. DOI: 10.1007/s10817-016-9398-9
Farka, F, Komendantskaya, E & Hammond, K
2017, Coinductive soundness of corecursive type class resolution
. in MV Hermenegildo & P Lopez-Garcia (eds), Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, Scotland, UK, September 6-8, 2016. Revised Selected Papers.
Lecture Notes in Computer Science (Theoretical Computer Science and General Issues), vol. 10184, Springer, Cham, pp. 311-327, International Symposium on Logic-based Program Synthesis and Transformation, Edinburgh, United Kingdom, 6/09/16
. DOI: 10.1007/978-3-319-63139-4_18
Barwell, AD, Brown, CM
, Castro, D & Hammond, K
2016, Towards semi-automatic data-type translation for parallelism in Erlang
. in Proceedings of the 15th International Workshop on Erlang.
ACM, New York, pp. 60-61, 15th ACM SIGPLAN Workshop on Erlang, Nara, Japan, 23/09/16
. DOI: 10.1145/2975969.2975978
Behrends, R, Hammond, K, Janjic, V, Konovalov, A, Linton, SA, Loidl, H-W
, Maier, P & Trinder, P 2016, 'HPC-GAP: engineering a 21st-century High-Performance Computer algebra system
' Concurrency and Computation : Practice and Experience
, vol. 28, no. 13, pp. 3606-3636. DOI: 10.1002/cpe.3746
Castro, D, Hammond, K & Sarkar, S
2016, Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms
. in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming.
ACM, New York, pp. 4-17, ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, 18/09/16
. DOI: 10.1145/2951913.2951920
Farka, F, Komendantskaya, E, Hammond, K
& Fu, P 2016, Coinductive soundness of corecursive type class resolution
. in MV Hermenegildo & P Lopez-Garcia (eds), Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).
arXiv, International Symposium on Logic-based Program Synthesis and Transformation, Edinburgh, United Kingdom, 6/09/16