en
plProjects
Below is a list of projects and libraries I am or have been involved with.
- Skye: A programming language bridging theory and practice for scientific data curation (project homepage)
- I have developed a prototype implementation of provenance tracking as a library. Details are described in Language-integrated provenance in Haskell paper. Implementation is available on github.
- I have worked together with Wilmer Ricciotti, Roly Perera and James Cheney on slicing imperative functional programs. Details are described in Imperative Functional Programs That Explain Their Work paper. Implementation is available on github.
- Glasgow Haskell Compiler (project homepage)
I have been involved in development of GHC between 2013 and 2015.- Together with Simon Peyton Jones and Richard Eisenberg we extended GHC with injective type families. Details are described in the paper Injective Type Families for Haskell.
- I contributed various patches to Template Haskell.
- I have implemented new PrimOps for comparing built-in primitive types. This allows to write branchless algorithms. See GHC wiki for an in-depth discussion of the problem and implementation details.
- I worked on improving Cmm optimizations, which are performed before code generation.
- singletons (github, hackage)
Together with Richard Eisenberg we developed a method of converting Haskell term-level functions to the type level. Our approach is implemented in thesingletonslibrary. - haskell-testing-stub (bitbucket)
Demonstration of how to organize tests and benchmarks in a Haskell project.