Hamed Gorjiara

According to our database, Hamed Gorjiara authored at least 5 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Verifying Correctness of Persistent Memory Programs

Hamed Gorjiara

PhD thesis, 2022

Checking robustness to weak persistency models.

Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Yashme: detecting persistency races.

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

Jaaru: efficiently model checking persistent memory programs.

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

Satune: synthesizing efficient SAT encoders.

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky

Proc. ACM Program. Lang., 2020