Computer Science @ University of St Andrews

University of St Andrews crest

Prof Kevin Hammond

Professor - School of Computer Science

Full research profile

Email: kh8@st-andrews.ac.uk

Office: JC0.07 - Jack Cole Building, North Haugh

Phone: +44 (0)1334 46 3241

Web: https://kh.host.cs.st-andrews.ac.uk

Recent Publications

Schwaab, CJ, Komendantskaya, E, Hill, A, Farka, F, Petrick, R, Wells, J & Hammond, K 2019, Proof-carrying plans. in JJ Alferes & M Johansson (eds), Practical Aspects of Declarative Languages: 21st International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Lecture Notes in Computer Science (Programming and Software Engineering), vol. 11372, Springer, Cham, pp. 204-220, 21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019), Lisbon, Portugal, 14/01/19. DOI: 10.1007/978-3-030-05998-9_13

Barwell, AD & Hammond, K 2017, In search of a map: using program slicing to discover potential parallelism in recursive functions. in Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing (FHPC 2017). ACM, New York, pp. 30-41, FHPC 2017 Workshop on Functional High-Performance Computing, Oxford, United Kingdom, 7/09/17. DOI: 10.1145/3122948.3122951

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