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 | 11 | 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 |
Pointer race freedom F Haziza, L Holík, R Meyer, S Wolff International Conference on Verification, Model Checking, and Abstract …, 2015 | 11 | 2015 |
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 | 9 | 2019 |
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 | 7 | 2022 |
Verifying Non-blocking Data Structures with Manual Memory Management S Wolff Dissertation, Braunschweig, Technische Universität Braunschweig, 2021, 2021 | 4 | 2021 |
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 | 3 | 2023 |
Effect summaries for thread-modular analysis L Holık, R Meyer, T Vojnar, S Wolff SAS, 169-191, 2017 | 3 | 2017 |
Embedding Hindsight Reasoning in Separation Logic R Meyer, T Wies, S Wolff Proceedings of the ACM on Programming Languages 7 (PLDI), 1848-1871, 2023 | 2 | 2023 |
nekton: A Linearizability Proof Checker R Meyer, A Opaterny, T Wies, S Wolff International Conference on Computer Aided Verification, 170-183, 2023 | 1 | 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 INFORMATIK 2015, 2015 | | 2015 |
Thread Summaries for Lock-Free Data Structures S Wolff, LHRMT Vojnar Workshop on Programming Theory (NWPT’16), 1, 0 | | |