Jaaru: Efficiently model checking persistent memory programs H Gorjiara, GH Xu, B Demsky Proceedings of the 26th ACM International Conference on Architectural …, 2021 | 36 | 2021 |
Yashme: Detecting persistency races H Gorjiara, GH Xu, B Demsky Proceedings of the 27th ACM International Conference on Architectural …, 2022 | 12 | 2022 |
Checking robustness to weak persistency models H Gorjiara, W Luo, A Lee, GH Xu, B Demsky Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 6 | 2022 |
Satune: synthesizing efficient SAT encoders H Gorjiara, GH Xu, B Demsky Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-32, 2020 | 6 | 2020 |
Verifying Correctness of Persistent Memory Programs H Gorjiara University of California, Irvine, 2022 | | 2022 |
Jaaru: Efficiently Model Checking Persistent Memory Programs Extended Abstract H Gorjiara, GH Xu, B Demsky | | |