Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky. Jaaru: efficiently model checking persistent memory programs. In Tim Sherwood, Emery Berger, Christos Kozyrakis, editors, ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Virtual Event, USA, April 19-23, 2021. pages 415-428, ACM, 2021. [doi]
@inproceedings{GorjiaraXD21, title = {Jaaru: efficiently model checking persistent memory programs}, author = {Hamed Gorjiara and Guoqing Harry Xu and Brian Demsky}, year = {2021}, doi = {10.1145/3445814.3446735}, url = {https://doi.org/10.1145/3445814.3446735}, researchr = {https://researchr.org/publication/GorjiaraXD21}, cites = {0}, citedby = {0}, pages = {415-428}, booktitle = {ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Virtual Event, USA, April 19-23, 2021}, editor = {Tim Sherwood and Emery Berger and Christos Kozyrakis}, publisher = {ACM}, isbn = {978-1-4503-8317-2}, }