I left Kiel

I left the University of Kiel and moved to the National Institute of Informatics, Tokyo. My new website with an updated list of publications is available there or here.

A Play on Regular Expressions (Functional Pearl)

This is joint work with Frank Huch and Thomas Wilke accepted for ICFP’10 [paper,slides].

Reinventing Haskell Backtracking

I have revised my submission to ATPS’09 — a german workshop on programming.

The most important changes are:

  • a simplified implementation of iterative deepening depth-first search and
  • an additional section with experimental results.

There is also an extended one page abstract summarising the work.

more..

Purely Functional Lazy Non-deterministic Programming

This is joint work with Oleg Kiselyov and Chung-chieh Shan accepted for ICFP’09.

more..

Data-Flow Testing of Declarative Programs

with Herbert Kuchen

  • ICFP ‘08: Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming © ACM Press
  • pdf
  • slides
  • bib

more..

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

with Josep Silva, Salvador Tamarit and German Vidal

  • LOPSTR ‘07: Logic-Based Program Synthesis and Transformation © Springer
  • pdf
  • bib

more..

EasyCheck - Test Data for Free

with Jan Christiansen

  • to be published in FLOPS ‘08: Proceedings of the 9th International Symposium on Functional and Logic Programming © Springer
  • pdf
  • slides
  • bib

more..