Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications by Sebastian Wolff

Publications by Sebastian Wolff

Conference contributions

  1. Model-Based Fault Classification for Automotive Software, with Roland Meyer and Sören van der Wall.
    In Proceedings of APLAS 2022.
    DOI

  2. Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation, with Roland Meyer.
    In Proceedings of POPL 2020. Artifact evaluated: functional&reusable.
    PDF | Slides | Project Page | DOI | arXiv

  3. 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

  4. 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

  5. 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

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

  7. 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

Theses

  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