Sebastian Wolff
PhD Student, M.Sc. in Computer Science
| Email: | sebastian.wolff@tu-braunschweig.de |
| Phone: | (+49) 0531 391 9532 |
| Office: |
3rd floor, office 342, Informatikzentrum
Mühlenpfordtstraße 23, 38106 Braunschweig, (map). |
| Mail: |
Sebastian Wolff If Theor. Informatik Mühlenpfordtstr. 23 D-38106 Braunschweig Germany |
| Misc: |
List of Publications DBLP, GitHub, LinkedIn |
Since September 2015 I am a PhD student at the Institute for Theoretical Computer Science (TCS; former Concurrency Theory Group at the University of Kaiserslautern). From 2015 to 2016 I was concurrently affiliated with the Competence Center High Performance Computing at Fraunhofer ITWM. Before, I studied Computer Science at the University of Kaiserslautern.
My research interest lies in the verification of highly concurrent data structures. In particular, I am interested in lock-free data structures and their fully automated verification.
Tools
So far I have developed the following model checkers:
- RocketScience: a tool that checks recursive integer programs for assertion errors.
- TMRexp: a static analysis tool for proving linearizability of concurrent, lock-free stacks and queues. This is the first tool to verify lock-free data structures with safe memory reclamation (hazard pointers and epoch-based reclamation).
- SEAL: model check for lock-free data structures with safe memory reclamation. This tool uses a type system to establish that memory is properly managed, allowing for the verification to be done under garbage collection semantics using an existing, off-the-shelf verifier.