Travelled to:1 × Australia
1 × China
1 × Japan
1 × Portugal
1 × Russia
1 × Sweden
1 × USA
Collaborated with:J.Yang Q.Gao J.Wu H.Cui Y.Tang L.Zhu M.A.Bagheri S.Escalera W.Sun A.Fokoue K.Srinivas A.Kementsietsidis G.T.Xie H.Guo M.Wu L.Zhou L.Zhang
Talks about:framework (2) recognit (2) analysi (2) model (2) graph (2) dynam (2) rule (2) base (2) use (2) properti (1)
Person: Gang Hu
DBLP: Hu:Gang
Contributed to:
2015
2014
2013
20132012
2012
20112018Wrote 8 papers:
- SIGMOD-2015-SunFSKHX #graph #named #performance
- SQLGraph: An Efficient Relational-Based Property Graph Store (WS, AF, KS, AK, GH, GTX), pp. 1887–1901.
- ICPR-2014-BagheriHGE #classification #framework #multi #recognition
- A Framework of Multi-classifier Fusion for Human Action Recognition (MAB, GH, QG, SE), pp. 1260–1265.
- ASPLOS-2013-CuiHWY #execution #symbolic computation #using #verification
- Verifying systems rules using rule-directed symbolic execution (HC, GH, JW, JY), pp. 329–342.
- ESEC-FSE-2013-WuHTY #alias #analysis #detection #effectiveness #fault
- Effective dynamic detection of alias analysis errors (JW, GH, YT, JY), pp. 279–289.
- ICPR-2012-HuG #3d #framework #gesture #modelling #recognition #visual notation
- A 3D gesture recognition framework based on hierarchical visual attention and perceptual organization models (GH, QG), pp. 1411–1414.
- PLDI-2012-WuTHCY #analysis #parallel #precise #source code
- Sound and precise analysis of parallel programs through schedule specialization (JW, YT, GH, HC, JY), pp. 205–216.
- SOSP-2011-GuoWZHYZ #interface #model checking #reduction
- Practical software model checking via dynamic interface reduction (HG, MW, LZ, GH, JY, LZ), pp. 265–278.
- ESEC-FSE-2018-HuZY #machine learning #named #reuse #robust #testing #user interface #using
- AppFlow: using machine learning to synthesize robust, reusable UI tests (GH, LZ, JY), pp. 269–282.