Stream Processing for Embedded Domain Specific Languages. - Markus Aronsson; Emil Axelsson; Mary Sheeran (IFL, 2014)

Hardware software co-design in Haskell. - Markus Aronsson; Mary Sheeran (Haskell, 2017)

Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. - Markus Aronsson; Koen Claessen; Mary Sheeran; Nicholas Smallbone (FHPNC@ICFP, 2019)