Sebastian Wolff

According to our database, Sebastian Wolff authored at least 15 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Realizability in Semantics-Guided Synthesis Done Eagerly.

Roland Meyer, Jakob Tepe, Sebastian Wolff

CoRR, 2024

2023

Embedding Hindsight Reasoning in Separation Logic.

Roland Meyer, Thomas Wies, Sebastian Wolff

Proc. ACM Program. Lang., 2023

Context-Aware Separation Logic.

Roland Meyer, Thomas Wies, Sebastian Wolff

CoRR, 2023

Make Flows Small Again: Revisiting the Flow Framework.

Roland Meyer, Thomas Wies, Sebastian Wolff

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

nekton: A Linearizability Proof Checker.

Roland Meyer, Anton Opaterny, Thomas Wies, Sebastian Wolff

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

A concurrent program logic with a future and history.

Roland Meyer, Thomas Wies, Sebastian Wolff

Proc. ACM Program. Lang., 2022

Model-Based Fault Classification for Automotive Software.

Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021

Verifying Non-blocking Data Structures with Manual Memory Management (Verifikation Nicht-blockierender Datenstrukturen mit Manueller Speicherverwaltung)

Sebastian Wolff

PhD thesis, 2021

2020

Pointer life cycle types for lock-free data structures with memory reclamation.

Roland Meyer, Sebastian Wolff

Proc. ACM Program. Lang., 2020

2019

Decoupling lock-free data structures from memory reclamation for static analysis.

Roland Meyer, Sebastian Wolff

Proc. ACM Program. Lang., 2019

2018

Reasoning About Weak Semantics via Strong Semantics.

Roland Meyer, Sebastian Wolff

Proceedings of the Principled Software Development, 2018

2017

Effect Summaries for Thread-Modular Analysis.

Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff

CoRR, 2017

Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic.

Lukás Holík, Roland Meyer, Tomás Vojnar, Sebastian Wolff

Proceedings of the Static Analysis - 24th International Symposium, 2017

2016

Pointer Race Freedom.

Frédéric Haziza, Lukás Holík, Roland Meyer, Sebastian Wolff

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015

Building A State-Of-The-Art Model Checker.

Sebastian Wolff

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015