Simon Marlow's Papers

Safe Haskell (David Terei, David Mazières, Simon Marlow, Simon Peyton Jones) In 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) In CEFP 2011, volume 7241 of LNCS, pages 339--401, 2012 [Abstract] [BibTeX]

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

Multicore Garbage Collection with Local Heaps (Simon Marlow, Simon Peyton Jones) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In 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) In , PhD thesis, University of Glasgow, 1996 [Abstract] [BibTeX]

Update Avoidance Analysis by Abstract Interpretation (Simon Marlow) In 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) In Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, Springer-Verlag, 1992 [BibTeX]