Thread-Modular Analysis of Release-Acquire Concurrency

von Sharma, Divyanjali
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

Fence Synthesis Under the C11 Memory Model

von Singh, Sanjana
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)