SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
Hamed Gorjiara

Registered user since Fri 15 May 2020

Name: Hamed Gorjiara

Country: United States

Affiliation: University of California at Irvine, USA

Personal website: http://gorjiara.net

Research interests: Systems, Programming Languages, Artificial Intelligence

Contributions

SPLASH 2020Author of SATUNE: Synthesizing Efficient SAT Encoders within the OOPSLA-track
Show activities from other conferences

Using general profile