• Sign in
  • Sign up
conf.researchr.org / Kevin Hammond
  • ESOP 2015 profile
  • ICFP 2016 profile
  • ICFP 2017 profile
  • POPL 2019 profile

Not registered as user

Name:Kevin Hammond
Affiliation:University of St. Andrews, UK

Contributions

2019

Symposium on Practical Aspects of Declarative Languages

  • Author of Proof Carrying Plans within the PADL 2019-track

2017

TyDe

  • Author of Type-directed reasoning for probabilistic, non-compositional resources within the TyDe 2017-track

FHPNC

  • 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

2016

ICFP

  • Author of Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms within the Research Papers-track

Erlang

  • Author of Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang within the Erlang-track

2015

ESOP

  • Author of Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages within the ESOP-track
Share
xFri 20 Jun 09:36
using conf.researchr.org (v1.69.0)
Support page
Sign Up