Lehrstuhl für Datenbanksysteme (Database Systems Chair)

About Me

I am a research assistant and member of the Database Systems Group at the University of Tübingen. My research focusses on developing an efficient embedded query language for Haskell using the Flattening transformation.  In general I am interested in functional programming, programming language development and program correctness.

Coordinates

Publications

Peer-reviewed Publications

• Bringing Back Monad Comprehensions [BIB]
  George Giorgidze, Torsten Grust, Nils Schweinsberg, Jeroen Weijers
  In Proceedings of the ACM SIGPLAN Haskell Symposium (Haskell 2011), Tokyo, Japan. ACM, 2011, to appear
  
• Haskell Boards the Ferry: Database-Supported Program Execution for Haskell [BIB]
  George Giorgidze, Torsten Grust, Tom Schreiber, Jeroen Weijers
  In Revised selected papers of the 22nd international symposium on Implementation and Application of Functional Languages (IFL 2010), Alphen aan den Rijn, Netherlands, September 2010,  volume 6647 of Lecture Notes in Computer Science. Springer, 2010
  Best Paper Award.

Theses

• Feedback-Oriented Security Analysis [Slides]
  Jeroen Weijers
  dr. Jurriaan Hage (Daily supervisor), drs. Stefan Holdermans (Second supervisor), prof. dr. Doaitse Swierstra (Supervising professor)
  Master thesis, Utrecht University, Department of Information and Computing Sciences, Center for Software Technology
  

Selected Talks

03-09-2010
I gave a talk entitled "Haskell boards the Ferry, A Database Coprocessor for Haskell" at the 22nd Symposium on Implementation and Application of Functional Languages, IFL 2010, Alphen aan de Rijn, The Netherlands
[Slides][Bonus slides (these were not presented during the conference)]

06-09-2011
I gave a talk entitled "A Flattening Based Query Language" at the HIPERFIT Seminar, Copenhagen, Denmark
[Slides (PPTX)][Slides (PDF)]

23-09-2011
I gave a lightening talk entitled "Database Supported Haskell" at the Haskell Implementors' Workshop 2011, Tokyo, Japan
[Slides (PPTX)][Slides (PDF)]

Packages

I am the maintainer of the following packages:

DSH related:

The prototype described in our paper "Haskell boards the Ferry, A Database Coprocessor for Haskell" is available for download from Hackage.

• Table Algebra
• FerryCore
• DSH

Education

I am/have been involved in the following courses:

Wintersemester 2011

Advanced Functional Programming (Teaching + Practical)

Supervision

I am currently supervising the following students:

Sascha Herrmann

• Topic: Add X100 support in FerryLeaks
• Description: With FerryLeaks we have a system that helps us debug algebraic plans for PathFinder. Ongoing work on DSH has added a new backend to the system that generates X100 algebra. It is likely that in the future more algebraic system might be added. Ferryleaks was designed so that it is easy to created new plugins or types of nodes. It wasn't however designed to support multiple algebras. In this project a student will have to add support for the X100 algebra (including features such as generating plans, executing them or exporting them in DOT format).
• Type: Studienarbeit

Completed Theses

The following theses have been completed under my supervision. Prof. Torsten Grust is the supervising professor.

Patrick Brosi

• Topic: Web-based editor for algebraic plans
• Description: Ferry programs output table algebra plans as an intermediate result during compilation. We would like to have a web-based tool that can be used to edit or create these plans and help us debug them. On the client-side we would like to have some HTML/javascript implementation (AJAX). On the server-side a Haskell implementation would be preferred (but Java (Google Web Toolkit)/Ruby is also possible). You will have to use dot to help layout the algebraic plans, and some XML processing/generating will also be involved.
• Type: Bachelor thesis
• Other supervisors: Manuel Mayr
• Thesis

Short Academic Biography