I'm a Junior Fellow of the Simons Foundation and post-doctoral researcher in the Analysis of Computer Systems Group at New York University's Courant Institute, working with Thomas Wies. Before, I obtained my PhD from the University of Braunschweig, Germany, under the supervision of Roland Meyer.
My research revolves around the analysis and verification of concurrent programs. I am specifically interested in the automated verification of high-performance data structures. During my PhD, I have contemplated about the manual memory management aspect of non-blocking data structures and how to verify it separately. Currently, I am focusing on progressing the state of the art in automatic verifiers for garbage collected data structures.
Verifying Non-blocking Data Structures with Manual Memory ManagementSebastian Wolff
PhD thesis, 2021
Pointer Life Cycle Types for Lock-Free Data Structures with Memory ReclamationRoland Meyer and Sebastian Wolff
Decoupling Lock-Free Data Structures from Memory Reclamation for Static AnalysisRoland Meyer and Sebastian Wolff
Reasoning About Weak Semantics via Strong SemanticsRoland Meyer and Sebastian Wolff
Principled Software Development—Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, 2018
Effect Summaries for Thread-Modular AnalysisLukáš Holík, Roland Meyer, Tomáš Vojnar, and Sebastian Wolff
Pointer Race FreedomFrédéric Haziza, Lukáš Holík, Roland Meyer and Sebastian Wolff