Jeff Huang

According to our database, Jeff Huang authored at least 60 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts.

Yichuan Li, Wei Song, Jeff Huang

Proc. ACM Program. Lang., 2024

2023

Efficiently Programming Large Language Models using SGLang.

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

CoRR, 2023

TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts.

Chenyang Ma, Wei Song, Jeff Huang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk.

Siwei Cui, Yifei Gao, Rainer Unterguggenberger, Wilfried Pichler, Sean Livingstone, Jeff Huang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Automated Use-After-Free Detection and Exploit Mitigation: How Far Have We Gone?

Binfa Gui, Wei Song, Hailong Xiong, Jeff Huang

IEEE Trans. Software Eng., 2022

Toward Taming the Overhead Monster for Data-flow Integrity.

Lang Feng, Jiayi Huang, Jeff Huang, Jiang Hu

ACM Trans. Design Autom. Electr. Syst., 2022

SHARP: fast incremental context-sensitive pointer analysis for Java.

Bozhen Liu, Jeff Huang

Proc. ACM Program. Lang., 2022

PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis.

Peiming Liu, Yanze Li, Bradley Swain, Jeff Huang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

VRust: Automated Vulnerability Detection for Solana Smart Contracts.

Siwei Cui, Gang Zhao, Yifei Gao, Tien Tavu, Jeff Huang

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

FastCFI: Real-time Control-Flow Integrity Using FPGA without Code Instrumentation.

Lang Feng, Jeff Huang, Jiang Hu, Abhijith Reddy

ACM Trans. Design Autom. Electr. Syst., 2021

Distributed Networked Real-Time Learning.

Alfredo García, Luochao Wang, Jeff Huang, Lingzhou Hong

IEEE Trans. Control. Netw. Syst., 2021

PYInfer: Deep Learning Semantic Type Inference for Python Variables.

Siwei Cui, Gang Zhao, Zeyu Dai, Luochao Wang, Ruihong Huang, Jeff Huang

CoRR, 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

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities.

Binfa Gui, Wei Song, Jeff Huang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

IMGDroid: A Static Analyzer for Detecting Image Loading Defects in Android Applications.

Wei Song, Mengqi Han, Jeff Huang

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

IMGDroid: Detecting Image Loading Defects in Android Applications.

Wei Song, Mengqi Han, Jeff Huang

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

OpenRace: An Open Source Framework for Statically Detecting Data Races.

Bradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, Jeff Huang

Proceedings of the 5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2021

2020

Understanding JavaScript Vulnerabilities in Large Real-World Android Applications.

Wei Song, Qingqing Huang, Jeff Huang

IEEE Trans. Dependable Secur. Comput., 2020

OMPRacer: a scalable and precise static race detector for OpenMP programs.

Bradley Swain, Yanze Li, Peiming Liu, Ignacio Laguna, Giorgis Georgakoudis, Jeff Huang

Proceedings of the International Conference for High Performance Computing, 2020

Functional code clone detection with syntax and semantics fusion learning.

Chunrong Fang, Zixi Liu, Yangyang Shi, Jeff Huang, Qingkai Shi

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Securing unsafe rust programs with XRust.

Peiming Liu, Gang Zhao, Jeff Huang

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Rethinking Incremental and Parallel Pointer Analysis.

Bozhen Liu, Jeff Huang, Lawrence Rauchwerger

ACM Trans. Program. Lang. Syst., 2019

Iframes/Popups Are Dangerous in Mobile WebView: Studying and Mitigating Differential Context Vulnerabilities.

Guangliang Yang, Jeff Huang, Guofei Gu

Proceedings of the 28th USENIX Security Symposium, 2019

ServDroid: detecting service usage inefficiencies in Android applications.

Wei Song, Jing Zhang, Jeff Huang

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

SWORD: a scalable whole program race detector for Java.

Yanze Li, Bozhen Liu, Jeff Huang

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

