Sebastian Wolff

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Pointer life cycle types for lock-free data structures with memory reclamation.
Proc. ACM Program. Lang., 2020

2019
Decoupling lock-free data structures from memory reclamation for static analysis.
Proc. ACM Program. Lang., 2019

2018
Reasoning About Weak Semantics via Strong Semantics.
Proceedings of the Principled Software Development, 2018

2017
Effect Summaries for Thread-Modular Analysis.
CoRR, 2017

Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic.
Proceedings of the Static Analysis - 24th International Symposium, 2017

2016
Pointer Race Freedom.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015
Building A State-Of-The-Art Model Checker.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015


  Loading...