BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Brazil
1 × France
1 × Russia
1 × USA
Collaborated with:
J.McClurg P.Cerný N.Foster P.Rümmer V.Kuncak M.R.Mousavi M.Sirjani F.Konecný F.Garnier R.Iosif S.Roy L.Kot G.Bender B.Ding C.Koch J.Gehrke
Talks about:
program (3) network (3) verif (3) synthesi (2) homeostasi (1) framework (1) transact (1) synchron (1) stochast (1) protocol (1)

Person: Hossein Hojjat

DBLP DBLP: Hojjat:Hossein

Contributed to:

PLDI 20152015
SIGMOD 20152015
CAV 20132013
FM 20122012
SAC 20082008
CAV (2) 20172017
PLDI 20162016

Wrote 7 papers:

PLDI-2015-McClurgHCF #network #performance #synthesis
Efficient synthesis of network updates (JM, HH, PC, NF), pp. 196–207.
SIGMOD-2015-0002KBDHKFG #coordination #program analysis #protocol #transaction
The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis (SR, LK, GB, BD, HH, CK, NF, JG), pp. 1311–1326.
CAV-2013-RummerHK #verification
Disjunctive Interpolants for Horn-Clause Verification (PR, HH, VK), pp. 347–363.
FM-2012-HojjatKGIKR #tool support #verification
A Verification Toolkit for Numerical Transition Systems — Tool Paper (HH, FK, FG, RI, VK, PR), pp. 247–251.
SAC-2008-HojjatMS #algebra #evaluation #framework #functional #performance #probability #process #verification
A framework for performance evaluation and functional verification in stochastic process algebras (HH, MRM, MS), pp. 339–346.
CAV-2017-McClurgHC #network #source code #synthesis
Synchronization Synthesis for Network Programs (JM, HH, PC), pp. 301–321.
PLDI-2016-McClurgHFC #network #programming
Event-driven network programming (JM, HH, NF, PC), pp. 369–385.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.