Hamed Gorjiara

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 4

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky
Yashme: detecting persistency races. ASPLOS (2022)
Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky
Checking robustness to weak persistency models. PLDI (2022)
Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky
Jaaru: efficiently model checking persistent memory programs. ASPLOS (2021)
Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky
Satune: synthesizing efficient SAT encoders. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)