Bachelor/Master Seminar (WS 2023/24)

We offer a Bachelor/Master seminar “Software Engineering” (cf. INF-33-11 / INF-33-72).

Topics

The topics cover functional data structures. The literature consists mainly of “Purely Functional Data Structures” from Okasaki. There are three main blocks each consisting of three topics:

Numerical representations:
- Idea of numerical representations and random access lists (chap. 9.1, 9.2.1)
- Binomial heaps and skew binomial heaps (chap 3.2, 6.4.1, 9.3.2)
- Finger trees (paper)
Lazy evaluation and amortisation
- Fundamentals (chap. 5)
- Lazy evaluation and amortisation (chap. 6)
- Eliminating amortisation (chap. 7+8)
Data structural bootstrapping
- Catenable lists (chap. 10.2.1)
- Optimal priority queues (chap 10.2.2)
- Tries (chap. 10.3, paper)

Material

Book “Purely functional data structures” by Chris Okasaki. Available in the library
Kick-off slides
LaTeX template (mandatory!)

Schedule

Kick-off Meeting (compulsory attendance): Thursday, 02.11.2023, 08:15 - 09:45 in 32-439
Presentations (compulsory attendance on all three days):
- Thursday, 18.01.2024, 08:15 - 09:45 in 32-439
- Thursday, 25.01.2024, 08:15 - 09:45 in 32-439
- Thursday, 01.02.2024, 08:15 - 09:45 in 32-439
Paper draft submission deadline: seven weeks before your presentation (30.11./07.12./14.12.2023)
Final paper submission deadline: 09.02.2024 at 23:59