logo

Latest Publications (All)

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