Name Title
Mohamed Hocein el Morabeti Developing a Verification Tool for Concurrent Software in Modern Programming Languages (working title)
Sean Amaury Lapalus A Domain-Specific Language for Real-Estate Floor Plans (working title)
Jakub Wasylków Verification software for concurrent software written in C using GCD (working title)
Saima Sultana A comparative analysis of the impact of different SSD tools and methods on software development productivity (working title)
Jakob Konrad Hansen  
Sebastian Max Sjøvoll Kingston Automated Refactoring of Test Suites in Python
Nemanja Lakicevic Runtime Verification with Linux BPF
Audun Wolden Verification Tool for Concurrent Software