• Sign in
  • Sign up
conf.researchr.org / Hossein Hojjat
  • FSEN 2025 profile
  • PLDI 2015 profile
  • PLDI 2016 profile
  • PLDI 2019 profile
  • POPL 2024 profile
  • SPLASH 2024 profile
Hossein Hojjat

Registered user since Thu 12 Mar 2015

Name:Hossein Hojjat
Country:Iran
Affiliation:Tehran Institute for Advanced Studies (TeIAS)
Personal website: https://cs.rit.edu/~hh/
Research interests:Software Analysis, Verification and Synthesis

Contributions

2025

FSEN

  • Author of Ranch: Rebeca on Chip within the Marjan Festschrift-track
  • PC Chair of Welcome within the Research Papers-track
  • Program Chair in Program Chairs
  • Session Chair of Conference session 3  (part of Research Papers)

2024

SPLASH

  • Author of Computing Precise Control Interface Specifications within the OOPSLA 2024-track

VMCAI

  • Committee Member in Program Committee within the VMCAI 2024-track

2019

PLDI

  • Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track

2016

PLDI

  • Author of Event-driven Network Programming within the Research Papers-track

2015

PLDI

  • Author of Efficient Synthesis of Network Updates within the Research Papers-track
Share
xSun 25 May 20:41
using conf.researchr.org (v1.69.0)
Support page
Sign Up