Publications

Non-recursive Make Considered Harmful: Build Systems at Scale (Andrey Mokhov, Neil Mitchell, Simon Peyton Jones, Simon Marlow) Proceedings of the 9th International Symposium on Haskell, pages 170–181, Nara, Japan, ACM, 2016 Abstract BibTeX

Desugaring Haskell’s Do-notation into Applicative Operations (Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov) Proceedings of the 9th International Symposium on Haskell, pages 92–104, Nara, Japan, ACM, 2016 Abstract BibTeX

Composable scheduler activations for Haskell (K. C. Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones) Journal of Functional Programming, 26, pages e9 (39 pages), 2016 Abstract BibTeX

There is No Fork: An Abstraction for Efficient, Concurrent, and Concise Data Access (Simon Marlow, Louis Brandy, Jonathan Coens, Jon Purdy) Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming, pages 325–337, Gothenburg, Sweden, ACM, 2014 Abstract BibTeX

Backpack: Retrofitting Haskell with Interfaces (Scott Kilpatrick, Derek Dreyer, Simon Peyton Jones, Simon Marlow) Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 19–31, San Diego, California, USA, ACM, 2014 Abstract BibTeX

Safe Haskell (David Terei, David Mazières, Simon Marlow, Simon Peyton Jones) Haskell ’12: Proceedings of the Fifth ACM SIGPLAN Symposium on Haskell, Copenhagen, Denmark, ACM, 2012 Abstract BibTeX

Parallel and Concurrent Programming in Haskell (Simon Marlow) CEFP 2011, volume 7241 of LNCS, pages 339–401, 2012 Abstract BibTeX

The Glasgow Haskell Compiler (Simon Marlow, Simon Peyton Jones) The Architecture of Open Source Applications, Volume 2, Lulu, 2012 BibTeX

Multicore Garbage Collection with Local Heaps (Simon Marlow, Simon Peyton Jones) ISMM ’11: Proceedings of the 10th International Symposium on Memory Management, San Jose, California, ACM, June 2011 Abstract BibTeX

A Monad for Deterministic Parallelism (Simon Marlow, Ryan Newton, Simon Peyton Jones) Haskell ’11: Proceedings of the Fourth ACM SIGPLAN Symposium on Haskell, Tokyo, Japan, ACM, 2011 Abstract BibTeX

Intel Concurrent Collections for Haskell (Ryan Newton, Chih-Ping Chen, Simon Marlow) (unpublished), 2010 Abstract BibTeX

Seq no more: Better Strategies for Parallel Haskell (Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa K Aswad, Phil Trinder) Haskell ’10: Proceedings of the Third ACM SIGPLAN Symposium on Haskell, Baltimore, USA, ACM, 2010 Abstract BibTeX

Parallel Performance Tuning for Haskell (Don Jones Jr., Simon Marlow, Satnam Singh) Haskell ’09: Proceedings of the Second ACM SIGPLAN Symposium on Haskell, Edinburgh, Scotland, ACM, 2009 Abstract BibTeX

Runtime Support for Multicore Haskell (Simon Marlow, Simon Peyton Jones, Satnam Singh) ICFP ’09: Proceeding of the 14th ACM SIGPLAN International Conference on Functional Programming, Edinburgh, Scotland, August 2009 Abstract BibTeX

Comparing the performance of concurrent linked-list implementations in Haskell (Martin Sulzmann, Edmund S. L. Lam, Simon Marlow) DAMP 2009: Workshop on Declarative Aspects of Multicore Programming, Savannah, Georgia, USA, 2009 Abstract BibTeX

Parallel Generational-Copying Garbage Collection with a Block-Structured Heap (Simon Marlow, Tim Harris, Roshan P. James, Simon Peyton Jones) ISMM ’08: Proceedings of the 7th international symposium on Memory management, Tucson, Arizona, ACM, June 2008 Abstract BibTeX

Lightweight concurrency primitives for GHC (Peng Li, Simon Marlow, Simon Peyton Jones, Andrew Tolmach) Haskell ’07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop, pages 107–118, Freiburg, Germany, ACM, June 2007 Abstract BibTeX

A Lightweight Interactive Debugger for Haskell (Simon Marlow, Jos’e Iborra, Bernard Pope, Andy Gill) Haskell ’07: Proceedings of the ACM SIGPLAN workshop on Haskell workshop, pages 13–24, Freiburg, Germany, ACM, June 2007 Abstract BibTeX

Faster laziness using dynamic pointer tagging (Simon Marlow, Alexey Rodriguez Yakushev, Simon Peyton Jones) ICFP ’07: Proceedings of the ACM SIGPLAN international conference on Functional programming, Freiburg, Germany, ACM Press, October 2007 Abstract BibTeX

