LEAP: lightweight deterministic multi-processor replay of concurrent java programs. - Jeff Huang 001; Peng Liu 010; Charles Zhang 001 (SIGSOFT FSE, 2010)

Persuasive prediction of concurrency access anomalies. - Jeff Huang 001; Charles Zhang 001 (ISSTA, 2011)

An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. - Jeff Huang 001; Charles Zhang 001 (SAS, 2011)

LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. - Jeff Huang 001; Charles Zhang 001 (OOPSLA, 2012)

Execution privatization for scheduler-oblivious concurrent programs. - Jeff Huang 001; Charles Zhang 001 (OOPSLA, 2012)

CLAP: recording local executions to reproduce concurrency failures. - Jeff Huang 001; Charles Zhang 001; Julian Dolby (PLDI, 2013)

Scaling predictive analysis of concurrent programs by removing trace redundancy. - Jeff Huang 001; Jinguo Zhou; Charles Zhang 001 (ACM Trans. Softw. Eng. Methodol., 2013)

Maximal sound predictive race detection with control flow abstraction. - Jeff Huang 001; Patrick O'Neil Meredith; Grigore Rosu (PLDI, 2014)

ROSRV: Runtime Verification for Robots. - Jeff Huang 001; Cansu Erdogan; Yi Zhang; Brandon M. Moore; Qingzhou Luo; Aravind Sundaresan; Grigore Rosu (RV, 2014)

GPredict: Generic Predictive Concurrency Analysis. - Jeff Huang 001; Qingzhou Luo; Grigore Rosu (ICSE (1), 2015)

ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks. - Xiang Yuan; Chenggang Wu 002; Zhenjiang Wang; Jianjun Li; Pen-Chung Yew; Jeff Huang 001; Xiaobing Feng 002; Yanyan Lan; Yunji Chen; Yong Guan (ICSE (1), 2015)

SMT Solving for the Theory of Ordering Constraints. - Cunjing Ge; Feifei Ma; Jeff Huang 001; Jian Zhang 001 (LCPC, 2015)

Stateless model checking concurrent programs with maximal causality reduction. - Jeff Huang 001 (PLDI, 2015)

Finding schedule-sensitive branches. - Jeff Huang 001; Lawrence Rauchwerger (ESEC/SIGSOFT FSE, 2015)

RDIT: race detection from incomplete traces. - Arun K. Rajagopalan; Jeff Huang 001 (ESEC/SIGSOFT FSE, 2015)

Scalable thread sharing analysis. - Jeff Huang 001 (ICSE, 2016)

Maximal causality reduction for TSO and PSO. - Shiyou Huang; Jeff Huang 001 (OOPSLA, 2016)

Precise and maximal race detection from incomplete traces. - Jeff Huang 001; Arun K. Rajagopalan (OOPSLA, 2016)

ECHO: instantaneous in situ race detection in the IDE. - Sheng Zhan; Jeff Huang 001 (SIGSOFT FSE, 2016)

Debugging Concurrent Software: Advances and Challenges. - Jeff Huang 001; Charles Zhang 001 (J. Comput. Sci. Technol., 2016)

Verifying Synchronization for Atomicity Violation Fixing. - Qingkai Shi; Jeff Huang 001; Zhenyu Chen 001; Baowen Xu (IEEE Trans. Software Eng., 2016)

What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective. - Jeff Huang 001; Arun K. Rajagopalan (ECOOP, 2017)

Speeding Up Maximal Causality Reduction with Static Dependency Analysis. - Shiyou Huang; Jeff Huang 001 (ECOOP, 2017)

EHBDroid: beyond GUI testing for Android applications. - Wei Song 003; Xiangxing Qian; Jeff Huang 001 (ASE, 2017)

Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. - Shiyou Huang; Bowen Cai 006; Jeff Huang 001 (USENIX ATC, 2017)

Attacking the Brain: Races in the SDN Control Plane. - Lei Xu 024; Jeff Huang 001; Sungmin Hong; Jialong Zhang 001; Guofei Gu (USENIX Security Symposium, 2017)

