Kevin Hammond -

Not registered as user yet

Name:Kevin Hammond

Affiliation:University of St. Andrews, UK

Contributions

PADL 2019	Author of Proof Carrying Plans within the PADL 2019-track
FHPC 2017	Author of In Search of a Map: using Program Slicing to Discover Potential Parallelism in Recursive Functions within the FHPC 2017-track Session Chair of First Keynote (part of FHPC 2017) Contributor/Author of Panel Discussion: The challenges for Functional High Performance Computing within the FHPC 2017-track Author of ParaFormance Demo: Democratizing Parallel Software Development within the FHPC 2017-track
TyDe 2017	Author of Type-directed reasoning for probabilistic, non-compositional resources within the TyDe 2017-track
Erlang 2016	Author of Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang within the Erlang-track
ICFP 2016	Author of Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms within the Research Papers-track
ESOP 2015	Author of Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages within the ESOP-track