Collaborated with:Shiyou Huang W.S.0003 S.Zhan Q.Yi G.Zhao A.K.Rajagopalan Bozhen Liu X.Qian J.Zhang
Talks about:maxim (4) detect (3) causal (3) concurr (2) android (2) analysi (2) reduct (2) applic (2) droid (2) race (2)
Person: Jeff Huang 0001
DBLP: 0001:Jeff_Huang
Contributed to:
2016
2017
20182019
2016
2017
2018Wrote 9 papers:
- FSE-2016-ZhanH #concurrent #detection #ide #named
- ECHO: instantaneous in situ race detection in the IDE (SZ, JH0), pp. 775–786.
- ASE-2017-SongQH #android #named #testing #user interface
- EHBDroid: beyond GUI testing for Android applications (WS0, XQ, JH0), pp. 27–37.
- ESEC-FSE-2018-YiH #concurrent #verification
- Concurrency verification with maximal path causality (QY, JH0), pp. 366–376.
- ESEC-FSE-2018-ZhaoH #functional #learning #named #similarity
- DeepSim: deep learning code functional similarity (GZ, JH0), pp. 141–151.
- ESEC-FSE-2019-SongZH #android #detection #named
- ServDroid: detecting service usage inefficiencies in Android applications (WS0, JZ, JH0), pp. 362–373.
- OOPSLA-2016-Huang0 #reduction
- Maximal causality reduction for TSO and PSO (SH, JH0), pp. 447–461.
- OOPSLA-2016-HuangR #concurrent #detection #precise
- Precise and maximal race detection from incomplete traces (JH0, AKR), pp. 462–476.
- ECOOP-2017-Huang0 #analysis #dependence #reduction
- Speeding Up Maximal Causality Reduction with Static Dependency Analysis (SH, JH0), p. 22.
- PLDI-2018-LiuH #analysis #concurrent #debugging #difference #named #parallel #performance
- D4: fast concurrency debugging with parallel differential analysis (BL, JH0), pp. 359–373.