UFO: predictive concurrency use-after-free detection. - Jeff Huang 001 (ICSE, 2018)

Automated Generation of Event-Oriented Exploits in Android Hybrid Apps. - Guangliang Yang 001; Jeff Huang 001; Guofei Gu (NDSS, 2018)

D4: fast concurrency debugging with parallel differential analysis. - Bozhen Liu; Jeff Huang 001 (PLDI, 2018)

Towards Incremental Static Race Detection in OpenMP Programs. - Bradley Swain; Jeff Huang 001 (CORRECTNESS@SC, 2018)

Concurrency verification with maximal path causality. - Qiuping Yi; Jeff Huang 001 (ESEC/SIGSOFT FSE, 2018)

DeepSim: deep learning code functional similarity. - Gang Zhao; Jeff Huang 001 (ESEC/SIGSOFT FSE, 2018)

Study and Mitigation of Origin Stripping Vulnerabilities in Hybrid-postMessage Enabled Mobile Applications. - Guangliang Yang 001; Jeff Huang 001; Guofei Gu; Abner Mendoza (IEEE Symposium on Security and Privacy, 2018)

Using Local Clocks to Reproduce Concurrency Bugs. - Zhe Wang 017; Chenggang Wu 002; Xiang Yuan; Zhenjiang Wang; Jianjun Li; Pen-Chung Yew; Jeff Huang 001; Xiaobing Feng 002; Yanyan Lan; Yunji Chen; Yuanming Lai; Yong Guan (IEEE Trans. Software Eng., 2018)

SafeCheck: safety enhancement of Java unsafe API. - Shiyou Huang; Jianmei Guo; Sanhong Li; Xiang Li; Yumin Qi; Kingsum Chow; Jeff Huang 001 (ICSE, 2019)

SWORD: a scalable whole program race detector for Java. - Yanze Li; Bozhen Liu; Jeff Huang 001 (ICSE (Companion Volume), 2019)

ServDroid: detecting service usage inefficiencies in Android applications. - Wei Song 003; Jing Zhang; Jeff Huang 001 (ESEC/SIGSOFT FSE, 2019)

Iframes/Popups Are Dangerous in Mobile WebView: Studying and Mitigating Differential Context Vulnerabilities. - Guangliang Yang 001; Jeff Huang 001; Guofei Gu (USENIX Security Symposium, 2019)

Rethinking Incremental and Parallel Pointer Analysis. - Bozhen Liu; Jeff Huang 001; Lawrence Rauchwerger (ACM Trans. Program. Lang. Syst., 2019)

Securing unsafe rust programs with XRust. - Peiming Liu; Gang Zhao; Jeff Huang 001 (ICSE, 2020)

Functional code clone detection with syntax and semantics fusion learning. - Chunrong Fang; Zixi Liu; Yangyang Shi; Jeff Huang 001; Qingkai Shi (ISSTA, 2020)

OMPRacer: a scalable and precise static race detector for OpenMP programs. - Bradley Swain; Yanze Li; Peiming Liu; Ignacio Laguna; Giorgis Georgakoudis; Jeff Huang 001 (SC, 2020)

Understanding JavaScript Vulnerabilities in Large Real-World Android Applications. - Wei Song 003; Qingqing Huang; Jeff Huang 001 (IEEE Trans. Dependable Secur. Comput., 2020)

OpenRace: An Open Source Framework for Statically Detecting Data Races. - Bradley Swain; Bozhen Liu; Peiming Liu; Yanze Li; Addison Crump; Rohan Khera; Jeff Huang 001 (Correctness@SC, 2021)

IMGDroid: Detecting Image Loading Defects in Android Applications. - Wei Song 003; Mengqi Han; Jeff Huang 001 (ICSE, 2021)

IMGDroid: A Static Analyzer for Detecting Image Loading Defects in Android Applications. - Wei Song 003; Mengqi Han; Jeff Huang 001 (ICSE (Companion Volume), 2021)

UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities. - Binfa Gui; Wei Song 003; Jeff Huang 001 (ISSTA, 2021)

