60 Fifth Avenue
Room 442
New York, NY 10011

About Me

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.


  1. Verifying Non-blocking Data Structures with Manual Memory Management
    ETAPS 2022 Doctoral Dissertation Award
    Sebastian Wolff
    PhD thesis, 2021
  2. Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation
    Roland Meyer and Sebastian Wolff
    POPL 2020
  3. Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis
    Roland Meyer and Sebastian Wolff
    POPL 2019
  4. Reasoning About Weak Semantics via Strong Semantics
    Roland Meyer and Sebastian Wolff
    Principled Software Development—Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, 2018
  5. Effect Summaries for Thread-Modular Analysis
    Lukáš Holík, Roland Meyer, Tomáš Vojnar, and Sebastian Wolff
    SAS 2017
  6. Pointer Race Freedom
    Frédéric Haziza, Lukáš Holík, Roland Meyer and Sebastian Wolff
    VMCAI 2016