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
| Address: |
Universität Tübingen
Wilhelm-Schickard-Institut für Informatik
Lehrstuhl für Datenbanksysteme
Sand 13 · 72076 Tübingen · Germany |
| Room: |
B313 |
| Phone: |
+49 7071 29-75993 |
| Fax: |
+49 7071 29-5958 |
| E-Mail: |
This e-mail address is being protected from spambots. You need JavaScript enabled to view it
|
Publications
Peer-reviewed Publications
- Security Type Error Diagnosis for Higher-Order, Polymorphic Languages [BIB][slides][
 ]
Jeroen Weijers, Jurriaan Hage and Stefan Holdermans
In proceedings of ACM Sigplan 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013), Rome, Italy. ACM, 2013, January 2013.
Best paper award at PEPM'13
- Algebraic Data Types for Language-Integrated Queries [BIB][]
George Giorgidze, Torsten Grust, Alexander Ulrich, and Jeroen Weijers.
In Proceedings of the 1st international workshop on Data Driven Functional Programming (DDFP 2013), Rome, Italy. ACM, 2013, January 2013.
- 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
- 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
Peter Landin Prize for the best paper at IFL 2010.
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)]
22-01-2013
I gave a talk entitled "Algebraic Data Types for Language-Integrated Queries" at DDFP 2013, Rome, Italy
[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.
Education
I have been involved in the following courses:
Wintersemester 2011
Advanced Functional Programming (Teaching + Practical)
Summersemester 2012
Seminar Parallelism and Concurrency
Supervision
I am currently supervising the following students:
Tobias Müller
- Topic: In memory implementation of vector primitives
- Type: Diploma thesis
Achim Krause
- Topic: GHC extension for overloading list notation in Haskell
- Type: Studienarbeit
- Other supervisors: George Giorgidze
Alexander Gremm
- Topic: A work stealing approach to Nested Data Parallelism
- Type: Diploma thesis
- Other supervisors: George Giorgidze
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
|
