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 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 the singletons library.
dep-typed-wbl-heaps (bitbucket: Agda, Haskell)
Verified implementation of a weight biased leftist heap in Agda and Haskell. This project is a an intermediate-level tutorial aimed at people who already have a basic knowledge on program verification using dependent types.
haskell-testing-stub (bitbucket)
Demonstration of how to organize tests and benchmarks in a Haskell project.
tasty-program (bitbucket, hackage)
Library that extends tasty testing framework. Allows to test whether a given program executes successfully.
tasty-hunit-adapter (bitbucket, hackage)
Library that extends tasty testing framework. Allows to import existing HUnit tests.
en/research/projects.txt · Last modified: 2018/06/15 18:11 by Jan Stolarek