Student Projects
Available Projects
Effective model checking for condition variables
protected page Description
Model-checking real-world codebases
protected page Description
Reasoning about Interrupts in Systems Code
protected page Description
Architectural optimizations for scalable model-checking
protected page Description
Integrating model checking into an IDE
protected page Description
Past/Ongoing Projects
Enabling Automatic Verification of Concurrent Data Structures
Christof Leutenegger
Download Description (PDF, 175 KB)
Download Thesis (PDF, 1.1 MB)
Marrying Miri and GenMC
Patrick Muntwiler
Download Description (PDF, 260 KB)
A Visualization Interface for GenMC
Valon Lugic
Download Description (PDF, 113 KB)
Adding a Rust frontend to GenMC
Arbenit Kamberi
Download Description (PDF, 51 KB)
Download Thesis (PDF, 794 KB)
Combining Symmetry- and Barrier-Aware Reduction in GenMC
Morris Turdo
Download Description (PDF, 70 KB)
Download Thesis (PDF, 2.7 MB)
Model-checking the libcds library
Benedek Mezei
Download Description (PDF, 47 KB)
Download Thesis (PDF, 922 KB)