SafeCheck: safety enhancement of Java unsafe API.

Shiyou Huang, Jianmei Guo, Sanhong Li, Xiang Li, Yumin Qi, Kingsum Chow, Jeff Huang

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

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

IEEE Trans. Software Eng., 2018

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

Guangliang Yang, Jeff Huang, Guofei Gu, Abner Mendoza

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

DeepSim: deep learning code functional similarity.

Gang Zhao, Jeff Huang

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Concurrency verification with maximal path causality.

Qiuping Yi, Jeff Huang

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Towards Incremental Static Race Detection in OpenMP Programs.

Bradley Swain, Jeff Huang

Proceedings of the 2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, 2018

D4: fast concurrency debugging with parallel differential analysis.

Bozhen Liu, Jeff Huang

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Automated Generation of Event-Oriented Exploits in Android Hybrid Apps.

Guangliang Yang, Jeff Huang, Guofei Gu

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

UFO: predictive concurrency use-after-free detection.

Jeff Huang

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Attacking the Brain: Races in the SDN Control Plane.

Lei Xu, Jeff Huang, Sungmin Hong, Jialong Zhang, Guofei Gu

Proceedings of the 26th USENIX Security Symposium, 2017

Towards Production-Run Heisenbugs Reproduction on Commercial Hardware.

Shiyou Huang, Bowen Cai, Jeff Huang

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

EHBDroid: beyond GUI testing for Android applications.

Wei Song, Xiangxing Qian, Jeff Huang

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Speeding Up Maximal Causality Reduction with Static Dependency Analysis.

Shiyou Huang, Jeff Huang

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective.

Jeff Huang, Arun K. Rajagopalan

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Verifying Synchronization for Atomicity Violation Fixing.

Qingkai Shi, Jeff Huang, Zhenyu Chen, Baowen Xu

IEEE Trans. Software Eng., 2016

Debugging Concurrent Software: Advances and Challenges.

Jeff Huang, Charles Zhang

J. Comput. Sci. Technol., 2016

ECHO: instantaneous in situ race detection in the IDE.

Sheng Zhan, Jeff Huang

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Precise and maximal race detection from incomplete traces.

Jeff Huang, Arun K. Rajagopalan

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Maximal causality reduction for TSO and PSO.

Shiyou Huang, Jeff Huang

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Scalable thread sharing analysis.

Jeff Huang

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

RDIT: race detection from incomplete traces.

Arun K. Rajagopalan, Jeff Huang

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Finding schedule-sensitive branches.

Jeff Huang, Lawrence Rauchwerger

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Stateless model checking concurrent programs with maximal causality reduction.

Jeff Huang

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

SMT Solving for the Theory of Ordering Constraints.

Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang

Proceedings of the Languages and Compilers for Parallel Computing, 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

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

GPredict: Generic Predictive Concurrency Analysis.

Jeff Huang, Qingzhou Luo, Grigore Rosu

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

ROSRV: Runtime Verification for Robots.

Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu

Proceedings of the Runtime Verification - 5th International Conference, 2014

Maximal sound predictive race detection with control flow abstraction.

Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Scaling predictive analysis of concurrent programs by removing trace redundancy.

Jeff Huang, Jinguo Zhou, Charles Zhang

ACM Trans. Softw. Eng. Methodol., 2013

CLAP: recording local executions to reproduce concurrency failures.

Jeff Huang, Charles Zhang, Julian Dolby

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Execution privatization for scheduler-oblivious concurrent programs.

Jeff Huang, Charles Zhang

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction.

Jeff Huang, Charles Zhang

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs.

Jeff Huang, Charles Zhang

Proceedings of the Static Analysis - 18th International Symposium, 2011

Persuasive prediction of concurrency access anomalies.

Jeff Huang, Charles Zhang

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

LEAP: lightweight deterministic multi-processor replay of concurrent java programs.

Jeff Huang, Peng Liu, Charles Zhang

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010