logo

Latest Publications (All)

PLDI 2018

D4: Fast Concurrency Debugging with Parallel Differential Analysis

Bozhen Liu and Jeff Huang
Accept Rate: 20% (55/277).
IEEE S&P 2018

Study and Mitigation of Origin Stripping Vulnerabilities in Hybrid-postMessage Enabled Mobile Applications

Guangliang Yang, Jeff Huang, Guofei Gu, Abner Mendoza
Accept Rate: 10% (55/549).
ICSE 2018

UFO: Predictive Concurrency Use-After-Free Detection

Jeff Huang
Accept Rate: 21% (105/502).
NDSS 2018

Automated Generation of Event-Oriented Exploits in Android Hybrid Apps

Guangliang Yang, Jeff Huang and Guofei Gu
Accept Rate: 21% (??/??).
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/??).
IEEE TSE 2017

Using Local Clocks to Reproduce Concurrency Bugs

Zhe Wang, Chenggang Wu, Xiang Yuan, Zhenjiang Wang, Jianjun Li, Pen-Chung Yew, Jeff Huang, Xiaobing Feng, Yanyan Lan, Yunji Chen, Yuanming Lai, Yong Guan
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

ReCBuLC: 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).