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: Hojjat:Hossein
Contributed to:
2015
2015
2013
2012
200820172016Wrote 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.