Jeff Huang - RankMe

72 papers A* 19A 10B 3Journal 21Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	LLMs in Software Security: A Survey of Vulnerability Detection Techniques and Insights. ACM Comput. Surv. Ze Sheng, Zhicheng Chen, Shuning Gu, Heqing Huang, Guofei Gu, Jeff Huang
2025	J	`jnl`	All You Need Is A Fuzzing Brain: An LLM-Powered System for Automated Vulnerability Detection and Patching. CoRR Ze Sheng, Qingxiao Xu, Jianwei Huang, Matthew Woodcock, Heqing Huang, Alastair F. Donaldson, Guofei Gu, Jeff Huang
2025	J	`jnl`	DepFuzz: Efficient Smart Contract Fuzzing with Function Dependence Guidance. Proc. ACM Program. Lang. Chenyang Ma, Wei Song, Jeff Huang
2025	—	`conf`	GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go. ISSTA Companion Xiaofan Xu, Wei Song, Jeff Huang
2025	J	`jnl`	GoPV: Detecting Blocking Concurrency Bugs Related to Shared-Memory Synchronization in Go. Proc. ACM Softw. Eng. Wei Song, Xiaofan Xu, Jeff Huang
2025	J	`jnl`	LLMs in Software Security: A Survey of Vulnerability Detection Techniques and Insights. CoRR Ze Sheng, Zhicheng Chen, Shuning Gu, Heqing Huang, Guofei Gu, Jeff Huang
2025	—	`conf`	Optimizing Type Migration for LLM-Based C-to-Rust Translation: A Data Flow Graph Approach. SOAP@PLDI Qingxiao Xu, Jeff Huang
2025	J	`jnl`	VeriFix: Verifying your fix towards an atomicity violation. J. Syst. Softw. Zhuang Li, Qiuping Yi, Jeff Huang
2024	A*	`conf`	SGLang: Efficient Execution of Structured Language Model Programs. NeurIPS Lianmin Zheng, Liangsheng Yin, Zhiqiang Xie, Chuyue Sun, Jeff Huang, Cody Hao Yu, Shiyi Cao, Christos Kozyrakis, Ion Stoica, Joseph E. Gonzalez, Clark W. Barrett, Ying Sheng
2024	J	`jnl`	VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts. Proc. ACM Program. Lang. Yichuan Li, Wei Song, Jeff Huang
2023	J	`jnl`	Efficiently Programming Large Language Models using SGLang. CoRR Lianmin Zheng, Liangsheng Yin, Zhiqiang Xie, Jeff Huang, Chuyue Sun, Cody Hao Yu, Shiyi Cao, Christos Kozyrakis, Ion Stoica, Joseph E. Gonzalez, Clark W. Barrett, Ying Sheng
2023	A*	`conf`	SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk. ICSE Siwei Cui, Yifei Gao, Rainer Unterguggenberger, Wilfried Pichler, Sean Livingstone, Jeff Huang
2023	—	`conf`	TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts. ESEC/SIGSOFT FSE Chenyang Ma, Wei Song, Jeff Huang
2022	J	`jnl`	Automated Use-After-Free Detection and Exploit Mitigation: How Far Have We Gone? IEEE Trans. Software Eng. Binfa Gui, Wei Song, Hailong Xiong, Jeff Huang
2022	A*	`conf`	PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis. ICSE Peiming Liu, Yanze Li, Bradley Swain, Jeff Huang
2022	J	`jnl`	SHARP: fast incremental context-sensitive pointer analysis for Java. Proc. ACM Program. Lang. Bozhen Liu, Jeff Huang
2022	J	`jnl`	Toward Taming the Overhead Monster for Data-flow Integrity. ACM Trans. Design Autom. Electr. Syst. Lang Feng, Jiayi Huang, Jeff Huang, Jiang Hu
2022	A*	`conf`	VRust: Automated Vulnerability Detection for Solana Smart Contracts. CCS Siwei Cui, Gang Zhao, Yifei Gao, Tien Tavu, Jeff Huang
2021	J	`jnl`	Distributed Networked Real-Time Learning. IEEE Trans. Control. Netw. Syst. Alfredo García, Luochao Wang, Jeff Huang, Lingzhou Hong
2021	J	`jnl`	FastCFI: Real-time Control-Flow Integrity Using FPGA without Code Instrumentation. ACM Trans. Design Autom. Electr. Syst. Lang Feng, Jeff Huang, Jiang Hu, Abhijith Reddy
2021	—	`conf`	IMGDroid: A Static Analyzer for Detecting Image Loading Defects in Android Applications. ICSE (Companion Volume) Wei Song, Mengqi Han, Jeff Huang
2021	A*	`conf`	IMGDroid: Detecting Image Loading Defects in Android Applications. ICSE Wei Song, Mengqi Han, Jeff Huang
2021	—	`conf`	OpenRace: An Open Source Framework for Statically Detecting Data Races. Correctness@SC Bradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, Jeff Huang
2021	J	`jnl`	PYInfer: Deep Learning Semantic Type Inference for Python Variables. CoRR Siwei Cui, Gang Zhao, Zeyu Dai, Luochao Wang, Ruihong Huang, Jeff Huang
2021	J	`jnl`	Toward Taming the Overhead Monster for Data-Flow Integrity. CoRR Lang Feng, Jiayi Huang, Jeff Huang, Jiang Hu
2021	A	`conf`	UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities. ISSTA Binfa Gui, Wei Song, Jeff Huang
2021	A*	`conf`	When threads meet events: efficient and precise static race detection with origins. PLDI Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, Jeff Huang
2020	A	`conf`	Functional code clone detection with syntax and semantics fusion learning. ISSTA Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, Qingkai Shi
2020	A	`conf`	OMPRacer: a scalable and precise static race detector for OpenMP programs. SC Bradley Swain, Yanze Li, Peiming Liu, Ignacio Laguna, Giorgis Georgakoudis, Jeff Huang
2020	A*	`conf`	Securing unsafe rust programs with XRust. ICSE Peiming Liu, Gang Zhao, Jeff Huang
2020	J	`jnl`	Understanding JavaScript Vulnerabilities in Large Real-World Android Applications. IEEE Trans. Dependable Secur. Comput. Wei Song, Qingqing Huang, Jeff Huang
2019	B	`conf`	FastCFI: Real-Time Control Flow Integrity Using FPGA Without Code Instrumentation. RV Lang Feng, Jeff Huang, Jiang Hu, Abhijith Reddy
2019	A*	`conf`	Iframes/Popups Are Dangerous in Mobile WebView: Studying and Mitigating Differential Context Vulnerabilities. USENIX Security Symposium Guangliang Yang, Jeff Huang, Guofei Gu
2019	J	`jnl`	Rethinking Incremental and Parallel Pointer Analysis. ACM Trans. Program. Lang. Syst. Bozhen Liu, Jeff Huang, Lawrence Rauchwerger
2019	—	`conf`	SWORD: a scalable whole program race detector for Java. ICSE (Companion Volume) Yanze Li, Bozhen Liu, Jeff Huang
2019	A*	`conf`	SafeCheck: safety enhancement of Java unsafe API. ICSE Shiyou Huang, Jianmei Guo, Sanhong Li, Xiang Li, Yumin Qi, Kingsum Chow, Jeff Huang
2019	—	`conf`	ServDroid: detecting service usage inefficiencies in Android applications. ESEC/SIGSOFT FSE Wei Song, Jing Zhang, Jeff Huang
2018	A*	`conf`	Automated Generation of Event-Oriented Exploits in Android Hybrid Apps. NDSS Guangliang Yang, Jeff Huang, Guofei Gu
2018	—	`conf`	Concurrency verification with maximal path causality. ESEC/SIGSOFT FSE Qiuping Yi, Jeff Huang
2018	A*	`conf`	D4: fast concurrency debugging with parallel differential analysis. PLDI Bozhen Liu, Jeff Huang
2018	—	`conf`	DeepSim: deep learning code functional similarity. ESEC/SIGSOFT FSE Gang Zhao, Jeff Huang
2018	A*	`conf`	Study and Mitigation of Origin Stripping Vulnerabilities in Hybrid-postMessage Enabled Mobile Applications. IEEE Symposium on Security and Privacy Guangliang Yang, Jeff Huang, Guofei Gu, Abner Mendoza
2018	—	`conf`	Towards Incremental Static Race Detection in OpenMP Programs. CORRECTNESS@SC Bradley Swain, Jeff Huang
2018	A*	`conf`	UFO: predictive concurrency use-after-free detection. ICSE Jeff Huang
2018	J	`jnl`	Using Local Clocks to Reproduce Concurrency Bugs. IEEE Trans. Software Eng. 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
2017	A*	`conf`	Attacking the Brain: Races in the SDN Control Plane. USENIX Security Symposium Lei Xu, Jeff Huang, Sungmin Hong, Jialong Zhang, Guofei Gu
2017	A*	`conf`	EHBDroid: beyond GUI testing for Android applications. ASE Wei Song, Xiangxing Qian, Jeff Huang
2017	A	`conf`	Speeding Up Maximal Causality Reduction with Static Dependency Analysis. ECOOP Shiyou Huang, Jeff Huang
2017	—	`conf`	Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. USENIX ATC Shiyou Huang, Bowen Cai, Jeff Huang
2017	A	`conf`	What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective. ECOOP Jeff Huang, Arun K. Rajagopalan
2016	J	`jnl`	Debugging Concurrent Software: Advances and Challenges. J. Comput. Sci. Technol. Jeff Huang, Charles Zhang
2016	—	`conf`	ECHO: instantaneous in situ race detection in the IDE. SIGSOFT FSE Sheng Zhan, Jeff Huang
2016	A	`conf`	Maximal causality reduction for TSO and PSO. OOPSLA Shiyou Huang, Jeff Huang
2016	A	`conf`	Precise and maximal race detection from incomplete traces. OOPSLA Jeff Huang, Arun K. Rajagopalan
2016	A*	`conf`	Scalable thread sharing analysis. ICSE Jeff Huang
2016	J	`jnl`	Verifying Synchronization for Atomicity Violation Fixing. IEEE Trans. Software Eng. Qingkai Shi, Jeff Huang, Zhenyu Chen, Baowen Xu
2015	—	`conf`	Finding schedule-sensitive branches. ESEC/SIGSOFT FSE Jeff Huang, Lawrence Rauchwerger
2015	—	`conf`	GPredict: Generic Predictive Concurrency Analysis. ICSE (1) Jeff Huang, Qingzhou Luo, Grigore Rosu
2015	—	`conf`	RDIT: race detection from incomplete traces. ESEC/SIGSOFT FSE Arun K. Rajagopalan, Jeff Huang
2015	—	`conf`	ReCBuLC: Reproducing Concurrency Bugs Using Local Clocks. ICSE (1) Xiang Yuan, Chenggang Wu, Zhenjiang Wang, Jianjun Li, Pen-Chung Yew, Jeff Huang, Xiaobing Feng, Yanyan Lan, Yunji Chen, Yong Guan
2015	—	`conf`	SMT Solving for the Theory of Ordering Constraints. LCPC Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang
2015	A*	`conf`	Stateless model checking concurrent programs with maximal causality reduction. PLDI Jeff Huang
2014	A*	`conf`	Maximal sound predictive race detection with control flow abstraction. PLDI Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu
2014	B	`conf`	ROSRV: Runtime Verification for Robots. RV Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu
2013	A*	`conf`	CLAP: recording local executions to reproduce concurrency failures. PLDI Jeff Huang, Charles Zhang, Julian Dolby
2013	J	`jnl`	Scaling predictive analysis of concurrent programs by removing trace redundancy. ACM Trans. Softw. Eng. Methodol. Jeff Huang, Jinguo Zhou, Charles Zhang
2012	A	`conf`	Execution privatization for scheduler-oblivious concurrent programs. OOPSLA Jeff Huang, Charles Zhang
2012	A	`conf`	LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. OOPSLA Jeff Huang, Charles Zhang
2011	B	`conf`	An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. SAS Jeff Huang, Charles Zhang
2011	A	`conf`	Persuasive prediction of concurrency access anomalies. ISSTA Jeff Huang, Charles Zhang
2010	—	`conf`	LEAP: lightweight deterministic multi-processor replay of concurrent java programs. SIGSOFT FSE Jeff Huang, Peng Liu, Charles Zhang
2010	—	`conf`	LEAP: lightweight deterministic multi-processor replay of concurrent java programs. SIGSOFT FSE Jeff Huang, Peng Liu, Charles Zhang