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 2015, ' Type-based Allocation Analysis for Co-Recursionin Lazy Functional Languages '. in European Symposium on Programming 2015 (ESOP). Lecture Notes in Computer Science (LNCS), Springer-Verlag.

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.

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.

Using Machine Learning to Derive Mappings for Heterogeneous Parallel Computations

Goli, M, McCall, J , Brown, CM , Janjic, V & Hammond, K 2013, ' Using Machine Learning to Derive Mappings for Heterogeneous Parallel Computations '. in 2013 IEEE Congress on Evolutionary Computation. pp. 2932-2939.

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.

A Language-Independent Parallel Refactoring Framework

Brown, CM , Hammond, K , Danelutto, M & Kilpatrick, P 2012, ' A Language-Independent Parallel Refactoring Framework '. in Fifth ACM Workshop on Refactoring Tools. ACM.

Paraphrasing: Generating Parallel Programs using Refactoring

Brown, CM , Hammond, K , Danelutto, M, Kilpatrick, P, Schöner, H & Breddin, T 2012, ' Paraphrasing: Generating Parallel Programs using Refactoring '. in Proc. FMCO 2011: Software Technologies on Formal Methods for Components and Objects. Springer.