AutoBench: comparing the time performance of Haskell programs. - Martin A. T. Handley; Graham Hutton (Haskell@ICFP, 2018)

Improving Haskell. - Martin A. T. Handley; Graham Hutton (TFP, 2018)

Liquidate your assets: reasoning about resource usage in liquid Haskell. - Martin A. T. Handley; Niki Vazou; Graham Hutton (Proc. ACM Program. Lang., 2020)

Efficiency three ways: tested, verified, and formalised. - Martin A. T. Handley (2020)