Pointer race freedom F Haziza, L Holík, R Meyer, S Wolff International Conference on Verification, Model Checking, and Abstract …, 2015 | 13 | 2015 |
Decoupling lock-free data structures from memory reclamation for static analysis R Meyer, S Wolff Proceedings of the ACM on Programming Languages 3 (POPL), 1-31, 2019 | 12 | 2019 |
Effect Summaries for Thread-Modular Analysis: Sound Analysis Despite an Unsound Heuristic L Holík, R Meyer, T Vojnar, S Wolff Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017 | 11 | 2017 |
A concurrent program logic with a future and history R Meyer, T Wies, S Wolff Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1378-1407, 2022 | 10 | 2022 |
Pointer life cycle types for lock-free data structures with memory reclamation R Meyer, S Wolff Proceedings of the ACM on Programming Languages 4 (POPL), 1-36, 2019 | 10 | 2019 |
Embedding Hindsight Reasoning in Separation Logic R Meyer, T Wies, S Wolff Proceedings of the ACM on Programming Languages 7 (PLDI), 1848-1871, 2023 | 6 | 2023 |
Make flows small again: revisiting the flow framework R Meyer, T Wies, S Wolff International Conference on Tools and Algorithms for the Construction and …, 2023 | 4 | 2023 |
Verifying Non-blocking Data Structures with Manual Memory Management S Wolff Dissertation, Braunschweig, Technische Universität Braunschweig, 2021, 2021 | 4 | 2021 |
Effect summaries for thread-modular analysis L Holık, R Meyer, T Vojnar, S Wolff SAS, 169-191, 2017 | 3 | 2017 |
nekton: A Linearizability Proof Checker R Meyer, A Opaterny, T Wies, S Wolff International Conference on Computer Aided Verification, 170-183, 2023 | 2 | 2023 |
Realizability in Semantics-Guided Synthesis Done Eagerly R Meyer, J Tepe, S Wolff arXiv preprint arXiv:2403.05607, 2024 | | 2024 |
Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I R Dimitrova, O Lahav, S Wolff Springer Nature, 2023 | | 2023 |
Context-Aware Separation Logic R Meyer, T Wies, S Wolff arXiv preprint arXiv:2307.15549, 2023 | | 2023 |
Model-based fault classification for automotive software M Becker, R Meyer, T Runge, I Schaefer, S van der Wall, S Wolff Asian Symposium on Programming Languages and Systems, 110-131, 2022 | | 2022 |
Reasoning About Weak Semantics via Strong Semantics R Meyer, S Wolff Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter …, 2018 | | 2018 |
Building A state-of-the-art model checker S Wolff Gesellschaft für Informatik eV, 2015 | | 2015 |
Verification, Model Checking, and Abstract Interpretation LNCS 14500 R Dimitrova, O Lahav, S Wolff | | |
Verification, Model Checking, and Abstract Interpretation LNCS 14499 R Dimitrova, O Lahav, S Wolff | | |
Thread Summaries for Lock-Free Data Structures S Wolff, LHRMT Vojnar Workshop on Programming Theory (NWPT’16), 1, 0 | | |