When threads meet events: efficient and precise static race detection with origins. - Bozhen Liu; Peiming Liu; Yanze Li; Chia-Che Tsai; Dilma Da Silva; Jeff Huang 001 (PLDI, 2021)

PYInfer: Deep Learning Semantic Type Inference for Python Variables. - Siwei Cui; Gang Zhao; Zeyu Dai 001; Luochao Wang; Ruihong Huang; Jeff Huang 001 (CoRR, 2021)

Distributed Networked Real-Time Learning. - Alfredo García 001; Luochao Wang; Jeff Huang 001; Lingzhou Hong (IEEE Trans. Control. Netw. Syst., 2021)

FastCFI: Real-time Control-Flow Integrity Using FPGA without Code Instrumentation. - Lang Feng 001; Jeff Huang 001; Jiang Hu; Abhijith Reddy (ACM Trans. Design Autom. Electr. Syst., 2021)

VRust: Automated Vulnerability Detection for Solana Smart Contracts. - Siwei Cui; Gang Zhao; Yifei Gao; Tien Tavu; Jeff Huang 001 (CCS, 2022)

PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis. - Peiming Liu; Yanze Li; Bradley Swain; Jeff Huang 001 (ICSE, 2022)

SHARP: fast incremental context-sensitive pointer analysis for Java. - Bozhen Liu; Jeff Huang 001 (Proc. ACM Program. Lang., 2022)

Toward Taming the Overhead Monster for Data-flow Integrity. - Lang Feng 001; Jiayi Huang 001; Jeff Huang 001; Jiang Hu (ACM Trans. Design Autom. Electr. Syst., 2022)

Automated Use-After-Free Detection and Exploit Mitigation: How Far Have We Gone? - Binfa Gui; Wei Song 003; Hailong Xiong; Jeff Huang 001 (IEEE Trans. Software Eng., 2022)

SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk. - Siwei Cui; Yifei Gao; Rainer Unterguggenberger; Wilfried Pichler; Sean Livingstone; Jeff Huang 001 (ICSE, 2023)

TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts. - Chenyang Ma; Wei Song 003; Jeff Huang 001 (ESEC/SIGSOFT FSE, 2023)

Efficiently Programming Large Language Models using SGLang. - Lianmin Zheng; Liangsheng Yin; Zhiqiang Xie; Jeff Huang 001; Chuyue Sun; Cody Hao Yu; Shiyi Cao; Christos Kozyrakis; Ion Stoica; Joseph E. Gonzalez; Clark W. Barrett; Ying Sheng 007 (CoRR, 2023)

SGLang: Efficient Execution of Structured Language Model Programs. - Lianmin Zheng; Liangsheng Yin; Zhiqiang Xie; Chuyue Sun; Jeff Huang 001; Cody Hao Yu; Shiyi Cao; Christos Kozyrakis; Ion Stoica; Joseph E. Gonzalez; Clark W. Barrett; Ying Sheng 007 (NeurIPS, 2024)

VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts. - Yichuan Li 005; Wei Song 003; Jeff Huang 001 (Proc. ACM Program. Lang., 2024)

GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go. - Xiaofan Xu; Wei Song 003; Jeff Huang 001 (ISSTA Companion, 2025)

Optimizing Type Migration for LLM-Based C-to-Rust Translation: A Data Flow Graph Approach. - Qingxiao Xu; Jeff Huang 001 (SOAP@PLDI, 2025)

VeriFix: Verifying your fix towards an atomicity violation. - Zhuang Li; Qiuping Yi; Jeff Huang 001 (J. Syst. Softw., 2025)

GoPV: Detecting Blocking Concurrency Bugs Related to Shared-Memory Synchronization in Go. - Wei Song 003; Xiaofan Xu; Jeff Huang 001 (Proc. ACM Softw. Eng., 2025)

LLMs in Software Security: A Survey of Vulnerability Detection Techniques and Insights. - Ze Sheng; Zhicheng Chen; Shuning Gu; Heqing Huang; Guofei Gu; Jeff Huang 001 (CoRR, 2025)