Jennifer Hackett

Registered user since Wed 21 Mar 2018

Name:Jennifer Hackett
Bio:

I’m a postdoctoral researcher in the Functional Programming Lab at the University of Nottingham, working on ways to reason about the efficiency of programs in call-by-need (a.k.a. lazy) programming languages. I’m particularly interested in ways to unify the two concerns of correctness and efficiency.

Country:United Kingdom
Affiliation:University of Nottingham, UK
Research interests:reasoning about efficiency, call-by-need evaluation, cost semantics

Contributions

ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
Co-chair in Selection Committee within the Tutorials-track
Workshops Co-Chair in Organizing Committee
META 2019 Committee Member in Program Committee within the META 2019-track
Haskell 2019 Committee Member in Program Committee within the Haskell 2019-track
POPL 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
FHPC 2018 Programme Committee in Program Committee within the FHPC 2018-track
FARM 2018 Author of Compositional Computational Constructive Critique: Or, How My Computer Learned to Appreciate Poetry within the FARM 2018-track
TyDe 2018 Committee Member in Program Committee within the TyDe 2018-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
Author of Call-By-Need is Clairvoyant Call-By-Value within the Research Papers-track
Workshops Co-Chair in Organizing Committee
ICFP 2018 Author of Parametric Polymorphism and Operational Improvement within the Research Papers-track