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

SPLASH 2020 Author of SATUNE: Synthesizing Efficient SAT Encoders within the Posters-track
Author of Satune: Synthesizing Efficient SAT Encoders within the OOPSLA-track