| 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 | | |
Harry XuProfessor of Computer Science, University of California, Los AngelesVerified email at cs.ucla.edu
