Hamed Gorjiara

Registered user since Fri 15 May 2020

Name:Hamed Gorjiara
Affiliation:University of California at Irvine
Personal website:http://gorjiara.net
Research interests:Systems, Programming Languages, Artificial Intelligence

Contributions

PLDI 2022 Author of Checking Robustness to Weak Persistency Models within the PLDI-track
SPLASH 2020 Author of SATUNE: Synthesizing Efficient SAT Encoders within the Posters-track
Author of Satune: Synthesizing Efficient SAT Encoders within the OOPSLA-track