iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/280/5569.xml
Hamed Gorjiara Hamed Gorjiara Verifying Correctness of Persistent Memory Programs University of California, Irvine, USA 2022 https://www.escholarship.org/uc/item/7bh0k9s4 https://www.escholarship.org/content/qt7bh0k9s4/qt7bh0k9s4.pdf Hamed Gorjiara Guoqing Harry Xu Brian Demsky Yashme: detecting persistency races. 830-845 2022 ASPLOS https://doi.org/10.1145/3503222.3507766 conf/asplos/2022 db/conf/asplos/asplos2022.html#GorjiaraXD22 Hamed Gorjiara Weiyu Luo Alex Lee Guoqing Harry Xu Brian Demsky Checking robustness to weak persistency models. 490-505 2022 PLDI https://doi.org/10.1145/3519939.3523723 conf/pldi/2022 db/conf/pldi/pldi2022.html#GorjiaraLLXD22 Hamed Gorjiara Guoqing Harry Xu Brian Demsky Jaaru: efficiently model checking persistent memory programs. 415-428 2021 ASPLOS https://doi.org/10.1145/3445814.3446735 conf/asplos/2021 db/conf/asplos/asplos2021.html#GorjiaraXD21
Hamed Gorjiara Guoqing Harry Xu Brian Demsky Satune: synthesizing efficient SAT encoders. 146:1-146:32 2020 4 Proc. ACM Program. Lang. OOPSLA https://doi.org/10.1145/3428214 db/journals/pacmpl/pacmpl4.html#GorjiaraXD20
Brian Demsky Alex Lee Weiyu Luo Guoqing Harry Xu