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
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)
Download Thesis (PDF, 891 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)
Architectural optimizations for scalable model-checking
Jannis Piekarek
Download Description (PDF, 18 KB)
Integrating model checking into an IDE
Lia Stratan
Download Description (PDF, 57 KB)
Optimizing Kater's inclusion algorithm
Alice La Porta
Download Description (PDF, 33 KB)
Optimizing GenMC's consistency-checking routines
Arbenit Kamberi
Download Description (PDF, 83 KB)