Simon L. Peyton Jones
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
84
Venues
17
Active years
1986–2017
Best venue rank
A*
Where they publish
Papers
84 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | PLDI | Compiling without continuations. | Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones |
| 2015 | HASKELL | Injective type families for Haskell. | Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg |
| 2015 | ICFP | GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. | Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2015 | PLDI | Diagnosing type errors with class. | Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2014 | ICFP | Safe zero-cost coercions for Haskell. | Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich |
| 2014 | ICFP | Refinement types for Haskell. | Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2014 | POPL | Closed type families with overlapping equations. | Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich |
| 2014 | POPL | Backpack: retrofitting Haskell with interfaces. | Scott Kilpatrick, Derek Dreyer, Simon L. Peyton Jones, Simon Marlow |
| 2014 | POPL | Modular, higher-order cardinality analysis in theory and practice. | Ilya Sergey, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2013 | ICFP | Computer science as a school subject. | Simon L. Peyton Jones |
| 2013 | ICFP | Exploiting vector instructions with generalized stream fusio. | Geoffrey Mainland, Roman Leshchinskiy, Simon L. Peyton Jones |
| 2013 | ITiCSE | The computing at school working group. | Simon L. Peyton Jones |
| 2013 | POPL | HALO: haskell to logic through denotational semantics. | Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosn |
| 2013 | SIGCSE | Bringing computer science back into schools: lessons from the UK. | Neil Christopher Charles Brown, Michael Klling, Tom Crick, Simon L. Peyton Jones, Simon Humphreys, Sue Sentance |
| 2012 | APLAS | Lazy v. Yield: Incremental, Linear Pretty-Printing. | Oleg Kiselyov, Simon L. Peyton Jones, Amr Sabry |
| 2012 | HASKELL | Vectorisation avoidance. | Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones |
| 2012 | HASKELL | Guiding parallel array fusion with indexed types. | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones |
| 2012 | HASKELL | Safe haskell. | David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazires |
| 2012 | ICFP | Work efficient higher-order vectorisation. | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones |
| 2012 | ICFP | Equality proofs and deferred type errors: a compiler pearl. | Dimitrios Vytiniotis, Simon L. Peyton Jones, Jos Pedro Magalhes |
| 2011 | HASKELL | Termination combinators forever. | Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis |
| 2011 | HASKELL | Towards Haskell in the cloud. | Jeff Epstein, Andrew P. Black, Simon L. Peyton Jones |
| 2011 | HASKELL | A monad for deterministic parallelism. | Simon Marlow, Ryan Newton, Simon L. Peyton Jones |
| 2011 | POPL | Generative type abstraction and type-level computation. | Stephanie Weirich, Dimitrios Vytiniotis, Simon L. Peyton Jones, Steve Zdancewic |
| 2010 | HASKELL | Supercompilation by evaluation. | Maximilian C. Bolingbroke, Simon L. Peyton Jones |
| 2010 | HASKELL | Hoopl: a modular, reusable library for dataflow analysis and transformation. | Norman Ramsey, Joo Dias, Simon L. Peyton Jones |
| 2010 | ICFP | Regular, shape-polymorphic, parallel arrays in Haskell. | Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier |
| 2009 | ECOOP | Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither. | Simon L. Peyton Jones |
| 2009 | HASKELL | Finding the needle: stack traces for GHC. | Tristan Oliver Richard Allwood, Simon L. Peyton Jones, Susan Eisenbach |
| 2009 | HASKELL | Types are calling conventions. | Maximilian C. Bolingbroke, Simon L. Peyton Jones |
| 2009 | ICFP | Runtime support for multicore Haskell. | Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
| 2009 | ICFP | Complete and decidable type inference for GADTs. | Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis |
| 2009 | POPL | Static contract checking for Haskell. | Dana N. Xu, Simon L. Peyton Jones, Koen Claessen |
| 2008 | APLAS | Harnessing the Multicores: Nested Data Parallelism in Haskell. | Simon L. Peyton Jones |
| 2008 | ICFP | Type checking with open type functions. | Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann |
| 2008 | ICFP | FPH: first-class polymorphism for Haskell. | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
| 2008 | MPC | Scrap Your Type Applications. | Barry Jay, Simon L. Peyton Jones |
| 2007 | HASKELL | Comprehensive comprehensions. | Simon L. Peyton Jones, Philip Wadler |
| 2007 | HASKELL | Lightweight concurrency primitives for GHC. | Peng Li, Simon Marlow, Simon L. Peyton Jones, Andrew P. Tolmach |
| 2007 | ICFP | Call-pattern specialisation for haskell programs. | Simon L. Peyton Jones |
| 2007 | ICFP | Faster laziness using dynamic pointer tagging. | Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones |
| 2007 | POPL | Data parallel Haskell: a status report. | Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Gabriele Keller, Simon Marlow |
| 2006 | ESOP | Haskell Is Not Not ML. | Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones |
| 2006 | FLOPS | Lock Free Data Structures Using STM in Haskell. | Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
| 2006 | GPCE | Roadmap for enhanced languages and methods to aid verification. | Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump |
| 2006 | ICFP | Simple unification-based type inference for GADTs. | Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn |
| 2006 | ICFP | Boxy types: inference for higher-rank types and impredicativity. | Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones |
| 2005 | HASKELL | Haskell on a shared-memory multiprocessor. | Tim Harris, Simon Marlow, Simon L. Peyton Jones |
| 2005 | ICFP | Associated type synonyms. | Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones |
| 2005 | ICFP | Scrap your boilerplate with class: extensible generic functions. | Ralf Lmmel, Simon L. Peyton Jones |
| 2005 | POPL | Associated types with class. | Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones, Simon Marlow |
| 2005 | PPoPP | Composable memory transactions. | Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy |
| 2004 | ESOP | Sound and Decidable Type Inference for Functional Dependencies. | Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann |
| 2004 | HASKELL | Extending the Haskell foreign function interface with concurrency. | Simon Marlow, Simon L. Peyton Jones, Wolfgang Thaller |
| 2004 | ICFP | Scrap more boilerplate: reflection, zips, and generalised casts. | Ralf Lmmel, Simon L. Peyton Jones |
| 2004 | ICFP | Making a fast curry: push/enter vs. eval/apply for higher-order languages. | Simon Marlow, Simon L. Peyton Jones |
| 2004 | ICFP | The C - compiler infrastructure. | Norman Ramsey, Simon L. Peyton Jones |
| 2003 | APLAS | Scrap Your Boilerplate. | Simon L. Peyton Jones, Ralf Lmmel |
| 2003 | HASKELL | HsDebug: debugging lazy programs by not being lazy. | Robert Ennals, Simon L. Peyton Jones |
| 2003 | ICFP | Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. | Robert Ennals, Simon L. Peyton Jones |
| 2003 | ICFP | A user-centred approach to functions in Excel. | Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett |
| 2001 | FM | Composing Contracts: An Adventure in Financial Engineering. | Simon L. Peyton Jones |
| 2001 | PLDI | Asynchronous Exceptions in Haskell. | Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy |
| 2000 | EuroPar | The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). | Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond, Ulrike Klusik, Simon L. Peyton Jones, lvaro J. Rebn Portillo |
| 2000 | ICFP | Non-stop Haskell. | Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While |
| 2000 | ICFP | Composing contracts: an adventure in financial engineering, functional pearl. | Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward |
| 2000 | PLDI | A single intermediate language that supports multiple implementations of exceptions. | Norman Ramsey, Simon L. Peyton Jones |
| 1999 | ICFP | Calling Hell From Heaven and Heaven From Hell. | Sigbjrn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones |
| 1999 | PLDI | A Semantics for Imprecise Exceptions. | Simon L. Peyton Jones, Alastair Reid, Fergus Henderson, C. A. R. Hoare, Simon Marlow |
| 1999 | POPL | Once Upon a Polymorphic Type. | Keith Wansbrough, Simon L. Peyton Jones |
| 1999 | PPDP | C--: A Portable Assembly Language that Supports Garbage Collection. | Simon L. Peyton Jones, Norman Ramsey, Fermin Reig |
| 1998 | ICFP | H/Direct: A Binary Foreign Language Interface for Haskell. | Sigbjrn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones |
| 1998 | POPL | Bridging the Gulf: A Common Intermediate Language for ML and Haskell. | Simon L. Peyton Jones, Mark Shields, John Launchbury, Andrew P. Tolmach |
| 1998 | POPL | Dynamic Typing as Staged Type Inference. | Mark Shields, Tim Sheard, Simon L. Peyton Jones |
| 1996 | ESOP | Compiling Haskell by Program Transformation: A Report from the Trenches. | Simon L. Peyton Jones |
| 1996 | ICFP | Let-floating: Moving Bindings to Give Faster Programs. | Simon L. Peyton Jones, Will Partain, Andr L. M. Santos |
| 1996 | PLDI | GUM: A Portable Parallel Implementation of Haskell. | Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., Andrew S. Partridge, Simon L. Peyton Jones |
| 1996 | POPL | Concurrent Haskell. | Simon L. Peyton Jones, Andrew D. Gordon, Sigbjrn Finne |
| 1995 | POPL | Time and Space Profiling for Non-Strict Higher-Order Functional Languages. | Patrick M. Sansom, Simon L. Peyton Jones |
| 1994 | ESOP | Type Classes in Haskell. | Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |
| 1994 | ICLP | Lazy Funtional State Threads: An Abstract. | John Launchbury, Simon L. Peyton Jones |
| 1994 | PLDI | Lazy Functional State Threads. | John Launchbury, Simon L. Peyton Jones |
| 1993 | POPL | Imperative Functional Programming. | Simon L. Peyton Jones, Philip Wadler |
| 1986 | ESOP | A Safe Approach to Parallel Combinator Reduction (Extended Abstract). | Chris Hankin, Geoffrey Livingston Burn, Simon L. Peyton Jones |