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


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