Informatik-Seminar Wintersemester 2025/26

Themenliste

Prof. Stephan Diehl

1. Myths and Realities: The Performance Impact of Garbage Collection

Link zum Paper


2. Mock roles, not objects

Link zum Paper

Für weitere Informationen bitte bei Prof. Diehl nachfragen.

Prof. Philipp Kindermann

3. Tangling and Untangling Trees on Point-Sets

Link zum Paper


4. Geometric Simultaneous Embeddings of a Graph and a Matching

Link zum Paper


5. Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I

Link zum Paper

Für weitere Informationen bitte bei Prof. Kindermann nachfragen.

Prof. Stefan Näher

6.  J.E. Hopcroft and R.E. Tarjan: Finding the Triconnected Components of a Graph

Link zum Paper

Für weitere Informationen bitte bei Prof. Näher nachfragen.

Prof. Ralf Schenkel


7. Sheeba Samuel, Daniel Mietchen: Computational reproducibility of Jupyter 
   notebooks from biomedical publications. 
   GigaScience, Volume 13, 2024, giad113, 

Link zum Paper


8. Guangyao Chen et al.: AutoAgents: A Framework for Automatic Agent Generation
   IJCAI 2024, 22-30 

Link zum Paper

Für weitere Informationen bitte bei Prof. Schenkel nachfragen.

Prof. Jaqueline Staub


9. Dobiáš, V., Šimandl, V., & Vaníček, J. (2025, August). 
   Optimising Programming Curriculum Gradation Using the Program Builds Count 
   Method. In International Conference on Informatics in Schools: Situation, 
   Evolution, and Perspectives (pp. 15-26). Cham: Springer Nature Switzerland.

Link zum Paper


10. Pozzan, Gabriele, et al. "On the Use of Tracing to Diagnose Misconceptions 
   About Iteration." International Conference on Informatics in Schools: 
   Situation, Evolution, and Perspectives. Cham: Springer Nature Switzerland, 
   2025.

Link zum Paper

Für weitere Informationen bitte bei Prof. Staub nachfragen.

Prof. Peter Sturm


11. Persistent Memory File Systems: A Survey

Nicht-flüchtiger, byte-adressierbarer Hauptspeicher mit extrem niedriger Latenz stellt klassische Dateisysteme vor ein grundlegendes Problem: Viele Mechanismen, die für langsame Blockgeräte sinnvoll waren – Page Cache, aufwendige Pfadauflösung, Journaling auf Blockebene – werden selbst zum dominanten Overhead. Moderne Dateisystementwürfe reagieren darauf mit radikalen Architekturentscheidungen: Sie umgehen den Kernel-I/O-Stack per Direct Access, verlagern Teile der Metadatenverwaltung in den Userspace, nutzen hardwaregestützte Adressübersetzung statt softwarebasierter Indexstrukturen und kombinieren atomare Speicheroperationen mit spezialisierten Logging-Techniken, um Konsistenz ohne hohe Schreibverstärkung zu erreichen. Dabei entstehen spannende Design-Trade-offs zwischen Performance, Skalierbarkeit, Programmiermodell und POSIX-Kompatibilität.


Link zum Paper

12. A Survey of Blockchain Consensus Protocols

Blockchain-Systeme stehen vor einem grundlegenden Spannungsfeld: Sie sollen ohne zentrale Instanz auskommen, dabei aber trotzdem globalen Konsens, Sicherheit gegen byzantinische Angreifer und praktikable Performance liefern. Moderne Konsensprotokolle gehen dieses Problem mit sehr unterschiedlichen Strategien an – von ressourcenbasierten Verfahren wie Proof-of-Work, Proof-of-Stake oder Proof-of-Storage bis hin zu abstimmungsbasierten BFT-Protokollen mit festen oder dynamisch gewählten Komitees. Jede dieser Klassen bringt eigene Trade-offs mit sich, etwa zwischen Dezentralisierung und Durchsatz, probabilistischer und deterministischer Finalität, Energieverbrauch und Angriffsresistenz. Besonders spannend ist, wie neuere Ansätze klassische verteilte-Systeme-Theorie (Paxos, PBFT, FLP-Unmöglichkeit) mit blockchain-spezifischen Ideen wie Leader-Wahl, Sharding, DAG-Strukturen oder hybriden Konsensmodellen verbinden.


Link zum Paper

Für weitere Informationen bitte bei Prof. Sturm nachfragen.

Prof. Benjamin Weyers


13. Natural Expression of a Machine Learning Model’s Uncertainty Through Verbal
    and Non-Verbal Behavior of Intelligent Virtual Agents

14. Speaking with Objects: Conversational Agents’ Embodiment in Virtual Museums

15. A Design Space Exploration of Worlds in Miniature


Link zu allen drei Papers

Für weitere Informationen bitte bei Prof. Weyers nachfragen.

.