Themen (Projekte, Thesis)
Vor Anmeldung Ihrer Abschlussarbeit werde ich mit Ihnen eine mögliche Strukturierung Ihrer Arbeit besprechen und Hinweise zum Stil und Aufbau geben. Dabei orientiere ich mich an folgenden Dokumenten:
Bachelorprojekte und -arbeiten
- Visualisierung von Netzwerkalgorithmen im Browser (GBN, Congestion Control, Flow Control, ARP, ...) [Web-Entwicklung, Rechnernetze]
- Entwicklung eines Compilers in einer funktionalen Sprache [Funktionale Programmierung, Compilerbau]
- Entwicklung einer graphischen Oberfläche für den RSSA Debugger [reversible computing]
- Entwicklung einer DSL für Datenstrukturen und eines Präprozessors, der diese in JANUS umwandelt [Algorithmen, Compilerbau, reverse Computing]
- Erweiterung von SPL um Klassen [Compilerbau]
- Übersetzung von SPL in LLVM Intermediate Representation [Compilerbau]
- Visualisierung des SPL-Parsers aus Compilerbau [Compilerbau]
- Entwicklung eines Debuggers für SPL [Compilerbau]
- Testframeworks für Compiler [Compilerbau]
- + Themen, die sich aus Ihrer Zusammenarbeit mit Firmen ergeben.
Entwicklungsprojekte und Masterarbeiten
- Entwurf und Impl. eines verteilten Systems mit dem AXON-Framework [Verteilte Systeme]
- Implementierung eines Produktionsprozesses mit dem Framework Temporal.io (u.a. Skalierbarkeit, Durchsatz, Restart-Fähigkeit) [Verteilte Systeme]
- FaaS (Function as a Service) mit OpenWhisk und anderen Toolkits [Verteilte Systeme]
- Prototypische Implementierung von Paxos oder Raft und dessen Evaluation [Verteilte Systeme]
- Implementierung eines Load-Balancers für Microservice-Systeme (inkl. Messung
- Implementierung eines BOBISA Backends für den RC3-Compiler. [reverse computing]
- Bidirektionale Transformation von Datenstrukturen (z.B. JSON <->AST) [reverse Computing]
- Partielle Auswertung für die Sprache HSSA [reversible computing]
- Automated Program Repair [Compilerbau]
- Machine Learning für Compilerbau [Compilerbau]
- + Themen, die sich aus Ihrer Zusammenarbeit mit Firmen ergeben.
