Sebastian Wolff

According to our database, Sebastian Wolff authored at least 7 papers between 2015 and 2020.

Collaborative distances:

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

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