Hamed Gorjiara

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

Collaborative distances:

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

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