Pågående og avsluttede masteroppgaver
Sidetittel | Publisert | Student(er) | Veileder(e) |
---|---|---|---|
Advanced Tooling in Modern Languages: Rust | 15. des. 2015 | ||
Analysis of the Go memory model | 4. des. 2015 |
|
|
Collaborative editing in emacs | 2. jan. 2015 |
|
|
Development of a PLC code analyzer | 22. sep. 2014 |
|
|
Discovering the Trusting Trust Attack | 13. nov. 2017 |
|
|
DTrace and Runtime Verification | 22. sep. 2014 |
|
|
R3: Random Robust Rust | 7. okt. 2020 |
|
|
Safer Refactorings | 22. sep. 2014 | ||
Verification Tool for Concurrent Software | 22. sep. 2014 |
|