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)
Materlial
- 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
Registration
You can register for the seminars of all Software Engineering working groups in this OLAT course.