Travelled to:2 × USA
Collaborated with:W.Zhang Z.Chen M.Zheng F.Qin H.Zhao I.Proctor M.Yang X.Qi M.Williams G.Ottoni A.Paroski S.MacVicar J.Evans S.Tu
Talks about:ndstrike (1) manifest (1) concurr (1) typest (1) toward (1) hidden (1) compil (1) php (1) hop (1) hip (1)
Person: Qi Gao
DBLP: Gao:Qi
Contributed to:
2012
2011Wrote 2 papers:
- OOPSLA-2012-ZhaoPYQWGOPMET #compilation #php
- The HipHop compiler for PHP (HZ, IP, MY, XQ, MW, QG, GO, AP, SM, JE, ST), pp. 575–586.
- ASPLOS-2011-GaoZCZQ #concurrent #debugging #named #towards #type system
- 2ndStrike: toward manifesting hidden concurrency typestate bugs (QG, WZ, ZC, MZ, FQ), pp. 239–250.