| 2014 | Building secure systems with LIO (demo). | Deian Stefan, Amit Levy, Alejandro Russo, David Mazires |
| 2014 | Reflection without remorse: revealing a hidden sequence to speed up monadic reflection. | Atze van der Ploeg, Oleg Kiselyov |
| 2014 | SmartCheck: automatic and efficient counterexample reduction and generalization. | Lee Pike |
| 2014 | Embedding effect systems in Haskell. | Dominic A. Orchard, Tomas Petricek |
| 2014 | Systems demonstration: writing NetBSD sound drivers in Haskell. | Kiwamu Okabe, Takayuki Muranushi |
| 2014 | Experience report: type-checking polymorphic units for astrophysics research in Haskell. | Takayuki Muranushi, Richard A. Eisenberg |
| 2014 | A simple semantics for Haskell overloading. | J. Garrett Morris |
| 2014 | The HdpH DSLs for scalable reliable computation. | Patrick Maier, Robert J. Stewart, Phil Trinder |
| 2014 | Demo proposal: making web applications -XSafe. | Amit A. Levy, David Terei, Deian Stefan, David Mazires |
| 2014 | A seamless, client-centric programming model for type safe web applications. | Anton Ekblad, Koen Claessen |
| 2014 | Promoting functions to type families in Haskell. | Richard A. Eisenberg, Jan Stolarek |
| 2014 | Foreign inline code: systems demonstration. | Manuel M. T. Chakravarty |
| 2014 | Experience report: the next 1100 Haskell programmers. | Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel |
| 2014 | Indentation-sensitive parsing for Parsec. | Michael D. Adams, mer S. Agacan |
| 2013 | Causality of optimized Haskell: what is burning our cycles? | Peter Moritz Wortmann, David J. Duke |
| 2013 | Mio: a high-performance multicore io manager for GHC. | Andreas Voellmy, Junchang Wang, Paul Hudak, Kazuhiko Yamamoto |
| 2013 | Monadic functional reactive programming. | Atze van der Ploeg |
| 2013 | The Intel labs Haskell research compiler. | Hai Liu, Neal Glew, Leaf Petersen, Todd A. Anderson |
| 2013 | Data flow fusion with series expressions in Haskell. | Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson |
| 2013 | Hasochism: the pleasure and pain of dependently typed haskell programming. | Sam Lindley, Conor McBride |
| 2013 | Maintaining verified software. | Joe Leslie-Hurd |
| 2013 | Extensible effects: an alternative to monad transformers. | Oleg Kiselyov, Amr Sabry, Cameron Swords |
| 2013 | Splittable pseudorandom number generators using cryptographic hashing. | Koen Claessen, Michal H. Palka |
| 2013 | Adding structure to monoids: thus hopefully ending Haskell's string type confusion. | Mario BlaEevic |
| 2013 | Understanding idiomatic traversals backwards and forwards. | Richard S. Bird, Jeremy Gibbons, Stefan Mehner, Janis Voigtlnder, Tom Schrijvers |