| Topic
|
Description
|
Student
|
Status
|
| Suitability of Rust for embedded software system applications
|
PDF
|
|
AVAILABLE
|
| Static analysis of concurrency - algorithms vs AI
|
PDF
|
|
AVAILABLE
|
| Dynamic analysis of concurrency - algorithms vs AI
|
PDF
|
|
AVAILABLE
|
| High-level synchronisation mechanisms for programming multithreaded software
|
PDF
|
|
AVAILABLE
|
| Continuous testing of concurrent software
|
PDF
|
|
AVAILABLE
|
| Enhancement of Lockset Eraser algorithm for finding concurrency bugs
|
PDF
|
|
AVAILABLE
|
| Modelling of concurrency-relevant architectural decisions in Agile
|
PDF
|
|
AVAILABLE
|
| Visualization of concurrency-relevant architectural decisions in Agile
|
PDF
|
|
AVAILABLE
|
| Framework for Targeted Tracing of Software Execution with Debug Symbols
|
PDF
|
|
AVAILABLE
|
| GitHub Application for Continuous Engineering
|
PDF
|
|
AVAILABLE
|
| Improving Performance of LLVM Interpreter
|
PDF
|
|
AVAILABLE
|
| Support for LLVM Interpreter to run multithreaded applications
|
PDF
|
|
AVAILABLE
|
