Resource Aware Programming

An EDSL Approach to High Performance Haskell Programming, Johan Ankner and Josef Svenningsson. Haskell Symposium 2013.

Programming Future Parallel Architectures with Haskell and ArBB, Bo Joel Svensson and Ryan Newton. FASPP 2011.

Parallel Programming in Haskell Almost for Free, Bo Joel Svensson and Mary Sheeran. FHPC 2012.

Counting and Occurrence Sort for GPUs using an Embedded Language, Josef Svenningsson, Bo Joel Svensson and Mary Sheeran. FHPC 2013.

Expressive Array Constructs in an Embedded GPU Kernel Programming Language, Koen Claessen, Mary Sheeran, Bo Joel Svensson. DAMP 2012.

Testing

Feat: Functional Enumeration of Algebraic Types, Jonas Duregård, Patrik Jansson and Meng Wang. Haskell Symposium 2012.

Generating Constrained Random Data with Uniform Distribution, Koen Claessen, Jonas Duregård and Michał H. Pałka. FLOPS 2014.

Splittable Pseudorandom Number Generators using Cryptographic Hashing, Koen Claessen and Michał H. Pałka. Haskell symposium 2013.

An Expressive Semantics of Mocking, Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell and John Hughes. FASE 2014.

Testing non-interference, quickly, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos. ICFP 2013.

HALO: Haskell to Logic through Denotational Semantics, Dan Rosén, Koen Claessen, Dimitrios Vytiniotis and S P Jones. POPL 2013.

Automating Inductive Proofs using Theory Exploration, Koen Claessen, Dan Rosén, Moa Johansson, Nicholas Smallbone. CADE 2013.

DSL

Feldspar: Application and Implementation, Emil Axelsson and Mary Sheeran, Central European Functional Programming School. Lecture Notes in Computer Science Volume 7241, 2012.

Names For Free, Bernardy J-P. and Pouillard, N. _ Haskell symposium 2013_.

Simple and Compositional Reification of Monadic Embedded Languages, Josef Svenningsson and Bo Joel Svensson. ICFP 2013.

Combining Deep and Shallow Embedding for EDSL, Josef Svenningsson and Emil Axelsson. TFP 2012.

A generic abstract syntax model for embedded languages, Emil Axelsson. ICFP 2012.

Functional pearl: Using circular programs for higher-order syntax, Emil Axelsson, Koen Claessen. ICFP 2013.

Generic Monadic Constructs for Embedded Languages, Anders Persson, Emil Axelsson, Josef Svenningsson. IFL 2011

Efficient divide-and-conquer parsing of practical context-free languages, Bernardy, J-P. and Claessen, K. ICFP 2013.

FliPpr: A Prettier Invertible Printing System, Kazutaka Matsuda and Meng Wang. ESOP 2013.

Semantic bidirectionalization revisited, Meng Wang and Shayan Najd. PEPM 2014.

Bidirectionalization for Free with Runtime Recording: Or, a Light-Weight Approach to the View-Update Problem, Kazutaka Matsuda and Meng Wang. PPDP 2013.

Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins, Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda and Meng Wang. JFP 2013.