| 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 |
|
|
| Editor and IDE support for a Java-like language |
Aug. 9, 2024 |
|
|
| Patient Stream Generation for a Digital Twin of a Hospital Ward |
Sep. 23, 2026 |
|
|
| Privacy-aware interactions with Generative AI |
Sep. 22, 2025 |
|
|
| R3: Random Robust Rust |
Oct. 7, 2020 |
|
|
| Safer Refactorings |
Sep. 22, 2014 |
|
|
| Verification Tool for Concurrent Software |
Sep. 22, 2014 |
|
|