Topic and main paper:
Exploiting Configurations of MaxSAT solvers
Prerequisites: Procedural Programming, Software Engineering
Particular interests: Performance Tuning, Experimenting

Topic and main paper:
SATune: a study-driven auto-tuning approach for configurable software verification tools
Prerequisites: Software verification
Particular interests: Performance Analysis, Result Validation

Topic and main paper:
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems
Prerequisites: Software verification
Particular interests: Decision Analysis, Cyber-physical Systems

Topic and main paper:
Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models
Prerequisites: Software Engineering, Procedural Programming
Particular interests: Automated Program Repair

Topic and main paper:
Boosting the Federation: Cross-Silo Federated Learning without Gradient Descent
Prerequisites: Machine Learning
Particular interests: Distributed Ensemble Learning

Topic and main paper:
DeepFault: Fault Localization for Deep Neural Networks
Prerequisites: Software Engineering, Procedural Programming
Particular interests: Fault Localization

Topic and main paper:
QN-based Modeling and Analysis of Software Performance Antipatterns for Cyber-Physical Systems
Prerequisites: Software verification
Particular interests: Modeling, Performance Analysis