Thesis projects

Keywords: Maximum Satisfiability Solvers, Automatic Configuration

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

Keywords: Verification Tools, Automatic Configuration

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

Keywords: Learning, Automated Decisions, Online Safety Requirements

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

Keywords: Automated Program Repair, Fault Localization, Neural Networks

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

Keywords: Ensemble learning, Federated learning, Machine Learning

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

Keywords: Fault Localization, Neural Networks

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

Keywords: Queueing Networks, Software Performance

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

Keywords: Strategy synthesis

Topic and main paper:
Automatic Abstraction Refinement for Timed Automata
Prerequisites: Software verification
Particular interests: Timed games, controller synthesis, abstraction refinement