Déjà Fu: a concurrency testing library for Haskell. - Michael Walker 004; Colin Runciman (Haskell, 2015)

Cheap Remarks About Concurrent Programs. - Michael Walker 004; Colin Runciman (FLOPS, 2018)

Revealing behaviours of concurrent functional programs by systematic testing. - Michael Walker 004 (2018)