Ongoing and completed master's projects
Page title | Published | Student(s) | Supervisor(s) |
---|---|---|---|
Advanced Tooling in Modern Languages: Rust | Dec. 15, 2015 | ||
Analysis of the Go memory model | Dec. 4, 2015 |
|
|
Collaborative editing in emacs | Jan. 2, 2015 |
|
|
Development of a PLC code analyzer | Sep. 22, 2014 |
|
|
Discovering the Trusting Trust Attack | Nov. 13, 2017 |
|
|
DTrace and Runtime Verification | Sep. 22, 2014 |
|
|
R3: Random Robust Rust | Oct. 7, 2020 |
|
|
Safer Refactorings | Sep. 22, 2014 | ||
Verification Tool for Concurrent Software | Sep. 22, 2014 |
|