logo

Latest Publications (All)

ASE 2017

EHBDroid: Beyond GUI Testing for Android Applications

Wei Song, Xiangxing Qian and Jeff Huang
Accept Rate: 21% (65/314).
USENIX ATC 2017

Towards Production-Run Heisenbugs Reproduction on Commercial Hardware

Shiyou Huang, Bowen Cai and Jeff Huang
Accept Rate: 21% (60/283).
USENIX SECURITY 2017

Attacking the Brain: Races in the SDN Control Plane

Lei Xu, Jeff Huang, Sungmin Hong, Jialong Zhang and Guofei Gu
Accept Rate: 16% (85/522).
ECOOP 2017
ECOOP 2017

Speeding Up Maximal Causality Reduction with Static Dependency Analysis

Shiyou Huang and Jeff Huang
Accept Rate: ??% (27/??).
JCST 2016
OOPSLA 2016

Maximal Causality Reduction for TSO and PSO

Shiyou Huang and Jeff Huang
Accept Rate: 25.6% (52/203).
OOPSLA 2016

Precise and Maximal Race Detection from Incomplete Traces

Jeff Huang and Arun Rajagopalan
Accept Rate: 25.6% (52/203).
FSE 2016

ECHO: Instantaneous In Situ Race Detection in the IDE

Sheng Zhan and Jeff Huang
Accept Rate: 27% (74/273).
ICSE 2016

Scalable Thread Sharing Analysis

Jeff Huang
Accept Rate: 19% (101/530).
IEEE TSE 2015

Verifying Synchronization for Atomicity Violation Fixing

Qingkai Shi, Jeff Huang, Zhenyu Chen and Baowen Xu
LCPC 2015

SMT Solving for the Theory of Ordering Constraints

Cunjing Ge, Feifei Ma, Jeff Huang and Jian Zhang
ESEC/FSE NIER 2015

RDIT: Race Detection from Incomplete Traces

Arun Rajagopalan and Jeff Huang
Accept Rate: 27% (?/?).
ESEC/FSE 2015

Finding Schedule-Sensitive Branches

Jeff Huang and Lawrence Rauchwerger
Accept Rate: 25% (74/291).
PLDI 2015
ICSE 2015

GPredict: Generic Predictive Concurrency Analysis

Jeff Huang, Qingzhou Luo, Grigore Rosu
Accept Rate: 18.5% (84/452).
ICSE 2015

Reproducing Concurrency Bugs Using Local Clocks

Xiang Yuan, Chenggang Wu, Zhenjiang Wang, Jianjun Li, Pen-Chung Yew, Jeff Huang, Xiaobing Feng, Yanyan Lan, Yunji Chen, Yong Guan
Accept Rate: 18.5% (84/452).