Computer Science @ University of St Andrews

University of St Andrews crest

Prof Kevin Hammond

Prof Kevin Hammond

Position: Professor

Research profile

Email: kh8@st-andrews.ac.uk

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

Phone: +44 (0)1334 46 3241

Home page: http://kh.host.cs.st-andrews.ac.uk

Recent Publications

Type-based Allocation Analysis for Co-Recursionin Lazy Functional Languages

Vasconcelos, PB, Jost, S, Florido, M & Hammond, K 2016, ' Type-based Allocation Analysis for Co-Recursionin Lazy Functional Languages '. in Programming Languages and Systems: 24th European Symposium on Programming ESOP 2015. Lecture Notes in Computer Science (LNCS), Springer-Verlag.

PAEAN: Portable Runtime Support for Physically-Shared-Nothing Architectures in Parallel Haskell Dialects

Discovering parallel pattern candidates in Erlang

Bozo, I, Fordos, V, Horvath, Z, Toth, M, Horpacsi, D, Kozsik, T, Koszegi, J, Barwell, AD , Brown, CM & Hammond, K 2014, ' Discovering parallel pattern candidates in Erlang '. in Erlang '14 Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang. ACM, New York, NY, pp. 13-23.

Space exploration using parallel orbits: a study in parallel symbolic computing

Janjic, V , Brown, CM , Neunhoeffer, M , Hammond, K , Linton, SA & Loidl, H-W 2013, ' Space exploration using parallel orbits: a study in parallel symbolic computing '. in M Bader, A Bode, H-J Bungartz, M Gerndt, GR Joubert & F Peters (eds), Parallel Computing: Accelerating Computational Science and Engineering (CSE). vol. 25, Advances in Parallel Computing, IOS Press, pp. 225-232.

Mapping parallel programs to heterogeneous CPU/GPU architectures using a Monte Carlo Tree Search

Goli, M, McCall, J , Brown, CM , Janjic, V & Hammond, K 2013, ' Mapping parallel programs to heterogeneous CPU/GPU architectures using a Monte Carlo Tree Search '. in 2013 IEEE Congress on Evolutionary Computation, CEC 2013. IEEE, pp. 2932-2939.

Cost-directed refactoring for parallel Erlang programs

Brown, CM , Danelutto, M , Hammond, K , Kilpatrick, P & Elliot, A 2013, ' Cost-directed refactoring for parallel Erlang programs '. in Proc. International Symposium on High-level Parallel Programming and Applications. Lecture Notes in Computer Science, Springer.

Resource Analyses for Parallel and Distributed Coordination

Trinder, P, Cole, M , Hammond, K , Loidl, H-W & Michaelson, G 2013, ' Resource Analyses for Parallel and Distributed Coordination ' Concurrency and Computation : Practice and Experience , vol 25, no. 3, pp. 309-348.

Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation

How to be a Successful Thief: Feudal Work Stealing for Irregular Divide-and-Conquer Applications on Heterogeneous Distributed Systems

Janjic, V & Hammond, K 2013, ' How to be a Successful Thief: Feudal Work Stealing for Irregular Divide-and-Conquer Applications on Heterogeneous Distributed Systems '. in Proc. EuroPar 2013: European Conference on Parallelism. Lecture Notes in Computer Science, vol. 8097, Aachen, Germany.

Repeating history: execution replay for Parallel Haskell programs

Ferrerio, H , Janjic, V , Castro, L & Hammond, K 2013, ' Repeating history: execution replay for Parallel Haskell programs '. in Trends in Functional Programming: 13th International Symposium. vol. 7829, Lecture Notes in Computer Science (LNCS), Springer, pp. 231-246.