Avoiding Unnecessary Updates. - John Launchbury; Andy Gill; John Hughes 001; Simon Marlow; Simon L. Peyton Jones; Philip Wadler (Functional Programming, 1992)

Deforestation for Higher-Order Functions. - Simon Marlow; Philip Wadler (Functional Programming, 1992)

Update Avoidance Analysis by Abstract Interpretation. - Simon Marlow (Functional Programming, 1993)

Deforestation for higher-order functional programs. - Simon David Marlow (1995)

A Practical Subtyping System For Erlang. - Simon Marlow; Philip Wadler (ICFP, 1997)

Stretching the Storage Manager: Weak Pointers and Stable Names in Haskell. - Simon L. Peyton Jones; Simon Marlow; Conal Elliott (IFL, 1999)

A Semantics for Imprecise Exceptions. - Simon L. Peyton Jones; Alastair Reid 001; Fergus Henderson; C. A. R. Hoare; Simon Marlow (PLDI, 1999)

Non-stop Haskell. - Andrew M. Cheadle; A. J. Field; Simon Marlow; Simon L. Peyton Jones; Ronald Lyndon While (ICFP, 2000)

Developing High-Performance Server Applications in Haskell - Case Study: A Haskell Web Server. - Simon Marlow (Haskell, 2000)

Asynchronous Exceptions in Haskell. - Simon Marlow; Simon L. Peyton Jones; Andrew Moran; John H. Reppy (PLDI, 2001)

Haddock, a Haskell documentation tool. - Simon Marlow (Haskell, 2002)

Secrets of the Glasgow Haskell Compiler inliner. - Simon L. Peyton Jones; Simon Marlow (J. Funct. Program., 2002)

Developing a high-performance web server in Concurrent Haskell. - Simon Marlow (J. Funct. Program., 2002)

Extending the Haskell foreign function interface with concurrency. - Simon Marlow; Simon L. Peyton Jones; Wolfgang Thaller (Haskell, 2004)

Exploring the barrier to entry: incremental generational garbage collection for Haskell. - Andrew M. Cheadle; A. J. Field; Simon Marlow; Simon L. Peyton Jones; Ronald Lyndon While (ISMM, 2004)

Visual haskell: a full-featured haskell development environment. - Krasimir Angelov; Simon Marlow (Haskell, 2005)

Haskell on a shared-memory multiprocessor. - Tim Harris 001; Simon Marlow; Simon L. Peyton Jones (Haskell, 2005)

Associated types with class. - Manuel M. T. Chakravarty; Gabriele Keller; Simon L. Peyton Jones; Simon Marlow (POPL, 2005)

Lock Free Data Structures Using STM in Haskell. - Anthony Discolo; Tim Harris 001; Simon Marlow; Simon L. Peyton Jones; Satnam Singh (FLOPS, 2006)

An extensible dynamically-typed hierarchy of exceptions. - Simon Marlow (Haskell, 2006)

Making a fast curry: push/enter vs. eval/apply for higher-order languages. - Simon Marlow; Simon L. Peyton Jones (J. Funct. Program., 2006)

Lightweight concurrency primitives for GHC. - Peng Li; Simon Marlow; Simon L. Peyton Jones; Andrew P. Tolmach (Haskell, 2007)

A lightweight interactive debugger for haskell. - Simon Marlow; José Iborra; Bernard J. Pope; Andy Gill (Haskell, 2007)

Faster laziness using dynamic pointer tagging. - Simon Marlow; Alexey Rodriguez Yakushev; Simon L. Peyton Jones (ICFP, 2007)

Data parallel Haskell: a status report. - Manuel M. T. Chakravarty; Roman Leshchinskiy; Simon L. Peyton Jones; Gabriele Keller; Simon Marlow (DAMP, 2007)

Parallel generational-copying garbage collection with a block-structured heap. - Simon Marlow; Tim Harris 001; Roshan P. James; Simon L. Peyton Jones (ISMM, 2008)

Composable memory transactions. - Tim Harris 001; Simon Marlow; Simon L. Peyton Jones; Maurice Herlihy (Commun. ACM, 2008)

Parallel performance tuning for Haskell. - Don Jones Jr.; Simon Marlow; Satnam Singh (Haskell, 2009)

Runtime support for multicore Haskell. - Simon Marlow; Simon L. Peyton Jones; Satnam Singh (ICFP, 2009)

Comparing and Optimising Parallel Haskell Implementations for Multicore Machines. - Jost Berthold; Simon Marlow; Kevin Hammond; Abdallah Al Zain (ICPP Workshops, 2009)

Comparing the performance of concurrent linked-list implementations in Haskell. - Martin Sulzmann; Edmund S. L. Lam; Simon Marlow (DAMP, 2009)

Seq no more: better strategies for parallel Haskell. - Simon Marlow; Patrick Maier 001; Hans-Wolfgang Loidl; Mustafa Aswad; Philip W. Trinder (Haskell, 2010)

Parallel and Concurrent Programming in Haskell. - Simon Marlow (CEFP, 2011)

A monad for deterministic parallelism. - Simon Marlow; Ryan Newton; Simon L. Peyton Jones (Haskell, 2011)

Multicore garbage collection with local heaps. - Simon Marlow; Simon L. Peyton Jones (ISMM, 2011)

Safe Haskell. - David Terei; Simon Marlow; Simon L. Peyton Jones; David Mazières (Adv. Math. Commun., 2012)

There is no fork: an abstraction for efficient, concurrent, and concise data access. - Simon Marlow; Louis Brandy; Jonathan Coens; Jon Purdy (ICFP, 2014)

Backpack: retrofitting Haskell with interfaces. - Scott Kilpatrick; Derek Dreyer; Simon L. Peyton Jones; Simon Marlow (POPL, 2014)

Desugaring Haskell's do-notation into applicative operations. - Simon Marlow; Simon Peyton Jones; Edward Kmett; Andrey Mokhov (Haskell, 2016)

Non-recursive make considered harmful: build systems at scale. - Andrey Mokhov; Neil Mitchell; Simon Peyton Jones; Simon Marlow (Haskell, 2016)

Composable scheduler activations for Haskell. - K. C. Sivaramakrishnan; Tim Harris 001; Simon Marlow; Simon Peyton Jones (J. Funct. Program., 2016)

Selective applicative functors. - Andrey Mokhov; Georgy Lukyanov; Simon Marlow; Jerémie Dimino (Proc. ACM Program. Lang., 2019)