Kevin Hammond - researchr profile

researchr

You are not signed in
Sign in
Sign up

Professor in Computer Science at the University of St Andrews

My research interests include functional programming languages (including Haskell and Hume), domain-specific programming languages, parallelism (including multicore, high-performance grid and cloud computing), worst-case execution time analysis, and static analysis of resource usage.

I was a member of the Haskell ’98 Design Committee, I am co-designer of the Hume programming language.

I am a Senior Member of the ACM.

-

:

University of St Andrews

Domain Specific Languages (DSLs) for Network Protocols (Position Paper)Saleem Bhatti, Edwin Brady, Kevin Hammond, James McKinna. icdcsw 2009: 208-213 [doi]

Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel SystemAbdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold. ispa 2008: 99-112 [doi]

SymGrid: A Framework for Symbolic Computations on the GridKevin Hammond. synasc 2007: 4 [doi]

SymGrid: A Framework for Symbolic Computation on the GridKevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Philip W. Trinder. europar 2007: 457-466 [doi]

Towards resource-certified software: a formal cost model for time and its application to an image-processing exampleArmelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andrew M. Wallace, Iain Wallace. SAC 2007: 1307-1314 [doi]

SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational GridsAbdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti. iccS 2007: 617-624 [doi]

runs on WebDSL