Student Projects
You can find a non-exhaustive list of available projects below. Please email us () to check the availability of other projects.
Available
Past/Ongoing
Enabling Automatic Verification of Concurrent Data Structures
Christof Leutenegger
Download Description (PDF, 175 KB)
Marrying Miri and GenMC
Patrick Muntwiler
Download Description (PDF, 254 KB)
Adding a Rust frontend to GenMC
Arbenit Kamberi
Download Description (PDF, 175 KB)
Combining Symmetry- and Barrier-Aware Reduction in GenMC
Morris Turdo
Download Description (PDF, 68 KB)
Model-checking the libcds library
Benedek Mezei
Download Description (PDF, 44 KB)