conf.researchr.org / Kevin Hammond

Not registered as user yet

Name: Kevin Hammond

Affiliation: University of St. Andrews, UK

Contributions

PADL 2019Author of Proof Carrying Plans within the PADL 2019-track
FHPC 2017Author 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 2017Author of Type-directed reasoning for probabilistic, non-compositional resources within the TyDe 2017-track
Erlang 2016Author of Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang within the Erlang-track
ICFP 2016Author of Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms within the Research Papers-track
ESOP 2015Author of Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages within the ESOP-track