Jeff Huang

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 44

Top Topics

Android Application

Top Venues

ESEC/SIGSOFT FSE

IEEE Trans. Software Eng.

Publications

Siwei Cui, Yifei Gao, Rainer Unterguggenberger, Wilfried Pichler, Sean Livingstone, Jeff Huang
SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk. ICSE (2023)
Siwei Cui, Gang Zhao, Yifei Gao, Tien Tavu, Jeff Huang
VRust: Automated Vulnerability Detection for Solana Smart Contracts. CCS (2022)
Lang Feng, Jiayi Huang, Jeff Huang, Jiang Hu
Toward Taming the Overhead Monster for Data-flow Integrity. ACM Trans. Design Autom. Electr. Syst. 27 (3) (2022)
Peiming Liu, Yanze Li, Bradley Swain, Jeff Huang
PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis. ICSE (2022)
Bozhen Liu, Jeff Huang
SHARP: fast incremental context-sensitive pointer analysis for Java. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Binfa Gui, Wei Song, Hailong Xiong, Jeff Huang
Automated Use-After-Free Detection and Exploit Mitigation: How Far Have We Gone? IEEE Trans. Software Eng. 48 (11) (2022)
Lang Feng, Jiayi Huang, Jeff Huang, Jiang Hu
Toward Taming the Overhead Monster for Data-Flow Integrity. CoRR (2021)
Wei Song, Mengqi Han, Jeff Huang
IMGDroid: A Static Analyzer for Detecting Image Loading Defects in Android Applications. ICSE (Companion Volume) (2021)
Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, Jeff Huang
When threads meet events: efficient and precise static race detection with origins. PLDI (2021)
Binfa Gui, Wei Song, Jeff Huang
UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities. ISSTA (2021)
Bradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, Jeff Huang
OpenRace: An Open Source Framework for Statically Detecting Data Races. Correctness@SC (2021)
Wei Song, Mengqi Han, Jeff Huang
IMGDroid: Detecting Image Loading Defects in Android Applications. ICSE (2021)
Alfredo Garcia, Luochao Wang, Jeff Huang, Lingzhou Hong
Distributed Networked Real-Time Learning. IEEE Trans. Control. Netw. Syst. 8 (1) (2021)
Siwei Cui, Gang Zhao, Zeyu Dai, Luochao Wang, Ruihong Huang, Jeff Huang
PYInfer: Deep Learning Semantic Type Inference for Python Variables. CoRR (2021)
Lang Feng, Jeff Huang, Jiang Hu, Abhijith Reddy
FastCFI: Real-time Control-Flow Integrity Using FPGA without Code Instrumentation. ACM Trans. Design Autom. Electr. Syst. 26 (5) (2021)
Peiming Liu, Gang Zhao, Jeff Huang
Securing unsafe rust programs with XRust. ICSE (2020)
Wei Song, Qingqing Huang, Jeff Huang
Understanding JavaScript Vulnerabilities in Large Real-World Android Applications. IEEE Trans. Dependable Secur. Comput. 17 (5) (2020)
Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, Qingkai Shi
Functional code clone detection with syntax and semantics fusion learning. ISSTA (2020)
Bradley Swain, Yanze Li, Peiming Liu, Ignacio Laguna, Giorgis Georgakoudis, Jeff Huang
OMPRacer: a scalable and precise static race detector for OpenMP programs. SC (2020)
Guangliang Yang, Jeff Huang, Guofei Gu
Iframes/Popups Are Dangerous in Mobile WebView: Studying and Mitigating Differential Context Vulnerabilities. USENIX Security Symposium (2019)
Yanze Li, Bozhen Liu, Jeff Huang
SWORD: a scalable whole program race detector for Java. ICSE (Companion Volume) (2019)
Bozhen Liu, Jeff Huang, Lawrence Rauchwerger
Rethinking Incremental and Parallel Pointer Analysis. ACM Trans. Program. Lang. Syst. 41 (1) (2019)
Wei Song, Jing Zhang, Jeff Huang
ServDroid: detecting service usage inefficiencies in Android applications. ESEC/SIGSOFT FSE (2019)
Shiyou Huang, Jianmei Guo, Sanhong Li, Xiang Li, Yumin Qi, Kingsum Chow, Jeff Huang
SafeCheck: safety enhancement of Java unsafe API. ICSE (2019)
Lang Feng, Jeff Huang, Jiang Hu, Abhijith Reddy
FastCFI: Real-Time Control Flow Integrity Using FPGA Without Code Instrumentation. RV (2019)
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
Using Local Clocks to Reproduce Concurrency Bugs. IEEE Trans. Software Eng. 44 (11) (2018)
Bradley Swain, Jeff Huang
Towards Incremental Static Race Detection in OpenMP Programs. CORRECTNESS@SC (2018)
Bozhen Liu, Jeff Huang
D4: fast concurrency debugging with parallel differential analysis. PLDI (2018)
Gang Zhao, Jeff Huang
DeepSim: deep learning code functional similarity. ESEC/SIGSOFT FSE (2018)
Jeff Huang
UFO: predictive concurrency use-after-free detection. ICSE (2018)
Qiuping Yi, Jeff Huang
Concurrency verification with maximal path causality. ESEC/SIGSOFT FSE (2018)
Guangliang Yang, Jeff Huang, Guofei Gu
Automated Generation of Event-Oriented Exploits in Android Hybrid Apps. NDSS (2018)
Guangliang Yang, Jeff Huang, Guofei Gu, Abner Mendoza
Study and Mitigation of Origin Stripping Vulnerabilities in Hybrid-postMessage Enabled Mobile Applications. IEEE Symposium on Security and Privacy (2018)
Lei Xu, Jeff Huang, Sungmin Hong, Jialong Zhang, Guofei Gu
Attacking the Brain: Races in the SDN Control Plane. USENIX Security Symposium (2017)
Shiyou Huang, Jeff Huang
Speeding Up Maximal Causality Reduction with Static Dependency Analysis. ECOOP (2017)
Jeff Huang, Arun K. Rajagopalan
What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective. ECOOP (2017)
Shiyou Huang, Bowen Cai, Jeff Huang
Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. USENIX Annual Technical Conference (2017)
Wei Song, Xiangxing Qian, Jeff Huang
EHBDroid: beyond GUI testing for Android applications. ASE (2017)
Jeff Huang
Scalable thread sharing analysis. ICSE (2016)
Sheng Zhan, Jeff Huang
ECHO: instantaneous in situ race detection in the IDE. SIGSOFT FSE (2016)
Qingkai Shi, Jeff Huang, Zhenyu Chen, Baowen Xu
Verifying Synchronization for Atomicity Violation Fixing. IEEE Trans. Software Eng. 42 (3) (2016)
Jeff Huang, Arun K. Rajagopalan
Precise and maximal race detection from incomplete traces. OOPSLA (2016)
Shiyou Huang, Jeff Huang
Maximal causality reduction for TSO and PSO. OOPSLA (2016)
Jeff Huang, Charles Zhang
Debugging Concurrent Software: Advances and Challenges. J. Comput. Sci. Technol. 31 (5) (2016)
Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang
SMT Solving for the Theory of Ordering Constraints. LCPC (2015)
Xiang Yuan, Chenggang Wu, Zhenjiang Wang, Jianjun Li, Pen-Chung Yew, Jeff Huang, Xiaobing Feng, Yanyan Lan, Yunji Chen, Yong Guan
ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks. ICSE (1) (2015)
Jeff Huang, Qingzhou Luo, Grigore Rosu
GPredict: Generic Predictive Concurrency Analysis. ICSE (1) (2015)
Arun K. Rajagopalan, Jeff Huang
RDIT: race detection from incomplete traces. ESEC/SIGSOFT FSE (2015)
Jeff Huang
Stateless model checking concurrent programs with maximal causality reduction. PLDI (2015)
Jeff Huang, Lawrence Rauchwerger
Finding schedule-sensitive branches. ESEC/SIGSOFT FSE (2015)
Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu
Maximal sound predictive race detection with control flow abstraction. PLDI (2014)
Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu
ROSRV: Runtime Verification for Robots. RV (2014)
Jeff Huang, Charles Zhang, Julian Dolby
CLAP: recording local executions to reproduce concurrency failures. PLDI (2013)
Jeff Huang, Jinguo Zhou, Charles Zhang
Scaling predictive analysis of concurrent programs by removing trace redundancy. ACM Trans. Softw. Eng. Methodol. 22 (1) (2013)
Jeff Huang, Charles Zhang
Execution privatization for scheduler-oblivious concurrent programs. OOPSLA (2012)
Jeff Huang, Charles Zhang
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. OOPSLA (2012)
Jeff Huang, Charles Zhang
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. SAS (2011)
Jeff Huang, Charles Zhang
Persuasive prediction of concurrency access anomalies. ISSTA (2011)
Jeff Huang, Peng Liu, Charles Zhang
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. SIGSOFT FSE (2010)
Jeff Huang, Peng Liu, Charles Zhang
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. SIGSOFT FSE (2010)