![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Jeff Huang 0001
Person information
- affiliation: Texas A&M University, College Station, TX, USA
Other persons with the same name
- Jeff Huang 0002
— Brown University, Department of Computer Science, Providence, RI, USA (and 2 more)
- Jeff Huang 0003 — QUALCOMM Inc., San Diego, USA
- Jeff Huang 0004 — SRI International, Center for Technology in Learning
- Jeff Huang 0005 — SEMTECH, Austrin, TX, USA
- Jeff Huang 0006 — National Taipei University of Technology, Taiwan
- Jeff Huang 0007 — MotherDuck
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c48]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: 1136-1147 - [c47]Chenyang Ma
, Wei Song
, Jeff Huang
:
TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts. ESEC/SIGSOFT FSE 2023: 947-959 - [i3]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:
Efficiently Programming Large Language Models using SGLang. CoRR abs/2312.07104 (2023) - 2022
- [j11]Bozhen Liu
, Jeff Huang
:
SHARP: fast incremental context-sensitive pointer analysis for Java. Proc. ACM Program. Lang. 6(OOPSLA1): 1-28 (2022) - [j10]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): 25:1-25:24 (2022) - [j9]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): 4569-4589 (2022) - [c46]Siwei Cui
, Gang Zhao, Yifei Gao, Tien Tavu, Jeff Huang:
VRust: Automated Vulnerability Detection for Solana Smart Contracts. CCS 2022: 639-652 - [c45]Peiming Liu, Yanze Li, Bradley Swain, Jeff Huang:
PUS: A Fast and Highly Efficient Solver for Inclusion-based Pointer Analysis. ICSE 2022: 1781-1792 - 2021
- [j8]Alfredo García
, Luochao Wang
, Jeff Huang, Lingzhou Hong:
Distributed Networked Real-Time Learning. IEEE Trans. Control. Netw. Syst. 8(1): 28-38 (2021) - [j7]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): 39:1-39:39 (2021) - [c44]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: 25-32 - [c43]Wei Song, Mengqi Han, Jeff Huang:
IMGDroid: A Static Analyzer for Detecting Image Loading Defects in Android Applications. ICSE (Companion Volume) 2021: 164-165 - [c42]Wei Song, Mengqi Han, Jeff Huang:
IMGDroid: Detecting Image Loading Defects in Android Applications. ICSE 2021: 823-834 - [c41]Binfa Gui
, Wei Song
, Jeff Huang
:
UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities. ISSTA 2021: 309-321 - [c40]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: 725-739 - [i2]Lang Feng, Jiayi Huang, Jeff Huang, Jiang Hu:
Toward Taming the Overhead Monster for Data-Flow Integrity. CoRR abs/2102.10031 (2021) - [i1]Siwei Cui, Gang Zhao, Zeyu Dai, Luochao Wang, Ruihong Huang, Jeff Huang:
PYInfer: Deep Learning Semantic Type Inference for Python Variables. CoRR abs/2106.14316 (2021) - 2020
- [j6]Wei Song
, Qingqing Huang, Jeff Huang:
Understanding JavaScript Vulnerabilities in Large Real-World Android Applications. IEEE Trans. Dependable Secur. Comput. 17(5): 1063-1078 (2020) - [c39]Peiming Liu, Gang Zhao, Jeff Huang:
Securing unsafe rust programs with XRust. ICSE 2020: 234-245 - [c38]Chunrong Fang
, Zixi Liu, Yangyang Shi, Jeff Huang, Qingkai Shi
:
Functional code clone detection with syntax and semantics fusion learning. ISSTA 2020: 516-527 - [c37]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: 54
2010 – 2019
- 2019
- [j5]Bozhen Liu
, Jeff Huang, Lawrence Rauchwerger:
Rethinking Incremental and Parallel Pointer Analysis. ACM Trans. Program. Lang. Syst. 41(1): 6:1-6:31 (2019) - [c36]Yanze Li
, Bozhen Liu
, Jeff Huang:
SWORD: a scalable whole program race detector for Java. ICSE (Companion Volume) 2019: 75-78 - [c35]Shiyou Huang, Jianmei Guo, Sanhong Li, Xiang Li, Yumin Qi, Kingsum Chow, Jeff Huang:
SafeCheck: safety enhancement of Java unsafe API. ICSE 2019: 889-899 - [c34]Lang Feng, Jeff Huang, Jiang Hu, Abhijith Reddy:
FastCFI: Real-Time Control Flow Integrity Using FPGA Without Code Instrumentation. RV 2019: 221-238 - [c33]Wei Song, Jing Zhang, Jeff Huang:
ServDroid: detecting service usage inefficiencies in Android applications. ESEC/SIGSOFT FSE 2019: 362-373 - [c32]Guangliang Yang, Jeff Huang, Guofei Gu:
Iframes/Popups Are Dangerous in Mobile WebView: Studying and Mitigating Differential Context Vulnerabilities. USENIX Security Symposium 2019: 977-994 - 2018
- [j4]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): 1112-1128 (2018) - [c31]Jeff Huang:
UFO: predictive concurrency use-after-free detection. ICSE 2018: 609-619 - [c30]Guangliang Yang, Jeff Huang, Guofei Gu:
Automated Generation of Event-Oriented Exploits in Android Hybrid Apps. NDSS 2018 - [c29]Bozhen Liu
, Jeff Huang:
D4: fast concurrency debugging with parallel differential analysis. PLDI 2018: 359-373 - [c28]Bradley Swain, Jeff Huang:
Towards Incremental Static Race Detection in OpenMP Programs. CORRECTNESS@SC 2018: 33-41 - [c27]Gang Zhao, Jeff Huang:
DeepSim: deep learning code functional similarity. ESEC/SIGSOFT FSE 2018: 141-151 - [c26]Qiuping Yi, Jeff Huang:
Concurrency verification with maximal path causality. ESEC/SIGSOFT FSE 2018: 366-376 - [c25]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: 742-755 - 2017
- [c24]Jeff Huang, Arun K. Rajagopalan:
What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective. ECOOP 2017: 15:1-15:22 - [c23]Shiyou Huang, Jeff Huang:
Speeding Up Maximal Causality Reduction with Static Dependency Analysis. ECOOP 2017: 16:1-16:22 - [c22]Wei Song, Xiangxing Qian, Jeff Huang:
EHBDroid: beyond GUI testing for Android applications. ASE 2017: 27-37 - [c21]Shiyou Huang, Bowen Cai, Jeff Huang:
Towards Production-Run Heisenbugs Reproduction on Commercial Hardware. USENIX ATC 2017: 403-415 - [c20]Lei Xu, Jeff Huang, Sungmin Hong, Jialong Zhang, Guofei Gu:
Attacking the Brain: Races in the SDN Control Plane. USENIX Security Symposium 2017: 451-468 - 2016
- [j3]Jeff Huang, Charles Zhang:
Debugging Concurrent Software: Advances and Challenges. J. Comput. Sci. Technol. 31(5): 861-868 (2016) - [j2]Qingkai Shi
, Jeff Huang, Zhenyu Chen, Baowen Xu
:
Verifying Synchronization for Atomicity Violation Fixing. IEEE Trans. Software Eng. 42(3): 285-301 (2016) - [c19]Jeff Huang:
Scalable thread sharing analysis. ICSE 2016: 1097-1108 - [c18]Shiyou Huang, Jeff Huang:
Maximal causality reduction for TSO and PSO. OOPSLA 2016: 447-461 - [c17]Jeff Huang, Arun K. Rajagopalan:
Precise and maximal race detection from incomplete traces. OOPSLA 2016: 462-476 - [c16]Sheng Zhan, Jeff Huang:
ECHO: instantaneous in situ race detection in the IDE. SIGSOFT FSE 2016: 775-786 - 2015
- [c15]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: 824-834 - [c14]Jeff Huang, Qingzhou Luo, Grigore Rosu:
GPredict: Generic Predictive Concurrency Analysis. ICSE (1) 2015: 847-857 - [c13]Cunjing Ge, Feifei Ma, Jeff Huang, Jian Zhang:
SMT Solving for the Theory of Ordering Constraints. LCPC 2015: 287-302 - [c12]Jeff Huang:
Stateless model checking concurrent programs with maximal causality reduction. PLDI 2015: 165-174 - [c11]Jeff Huang, Lawrence Rauchwerger:
Finding schedule-sensitive branches. ESEC/SIGSOFT FSE 2015: 439-449 - [c10]Arun K. Rajagopalan, Jeff Huang:
RDIT: race detection from incomplete traces. ESEC/SIGSOFT FSE 2015: 914-917 - 2014
- [c9]Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu:
Maximal sound predictive race detection with control flow abstraction. PLDI 2014: 337-348 - [c8]Jeff Huang, Cansu Erdogan, Yi Zhang, Brandon M. Moore, Qingzhou Luo, Aravind Sundaresan, Grigore Rosu:
ROSRV: Runtime Verification for Robots. RV 2014: 247-254 - 2013
- [j1]Jeff Huang, Jinguo Zhou, Charles Zhang:
Scaling predictive analysis of concurrent programs by removing trace redundancy. ACM Trans. Softw. Eng. Methodol. 22(1): 8:1-8:21 (2013) - [c7]Jeff Huang, Charles Zhang, Julian Dolby:
CLAP: recording local executions to reproduce concurrency failures. PLDI 2013: 141-152 - 2012
- [c6]Jeff Huang, Charles Zhang:
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. OOPSLA 2012: 451-466 - [c5]Jeff Huang, Charles Zhang:
Execution privatization for scheduler-oblivious concurrent programs. OOPSLA 2012: 737-752 - 2011
- [c4]Jeff Huang, Charles Zhang:
Persuasive prediction of concurrency access anomalies. ISSTA 2011: 144-154 - [c3]Jeff Huang, Charles Zhang:
An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs. SAS 2011: 163-179 - 2010
- [c2]Jeff Huang, Peng Liu, Charles Zhang:
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. SIGSOFT FSE 2010: 207-216 - [c1]Jeff Huang, Peng Liu, Charles Zhang:
LEAP: lightweight deterministic multi-processor replay of concurrent java programs. SIGSOFT FSE 2010: 385-386
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint