Satune: synthesizing efficient SAT encoders. - Hamed Gorjiara; Guoqing Harry Xu; Brian Demsky (Proc. ACM Program. Lang., 2020)

Jaaru: efficiently model checking persistent memory programs. - Hamed Gorjiara; Guoqing Harry Xu; Brian Demsky (ASPLOS, 2021)

Yashme: detecting persistency races. - Hamed Gorjiara; Guoqing Harry Xu; Brian Demsky (ASPLOS, 2022)

Checking robustness to weak persistency models. - Hamed Gorjiara; Weiyu Luo; Alex Lee; Guoqing Harry Xu; Brian Demsky (PLDI, 2022)

Verifying Correctness of Persistent Memory Programs - Hamed Gorjiara (2022)