Sebastian Wolff

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 21

Top Topics

Concurrency Control

Top Venues

Proc. ACM Program. Lang.

Publications

Roland Meyer, Jakob Tepe, Sebastian Wolff
Realizability in Semantics-Guided Synthesis Done Eagerly. CoRR (2024)
Roland Meyer, Thomas Wies, Sebastian Wolff
Context-Aware Separation Logic. CoRR (2023)
Roland Meyer, Anton Opaterny, Thomas Wies, Sebastian Wolff
nekton: A Linearizability Proof Checker. CAV (1) (2023)
Roland Meyer, Thomas Wies, Sebastian Wolff
Embedding Hindsight Reasoning in Separation Logic. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Roland Meyer, Thomas Wies, Sebastian Wolff
Make flows small again: revisiting the flow framework. CoRR (2023)
Roland Meyer, Thomas Wies, Sebastian Wolff
Make Flows Small Again: Revisiting the Flow Framework. TACAS (1) (2023)
Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
Model-based Fault Classification for Automotive Software. CoRR (2022)
Roland Meyer, Thomas Wies, Sebastian Wolff
A Concurrent Program Logic with a Future and History. CoRR (2022)
Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff
Model-Based Fault Classification for Automotive Software. APLAS (2022)
Roland Meyer, Thomas Wies, Sebastian Wolff
Embedding Hindsight Reasoning in Separation Logic. CoRR (2022)
Roland Meyer, Thomas Wies, Sebastian Wolff
A concurrent program logic with a future and history. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Roland Meyer, Sebastian Wolff
Pointer life cycle types for lock-free data structures with memory reclamation. Proc. ACM Program. Lang. 4 (POPL) (2020)
Roland Meyer, Sebastian Wolff
Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation. CoRR (2019)
Roland Meyer, Sebastian Wolff
Decoupling lock-free data structures from memory reclamation for static analysis. Proc. ACM Program. Lang. 3 (POPL) (2019)
Roland Meyer, Sebastian Wolff
Reasoning About Weak Semantics via Strong Semantics. Principled Software Development (2018)
Roland Meyer, Sebastian Wolff
Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis. CoRR (2018)
Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff
Effect Summaries for Thread-Modular Analysis. CoRR (2017)
Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff
Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. SAS (2017)
Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff
Pointer Race Freedom. VMCAI (2016)
Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff
Pointer Race Freedom. CoRR (2015)
Sebastian Wolff
Building A State-Of-The-Art Model Checker. GI-Jahrestagung (2015)