Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Publications by Sebastian Wolff

Publications by Sebastian Wolff

Conference contributions

  1. Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis, with Roland Meyer.
    In Proceedings of POPL 2019. Artifact evaluated: functional&reusable.
    PDF | Slides | Project Page | DOI | arXiv

  2. Reasoning About Weak Semantics via Strong Semantics, with Roland Meyer.
    In Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, 2018.
    PDF | Book | DOI

  3. Effect Summaries for Thread-Modular Analysis, with Lukas Holik, Roland Meyer, and Tomas Vojnar.
    In Proceedings of SAS 2017.
    PDF | Slides | DOI | arXiv | Code on GitHub

  4. Pointer Race Freedom, with Frederic Haziza, Lukas Holik, and Roland Meyer.
    In Proceedings of VMCAI 2016.
    PDF | DOI | BibTeX

  5. Building A State-Of-The-Art Model Checker.
    In 45. Jahrestagung der Gesellschaft für Informatik, Informatik 2015, Informatik, Energie und Umwelt, 28. September - 2. Oktober 2015 in Cottbus, Deutschland, 2015.
    PDF | Slides | Code on GitHub

Workshop contributions

  1. Thread Summaries for Lock-Free Data Structures.
    In Proceedings of the 28th Nordic Workshop on Programming Theory (NWPT'16), 2016.
    PDF | Slides | Code on GitHub | Proceedings


  1. Thread-Modular Reasoning for Heap-Manipulating Programs: Exploiting Pointer Race Freedom. Master's Thesis.
    Technische Universität Kaiserslautern, 2015.
    PDF | Slides | Code on GitHub