Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Checking robustness to weak persistency models
PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and ImplementationJune 2022, Pages 490–505https://doi.org/10.1145/3519939.3523723Persistent memory (PM) technologies offer performance close to DRAM with persistence. Persistent memory enables programs to directly modify persistent data through normal load and store instructions bypassing heavyweight OS system calls for persistency. ...
- research-articleApril 2021
C11Tester: a race detector for C/C++ atomics
ASPLOS '21: Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating SystemsApril 2021, Pages 630–646https://doi.org/10.1145/3445814.3446711Writing correct concurrent code that uses atomics under the C/C++ memory model is extremely difficult. We present C11Tester, a race detector for the C/C++ memory model that can explore executions in a larger fragment of the C/C++ memory model than ...