Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/pldi/GorjiaraLLXD22
AU - Gorjiara, Hamed
AU - Luo, Weiyu
AU - Lee, Alex
AU - Xu, Guoqing Harry
AU - Demsky, Brian
TI - Checking robustness to weak persistency models.
BT - PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022
SP - 490
EP - 505
PY - 2022//
DO - 10.1145/3519939.3523723
UR - https://doi.org/10.1145/3519939.3523723
ER -
