Hossein Hojjat

Registered user since Thu 12 Mar 2015

Name: Hossein Hojjat

Country: United States

Affiliation: Rochester Institute of Technology and University of Tehran

Personal website: https://cs.rit.edu/~hh/

Research interests: Software Analysis, Verification and Synthesis

Contributions

PLDI 2019Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
PLDI 2016Author of Event-driven Network Programming within the Research Papers-track
PLDI 2015Author of Efficient Synthesis of Network Updates within the Research Papers-track