Homepage of Tom Schrijvers - Research

Position

I am the head of the Programming Languages group at the Department of Applied Mathematics and Computer Science, UGent. I am co-supervisor of Pieter Wuille, a Ph.D. student of the DTAI group, K.U.Leuven.

Previously, I was a post-doctoral researcher of the fund for Scientific Research - Flanders (Belgium)(F.W.O. - Vlaanderen) and member of the DTAI group, K.U.Leuven.

Research Interests

• language design
• optimized compilation
• program analysis, abstract interpretation
• type inference, type checking, type reconstruction
• software engineering
• software testing
• Constraint Logic Programming, Constraint Handling Rules

Past and Current Work

I have done work on:

• type systems, type checking and innference for Haskell (type families, GADTs, type classes, type invariants)
• monadic constraint programming
• constraint-based test case generation
• A framework for polymorphic type inference and reconstruction
• Constraint Handling Rules:
  • advanced indexing, with Beata Sarna-Starosta (ongoing work)
  • Ph.D. Thesis "Analyses, Optimizations and Extensions of Constraint Handling Rules"
  • The K.U.Leuven CHR System for hProlog, XSB, SWI-Prolog
  • Integration with tabling
  • Automatic implication checking for CHR solvers
  • An abstract interpretation framework for CHR
  • I maintain the CHR website
• The PARMA variable representation: trailing analysis based on abstract interpretation, improved trailing
• Refactoring Prolog Programs: ViPReSS, the Prolog refactoring browser
• Libraries for SWI-Prolog: co-routining (dif and when) and a finite domain solver (bounds), all available in SWI-Prolog

Prolog Programming Contests Book

B. Demoen, P.-L. Nguyen, T. Schrijvers, R. Tronçon. The First 10 Prolog Programming Contests. Official website. The book is now available!