Part II projects:
| Topic | Description | Student | Status |
| Framework for Targeted Tracing of Software Execution with Debug Symbols | AVAILABLE | ||
| GitHub Application for Continuous Engineering | AVAILABLE | ||
| Improving Performance of LLVM Interpreter | AVAILABLE | ||
| Support for LLVM Interpreter to run multithreaded applications | AVAILABLE |
Master thesis topics
| Topic | Description | Student | Status |
| Automatic generation of Synchronization Primitives for Multithreaded Programs | AVAILABLE | ||
| Visualization approach for Expressing Synchronization Intentions | AVAILABLE |
Full list, including previous topics, is available here.