Top Repositories
Verification tool for lock-free data structures with safe memory reclamation.
Supplemental Material for PhD Thesis. See: https://wolff09.github.io/phd/
An experimental linearizability checker for lock-free data structures using safe memory reclamation.
State-of-the-Art Model Checker for Sequential Recursive Integer Programs.
Design for FSIntra2013 - awesome Metro Design for the Fachschafts Intranet.
Repositories
14Verification tool for lock-free data structures with safe memory reclamation.
Personal Webpage: https://wolff09.github.io/
Supplemental Material for PhD Thesis. See: https://wolff09.github.io/phd/
Experimental verifier for lock-free data structures using flows in a program logic
An experimental linearizability checker for lock-free data structures using safe memory reclamation.
State-of-the-Art Model Checker for Sequential Recursive Integer Programs.
Fachschaftsgetränke 2.0
No description provided.
Semester Opening 2015 Website
No description provided.
Design for FSIntra2013 - awesome Metro Design for the Fachschafts Intranet.
Automatic scrolling of buffers, like vim's scrolloff.
Exercises for the Lecture Probability And Algorithms
Netzwerk-Analyse-Projekt