LIACS >Kristian Rietveld

Dr. Kristian F. D. Rietveld

E-mail: krietvel (at) liacs.nl

Visiting address


Snellius Gebouw Universiteit Leiden
Room 138 (first floor)
Niels Bohrweg 1
2333 CA Leiden
The Netherlands

Postal address


Leiden University, LIACS
P.O. Box 9512
2300 RA Leiden
The Netherlands

I am a Researcher and Lecturer in the Computer Systems group at LIACS. My research interests are optimizing compilers, program transformation, database systems, sparse matrices, data structure generation, and parallel and distributed computing. I have professional experience as Lead Software Engineer and System Administrator. As software engineer, I am especially experienced in shared library maintenance (API and ABI compatibility) and working on open source software in open communities. In the past I have been part of the GTK+ development team for over a decade.

My teaching activities can be found on the teaching page. I am involved in teaching courses on Programming, Operating Systems, Networking and Parallel Programming. I am available for supervision of BSc and MSc projects in the area of Optimizing Compilers, Computer Systems and Parallel and Distributing Computing.

In April 2014 I defended my PhD thesis entitled "A Versatile Tuple-Based Optimization Framework". In my thesis, a versatile tuple-based optimization framework is described that is capable of optimizing traditional imperative codes (such as sparse matrix computations) as well as declarative codes (such as database queries). In the first part of the thesis, the vertical integration of database applications is discussed. Using the described framework it is possible to represent the application codes as well as the declarative database queries within the same intermediate representation, unlocking many optimization opportunities. The second part of the thesis explores the optimization of irregular codes using this framework. It is shown that by expressing irregular codes within the presented framework, many different variants of this code using different data structures can be generated automatically.