Making a fast curry: push/enter vs. eval/apply for higher-order languages (Simon Marlow, Simon Peyton Jones) Journal of Functional Programming, 16(4–5):415–449, July 2006 Abstract BibTeX

An Extensible Dynamically-Typed Hierarchy of Exceptions (Simon Marlow) Haskell ’06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell, Portland, Oregon, ACM Press, September 2006 Abstract BibTeX

Lock Free Data Structures using STMs in Haskell (Anthony Discolo, Tim Harris, Simon Marlow, Simon Peyton Jones, Satnam Singh) FLOPS 2006: Eighth International Symposium on Functional and Logic Programming, Fuji Susono, JAPAN, April 2006 Abstract BibTeX

Visual Haskell: A full-featured Haskell development environment (Krasimir Angelov, Simon Marlow) Haskell ’05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pages 5–16, Tallinn, Estonia, ACM Press, September 2005 Abstract BibTeX

Haskell on a Shared-Memory Multiprocessor (Tim Harris, Simon Marlow, Simon Peyton Jones) Haskell ’05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell, pages 49–61, Tallinn, Estonia, ACM Press, September 2005 Abstract BibTeX

Associated types with class (Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, Simon Marlow) POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT sysposium on Principles of programming languages, pages 1–13, Long Beach, California, USA, ACM Press, 2005 Abstract BibTeX

Composable Memory Transactions (Tim Harris, Simon Marlow, Simon Peyton Jones, Maurice Herlihy) PPoPP’05: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Chicago, Illinois, June 2005 Abstract BibTeX

Exploring the Barrier to Entry: Incremental Generational Garbage Collection for Haskell (A.M. Cheadle, A.J. Field, S. Marlow, S.L. Peyton Jones, R.L. While) International Symposium on Memory Management, ACM, October 2004 Abstract BibTeX

Making a fast curry: push/enter vs. eval/apply for higher-order languages (Simon Marlow, Simon Peyton Jones) ICFP’04: Proceedings of the ACM SIGPLAN 2004 International Conference on Functional Programming, pages 4–15, ACM Press, 2004 Abstract BibTeX

Extending the Haskell Foreign Function Interface with Concurrency (Simon Marlow, Simon Peyton Jones, Wolfgang Thaller) Proceedings of the ACM SIGPLAN workshop on Haskell, pages 57–68, Snowbird, Utah, USA, September 2004 Abstract BibTeX

Developing a high-performance web server in Concurrent Haskell (Simon Marlow) Journal of Functional Programming, 12(4+5):359–374, July 2002 Abstract BibTeX

Secrets of the Glasgow Haskell Compiler inliner (Simon Peyton Jones, Simon Marlow) Journal of Functional Programming, 12(4+5):393–434, July 2002 Abstract BibTeX

Haddock, A Haskell Documentation Tool (Simon Marlow) Proceedings of the ACM SIGPLAN workshop on Haskell, Pittsburgh Pennsylvania, USA, ACM Press, October 2002 Abstract BibTeX

Asynchronous exceptions in Haskell (Simon Marlow, Simon Peyton Jones, Andrew Moran, John Reppy) PLDI ’01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, pages 274–285, Snowbird, Utah, United States, ACM Press, 2001 Abstract BibTeX

Writing High-Performance Server Applications in Haskell, Case Study: A Haskell Web Server (Simon Marlow) Haskell Workshop, Montreal, Canada, September 2000 Abstract BibTeX

Non-stop Haskell (A. M. Cheadle, A. J. Field, S. Marlow, S. L. Peyton Jones, R. L. While) ICFP ’00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, pages 257–267, ACM Press, 2000 Abstract BibTeX

Stretching the storage manager: weak pointers and stable names in Haskell (Simon Peyton Jones, Simon Marlow, Conal Elliot) Proceedings of the 11th International Workshop on the Implementation of Functional Languages, The Netherlands, Springer-Verlag, September 1999 Abstract BibTeX

A Semantics for Imprecise Exceptions (Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson) Proceedings of the ACM SIGPLAN ’99 Conference on Programming Language Design and Implementation, pages 25–36, Atlanta, Georgia, May 1999 Abstract BibTeX

A practical subtyping system for Erlang (Simon Marlow, Philip Wadler) ICFP ’97: Proceedings of the second ACM SIGPLAN international conference on Functional programming, pages 136–149, Amsterdam, The Netherlands, ACM Press, June 1997 Abstract BibTeX

Deforestation for Higher-Order Functional Programs (Simon Marlow) **, PhD thesis, University of Glasgow, 1996 Abstract BibTeX

Update Avoidance Analysis by Abstract Interpretation (Simon Marlow) Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, Springer-Verlag, 1993 Abstract BibTeX

Avoiding Unnecessary Updates (J. Launchbury, A. Gill, J. Hughes, S. Marlow, S. Peyton Jones, P. Wadler) Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, Springer-Verlag, 1992 BibTeX