default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDXiangyu Zhang 0001
Person information
- affiliation: Purdue University, West Lafayette, IN, USA
- affiliation (PhD 2006): University of Arizona, Department of Computer Science, Tucson, AZ, USA
Other persons with the same name
- Xiangyu Zhang — disambiguation page
- Xiangyu Zhang 0002
![[0000-0003-3716-4722]](https://dblp.org/img/orcid-mark.12x12.png "0000-0003-3716-4722")
— ShanghaiTech University, School of Information Science and Technology, China (and 1 more) - Xiangyu Zhang 0003 — Shenyang Pharmaceutical University, MoE Key Laboratory of Structure-Based Drug Design and Discovery, China
- Xiangyu Zhang 0004 — Tsinghua University, Department of Electrical Engineering, Beijing, China
- Xiangyu Zhang 0005 — Megvii Inc., Beijing, China (and 2 more)
- Xiangyu Zhang 0007 — Navy Aeronautical University, Yantai, China
- Xiangyu Zhang 0008 — Southeast University, School of Instrument Science and Engineering, Nanjing, China
- Xiangyu Zhang 0009 — Northwestern Polytechnical University, China
- Xiangyu Zhang 0010 — U. S. National Renewable Energy Laboratory, Computational Science Center, CO, USA (and 2 more)
- Xiangyu Zhang 0011 — Duke University, Department of Electrical and Computer Engineering, Durham, NC, USA
- Xiangyu Zhang 0012 — Cornell University, Department of Operations Research and Information Engineering, Ithaca, NY, USA
- Xiangyu Zhang 0013 — Southeast University, Frontiers Science Center for Mobile Information Communication and Security, School of Information Science and Engineering, Nanjing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j36]Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, Xiangyu Zhang:
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers. Proc. ACM Program. Lang. 8(OOPSLA1): 1208-1234 (2024)- [j35]Zian Su, Xiangzhe Xu, Ziyang Huang, Zhuo Zhang, Yapeng Ye, Jianjun Huang, Xiangyu Zhang:
CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking. Proc. ACM Softw. Eng. 1(FSE): 562-585 (2024) - [j34]Xinmeng Xia, Yang Feng, Qingkai Shi, James A. Jones, Xiangyu Zhang, Baowen Xu:
Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing. ACM Trans. Softw. Eng. Methodol. 33(5): 118:1-118:31 (2024) - [j33]Hepeng Dai, Chang-Ai Sun, Huai Liu, Xiangyu Zhang:
DFuzzer: Diversity-Driven Seed Queue Construction of Fuzzing for Deep Learning Models. IEEE Trans. Reliab. 73(2): 1075-1089 (2024) - [c230]Shengwei An, Sheng-Yen Chou, Kaiyuan Zhang, Qiuling Xu, Guanhong Tao, Guangyu Shen, Siyuan Cheng, Shiqing Ma, Pin-Yu Chen, Tsung-Yi Ho, Xiangyu Zhang:
Elijah: Eliminating Backdoors Injected in Diffusion Models via Distribution Shift. AAAI 2024: 10847-10855 - [c229]Siyuan Cheng, Guanhong Tao, Yingqi Liu, Guangyu Shen, Shengwei An, Shiwei Feng, Xiangzhe Xu, Kaiyuan Zhang, Shiqing Ma, Xiangyu Zhang:
Lotus: Evasive and Resilient Backdoor Attacks through Sub-Partitioning. CVPR 2024: 24798-24809 - [c228]Chanwoo Bae, Guanhong Tao, Zhuo Zhang, Xiangyu Zhang:
Threat Behavior Textual Search by Attention Graph Isomorphism. EACL (1) 2024: 2616-2630 - [c227]Siyuan Cheng, Guangyu Shen, Kaiyuan Zhang, Guanhong Tao, Shengwei An, Hanxi Guo, Shiqing Ma, Xiangyu Zhang:
UNIT: Backdoor Mitigation via Automated Neural Distribution Tightening. ECCV (62) 2024: 262-281 - [c226]Zhiyuan Cheng, Hongjun Choi, Shiwei Feng, James Chenhao Liang, Guanhong Tao, Dongfang Liu, Michael Zuzak, Xiangyu Zhang:
Fusion Is Not Enough: Single Modal Attacks on Fusion Models for 3D Object Detection. ICLR 2024 - [c225]Zhiyuan Cheng, Zhaoyi Liu, Tengda Guo, Shiwei Feng, Dongfang Liu, Mingjie Tang, Xiangyu Zhang:
BadPart: Unified Black-box Adversarial Patch Attacks against Pixel-wise Regression Tasks. ICML 2024 - [c224]Xuwei Liu, Wei You, Yapeng Ye, Zhuo Zhang, Jianjun Huang, Xiangyu Zhang:
FuzzInMem: Fuzzing Programs via In-memory Structures. ICSE 2024: 131:1-131:13 - [c223]Dongnan He, Dongchen Xie, Yujie Wang, Wei You, Bin Liang, Jianjun Huang, Wenchang Shi, Zhuo Zhang, Xiangyu Zhang:
Define-Use Guided Path Exploration for Better Forced Execution. ISSTA 2024: 287-299 - [c222]Timothy Fraser, Xuwei Liu, Qingkai Shi, Xiangyu Zhang, Mark Wutka, Daniel Balasubramanian, Hao Chen, Zhong Shao:
A NAND Use Case for Cybersecurity Experiments. SecDev 2024: 178-179 - [c221]Zhuo Zhang, Guangyu Shen, Guanhong Tao, Siyuan Cheng, Xiangyu Zhang:
On Large Language Models' Resilience to Coercive Interrogation. SP 2024: 826-844 - [c220]Siyuan Cheng, Guangyu Shen, Guanhong Tao, Kaiyuan Zhang, Zhuo Zhang, Shengwei An, Xiangzhe Xu, Yingqi Li, Shiqing Ma, Xiangyu Zhang:
OdScan: Backdoor Scanning for Object Detection Models. SP 2024: 1703-1721 - [c219]Guanhong Tao, Zhenting Wang, Shiwei Feng, Guangyu Shen, Shiqing Ma, Xiangyu Zhang:
Distribution Preserving Backdoor Attack in Self-supervised Learning. SP 2024: 2029-2047 - [c218]Kaiyuan Zhang, Siyuan Cheng, Guangyu Shen, Guanhong Tao, Shengwei An, Anuran Makur, Shiqing Ma, Xiangyu Zhang:
Exploring the Orthogonality and Linearity of Backdoor Attacks. SP 2024: 2105-2123 - [c217]Wuqi Zhang, Zhuo Zhang, Qingkai Shi, Lu Liu, Lili Wei, Yepang Liu, Xiangyu Zhang, Shing-Chi Cheung:
Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts. SP 2024: 2198-2216 - [c216]Shengwei An, Lu Yan, Siyuan Cheng, Guangyu Shen, Kaiyuan Zhang, Qiuling Xu, Guanhong Tao, Xiangyu Zhang:
Rethinking the Invisible Protection against Unauthorized Image Usage in Stable Diffusion. USENIX Security Symposium 2024 - [c215]Le Yu, Yapeng Ye, Zhuo Zhang, Xiangyu Zhang:
Cost-effective Attack Forensics by Recording and Correlating File System Changes. USENIX Security Symposium 2024 - [c214]Xiangyu Zhang:
Runtime Invariant Checking in Robotic Systems and Deep Learning Models (Keynote). VORTEX@ISSTA 2024: 2 - [i54]Guanhong Tao, Siyuan Cheng, Zhuo Zhang, Junmin Zhu, Guangyu Shen, Xiangyu Zhang:
Opening A Pandora's Box: Things You Should Know in the Era of Custom GPTs. CoRR abs/2401.00905 (2024) - [i53]Guangyu Shen, Siyuan Cheng, Kaiyuan Zhang, Guanhong Tao, Shengwei An, Lu Yan, Zhuo Zhang, Shiqing Ma, Xiangyu Zhang:
Rapid Optimization for Jailbreaking LLMs via Subconscious Exploitation and Echopraxia. CoRR abs/2402.05467 (2024) - [i52]Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang:
When Dataflow Analysis Meets Large Language Models. CoRR abs/2402.10754 (2024) - [i51]Zian Su, Xiangzhe Xu, Ziyang Huang, Zhuo Zhang, Yapeng Ye, Jianjun Huang, Xiangyu Zhang:
CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking. CoRR abs/2402.11842 (2024) - [i50]Siyuan Cheng, Guanhong Tao, Yingqi Liu, Guangyu Shen, Shengwei An, Shiwei Feng, Xiangzhe Xu, Kaiyuan Zhang, Shiqing Ma, Xiangyu Zhang:
LOTUS: Evasive and Resilient Backdoor Attacks through Sub-Partitioning. CoRR abs/2403.17188 (2024) - [i49]Zhiyuan Cheng, Zhaoyi Liu, Tengda Guo, Shiwei Feng, Dongfang Liu, Mingjie Tang, Xiangyu Zhang:
BadPart: Unified Black-box Adversarial Patch Attacks against Pixel-wise Regression Tasks. CoRR abs/2404.00924 (2024) - [i48]Chanwoo Bae, Guanhong Tao, Zhuo Zhang, Xiangyu Zhang:
Threat Behavior Textual Search by Attention Graph Isomorphism. CoRR abs/2404.10944 (2024) - [i47]Zian Su, Xiangzhe Xu, Ziyang Huang, Kaiyuan Zhang, Xiangyu Zhang:
Source Code Foundation Models are Transferable Binary Analysis Knowledge Bases. CoRR abs/2405.19581 (2024) - [i46]Tingxu Han, Weisong Sun, Ziqi Ding, Chunrong Fang, Hanwei Qian, Jiaxun Li, Zhenyu Chen, Xiangyu Zhang:
Mutual Information Guided Backdoor Mitigation for Pre-trained Encoders. CoRR abs/2406.03508 (2024) - [i45]Zhiyuan Cheng, Cheng Han, James Liang, Qifan Wang, Xiangyu Zhang, Dongfang Liu:
Self-supervised Adversarial Training of Monocular Depth Estimation against Physical-World Attacks. CoRR abs/2406.05857 (2024) - [i44]Xuan Chen, Yuzhou Nie, Wenbo Guo, Xiangyu Zhang:
When LLM Meets DRL: Advancing Jailbreaking Efficiency via DRL-guided Search. CoRR abs/2406.08705 (2024) - [i43]Xuan Chen, Yuzhou Nie, Lu Yan, Yunshu Mao, Wenbo Guo, Xiangyu Zhang:
RL-JACK: Reinforcement Learning-powered Black-box Jailbreaking Attack against LLMs. CoRR abs/2406.08725 (2024) - [i42]Siyuan Cheng, Guangyu Shen, Kaiyuan Zhang, Guanhong Tao, Shengwei An, Hanxi Guo, Shiqing Ma, Xiangyu Zhang:
UNIT: Backdoor Mitigation via Automated Neural Distribution Tightening. CoRR abs/2407.11372 (2024) - [i41]Hanxi Guo, Hao Wang, Tao Song, Tianhang Zheng, Yang Hua, Haibing Guan, Xiangyu Zhang:
Poisoning with A Pill: Circumventing Detection in Federated Learning. CoRR abs/2407.15389 (2024) - [i40]Shiwei Feng, Yapeng Ye, Qingkai Shi, Zhiyuan Cheng, Xiangzhe Xu, Siyuan Cheng, Hongjun Choi, Xiangyu Zhang:
ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation. CoRR abs/2409.07774 (2024) - [i39]Shiwei Feng, Xuan Chen, Zhiyuan Cheng, Zikang Xiong, Yifei Gao, Siyuan Cheng, Sayali Kate, Xiangyu Zhang:
DIGIMON: Diagnosis and Mitigation of Sampling Skew for Reinforcement Learning based Meta-Planner in Robot Navigation. CoRR abs/2409.10832 (2024) - 2023
- [j32]Mohannad Alhanahnah, Shiqing Ma, Ashish Gehani, Gabriela F. Ciocarlie, Vinod Yegneswaran, Somesh Jha, Xiangyu Zhang:
autoMPI: Automated Multiple Perspective Attack Investigation With Semantics Aware Execution Partitioning. IEEE Trans. Software Eng. 49(4): 2761-2775 (2023) - [c213]Weisong Sun, Yuchen Chen, Guanhong Tao, Chunrong Fang, Xiangyu Zhang, Quanjun Zhang, Bin Luo:
Backdooring Neural Code Search. ACL (1) 2023: 9692-9708 - [c212]Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang:
Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. CCS 2023: 1287-1301 - [c211]Shiwei Feng, Guanhong Tao, Siyuan Cheng, Guangyu Shen, Xiangzhe Xu, Yingqi Liu, Kaiyuan Zhang, Shiqing Ma, Xiangyu Zhang:
Detecting Backdoors in Pre-trained Encoders. CVPR 2023: 16352-16362 - [c210]Qiuling Xu, Guanhong Tao, Jean Honorio, Yingqi Liu, Shengwei An, Guangyu Shen, Siyuan Cheng, Xiangyu Zhang:
MEDIC: Remove Model Backdoors via Importance Driven Cloning. CVPR 2023: 20485-20494 - [c209]Kaiyuan Zhang, Guanhong Tao, Qiuling Xu, Siyuan Cheng, Shengwei An, Yingqi Liu, Shiwei Feng, Guangyu Shen, Pin-Yu Chen, Shiqing Ma, Xiangyu Zhang:
FLIP: A Provable Defense Framework for Backdoor Mitigation in Federated Learning. ICLR 2023 - [c208]Zhiyuan Cheng, James Liang, Guanhong Tao, Dongfang Liu, Xiangyu Zhang:
Adversarial Training of Self-supervised Monocular Depth Estimation against Physical-World Attacks. ICLR 2023 - [c207]I Luk Kim, Weihang Wang, Yonghwi Kwon, Xiangyu Zhang:
BFTDETECTOR: Automatic Detection of Business Flow Tampering for Digital Content Service. ICSE 2023: 448-459 - [c206]Nan Jiang, Thibaud Lutellier, Yiling Lou, Lin Tan, Dan Goldwasser, Xiangyu Zhang:
KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair. ICSE 2023: 1251-1263 - [c205]Xiangzhe Xu, Shiwei Feng, Yapeng Ye, Guangyu Shen, Zian Su, Siyuan Cheng, Guanhong Tao, Qingkai Shi, Zhuo Zhang, Xiangyu Zhang:
Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis. ISSTA 2023: 1106-1118 - [c204]Jingyao Zhou, Lei Xu, Gongzheng Lu, Weifeng Zhang, Xiangyu Zhang:
NodeRT: Detecting Races in Node.js Applications Practically. ISSTA 2023: 1332-1344 - [c203]Zhao Tian, Junjie Chen, Xiangyu Zhang:
On-the-fly Improving Performance of Deep Code Models via Input Denoising. ASE 2023: 560-572 - [c202]Siyuan Cheng, Guanhong Tao, Yingqi Liu, Shengwei An, Xiangzhe Xu, Shiwei Feng, Guangyu Shen, Kaiyuan Zhang, Qiuling Xu, Shiqing Ma, Xiangyu Zhang:
BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense. NDSS 2023 - [c201]Xuan Chen, Wenbo Guo, Guanhong Tao, Xiangyu Zhang, Dawn Song:
BIRD: Generalizable Backdoor Detection and Removal for Deep Reinforcement Learning. NeurIPS 2023 - [c200]Guangyu Shen, Siyuan Cheng, Guanhong Tao, Kaiyuan Zhang, Yingqi Liu, Shengwei An, Shiqing Ma, Xiangyu Zhang:
Django: Detecting Trojans in Object Detection Models via Gaussian Focus Calibration. NeurIPS 2023 - [c199]Lu Yan, Zhuo Zhang, Guanhong Tao, Kaiyuan Zhang, Xuan Chen, Guangyu Shen, Xiangyu Zhang:
ParaFuzz: An Interpretability-Driven Technique for Detecting Poisoned Samples in NLP. NeurIPS 2023 - [c198]Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, Xiangyu Zhang:
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. ESEC/SIGSOFT FSE 2023: 401-412 - [c197]Shengwei An, Yuan Yao, Qiuling Xu, Shiqing Ma, Guanhong Tao, Siyuan Cheng, Kaiyuan Zhang, Yingqi Liu, Guangyu Shen, Ian Kelk, Xiangyu Zhang:
ImU: Physical Impersonating Attack for Face Recognition System with Natural Style Changes. SP 2023: 899-916 - [c196]Yapeng Ye, Zhuo Zhang, Qingkai Shi, Yousra Aafer, Xiangyu Zhang:
D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling. SP 2023: 2391-2408 - [c195]Guanhong Tao, Shengwei An, Siyuan Cheng, Guangyu Shen, Xiangyu Zhang:
Hard-label Black-box Universal Adversarial Patch Attack. USENIX Security Symposium 2023: 697-714 - [c194]Zhuo Zhang, Zhiqiang Lin, Marcelo Morales, Xiangyu Zhang, Kaiyuan Zhang:
Your Exploit is Mine: Instantly Synthesizing Counterattack Smart Contract. USENIX Security Symposium 2023: 1757-1774 - [c193]Zhuo Zhang, Guanhong Tao, Guangyu Shen, Shengwei An, Qiuling Xu, Yingqi Liu, Yapeng Ye, Yaoxuan Wu, Xiangyu Zhang:
PELICAN: Exploiting Backdoors of Naturally Trained Deep Learning Models In Binary Code Analysis. USENIX Security Symposium 2023: 2365-2382 - [c192]Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang:
Extracting Protocol Format as State Machine via Controlled Static Loop Analysis. USENIX Security Symposium 2023: 7019-7036 - [i38]Siyuan Cheng, Guanhong Tao, Yingqi Liu, Shengwei An, Xiangzhe Xu, Shiwei Feng, Guangyu Shen, Kaiyuan Zhang, Qiuling Xu, Shiqing Ma, Xiangyu Zhang:
BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense. CoRR abs/2301.06241 (2023) - [i37]Zhiyuan Cheng, James Liang, Guanhong Tao, Dongfang Liu, Xiangyu Zhang:
Adversarial Training of Self-supervised Monocular Depth Estimation against Physical-World Attacks. CoRR abs/2301.13487 (2023) - [i36]Nan Jiang, Thibaud Lutellier, Yiling Lou, Lin Tan, Dan Goldwasser, Xiangyu Zhang:
KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair. CoRR abs/2302.01857 (2023) - [i35]Shiwei Feng, Guanhong Tao, Siyuan Cheng, Guangyu Shen, Xiangzhe Xu, Yingqi Liu, Kaiyuan Zhang, Shiqing Ma, Xiangyu Zhang:
Detecting Backdoors in Pre-trained Encoders. CoRR abs/2303.15180 (2023) - [i34]Zhiyuan Cheng, Hongjun Choi, James Liang, Shiwei Feng, Guanhong Tao, Dongfang Liu, Michael Zuzak, Xiangyu Zhang:
Fusion is Not Enough: Single-Modal Attacks to Compromise Fusion Models in Autonomous Driving. CoRR abs/2304.14614 (2023) - [i33]Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang:
Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. CoRR abs/2305.11781 (2023) - [i32]Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang:
Extracting Protocol Format as State Machine via Controlled Static Loop Analysis. CoRR abs/2305.13483 (2023) - [i31]Weisong Sun, Yuchen Chen, Guanhong Tao, Chunrong Fang, Xiangyu Zhang, Quanjun Zhang, Bin Luo:
Backdooring Neural Code Search. CoRR abs/2305.17506 (2023) - [i30]Xiangzhe Xu, Zhuo Zhang, Shiwei Feng, Yapeng Ye, Zian Su, Nan Jiang, Siyuan Cheng, Lin Tan, Xiangyu Zhang:
LmPa: Improving Decompilation by Synergy of Large Language Model and Program Analysis. CoRR abs/2306.02546 (2023) - [i29]Danning Xie, Byungwoo Yoo, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, Judy S. Lee:
Impact of Large Language Models on Generating Software Specifications. CoRR abs/2306.03324 (2023) - [i28]Lu Yan, Zhuo Zhang, Guanhong Tao, Kaiyuan Zhang, Xuan Chen, Guangyu Shen, Xiangyu Zhang:
ParaFuzz: An Interpretability-Driven Technique for Detecting Poisoned Samples in NLP. CoRR abs/2308.02122 (2023) - [i27]Qiuling Xu, Pannaga Shivaswamy, Xiangyu Zhang:
POSIT: Promotion of Semantic Item Tail via Adversarial Learning. CoRR abs/2308.03366 (2023) - [i26]Zhao Tian, Junjie Chen, Xiangyu Zhang:
On-the-fly Improving Performance of Deep Code Models via Input Denoising. CoRR abs/2308.09969 (2023) - [i25]Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, Xiangyu Zhang:
PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. CoRR abs/2308.15449 (2023) - [i24]Nan Jiang, Chengxiao Wang, Kevin Liu, Xiangzhe Xu, Lin Tan, Xiangyu Zhang:
Nova+: Generative Language Models for Binaries. CoRR abs/2311.13721 (2023) - [i23]Shengwei An, Sheng-Yen Chou, Kaiyuan Zhang, Qiuling Xu, Guanhong Tao, Guangyu Shen, Siyuan Cheng, Shiqing Ma, Pin-Yu Chen, Tsung-Yi Ho, Xiangyu Zhang:
Elijah: Eliminating Backdoors Injected in Diffusion Models via Distribution Shift. CoRR abs/2312.00050 (2023) - [i22]Zhuo Zhang, Guangyu Shen, Guanhong Tao, Siyuan Cheng, Xiangyu Zhang:
Make Them Spill the Beans! Coercive Knowledge Extraction from (Production) LLMs. CoRR abs/2312.04782 (2023) - 2022
- [j31]Qiang Zhang, Lei Xu, Xiangyu Zhang, Baowen Xu:
Quantifying the interpretation overhead of Python. Sci. Comput. Program. 215: 102759 (2022) - [j30]Liqi Yan, Siqi Ma, Qifan Wang, Yingjie Victor Chen, Xiangyu Zhang, Andreas E. Savakis, Dongfang Liu:
Video Captioning Using Global-Local Representation. IEEE Trans. Circuits Syst. Video Technol. 32(10): 6642-6656 (2022) - [j29]Derui Wang, Chaoran Li, Sheng Wen, Qing-Long Han, Surya Nepal, Xiangyu Zhang, Yang Xiang:
Daedalus: Breaking Nonmaximum Suppression in Object Detection via Adversarial Examples. IEEE Trans. Cybern. 52(8): 7427-7440 (2022) - [c191]Xiangzhe Xu, Hongyu Liu, Guanhong Tao, Zhou Xuan, Xiangyu Zhang:
Checkpointing and deterministic training for deep learning. CAIN 2022: 65-76 - [c190]Muslum Ozgur Ozmen, Xuansong Li, Andrew Chu, Z. Berkay Celik, Bardh Hoxha, Xiangyu Zhang:
Discovering IoT Physical Channel Vulnerabilities. CCS 2022: 2415-2428 - [c189]Guanhong Tao, Guangyu Shen, Yingqi Liu, Shengwei An, Qiuling Xu, Shiqing Ma, Pan Li, Xiangyu Zhang:
Better Trigger Inversion Optimization in Backdoor Scanning. CVPR 2022: 13358-13368 - [c188]Yingqi Liu, Guangyu Shen, Guanhong Tao, Zhenting Wang, Shiqing Ma, Xiangyu Zhang:
Complex Backdoor Detection by Symmetric Feature Differencing. CVPR 2022: 14983-14993 - [c187]Qiuling Xu, Guanhong Tao, Xiangyu Zhang:
Bounded Adversarial Attack on Deep Content Features. CVPR 2022: 15182-15191 - [c186]Zhiyuan Cheng, James Liang, Hongjun Choi, Guanhong Tao, Zhiwen Cao, Dongfang Liu, Xiangyu Zhang:
Physical Attack on Monocular Depth Estimation with Optimal Adversarial Patches. ECCV (38) 2022: 514-532 - [c185]Guangyu Shen, Yingqi Liu, Guanhong Tao, Qiuling Xu, Zhuo Zhang, Shengwei An, Shiqing Ma, Xiangyu Zhang:
Constrained Optimization with Dynamic Bound-scaling for Effective NLP Backdoor Defense. ICML 2022: 19879-19892 - [c184]Liqi Yan, Qifan Wang, Yiming Cui, Fuli Feng, Xiaojun Quan, Xiangyu Zhang, Dongfang Liu:
GL-RG: Global-Local Representation Granularity for Video Captioning. IJCAI 2022: 2769-2775 - [c183]Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Michael W. Godfrey:
DocTer: documentation-guided fuzzing for testing deep learning API functions. ISSTA 2022: 176-188 - [c182]Xuwei Liu, Wei You, Zhuo Zhang, Xiangyu Zhang:
TensileFuzz: facilitating seed input generation in fuzzing via string constraint solving. ISSTA 2022: 391-403 - [c181]Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang:
SA4U: Practical Static Analysis for Unit Type Error Detection. ASE 2022: 87:1-87:11 - [c180]Hongjun Choi, Zhiyuan Cheng, Xiangyu Zhang:
RVPLAYER: Robotic Vehicle Forensics by Replay with What-if Reasoning. NDSS 2022 - [c179]Guanhong Tao, Qiuling Xu, Yingqi Liu, Guangyu Shen, Shengwei An, Jingwei Xu, Xiangyu Zhang, Yuan Yao:
MIRROR: Model Inversion for Deep LearningNetwork with High Fidelity. NDSS 2022 - [c178]Guanhong Tao, Weisong Sun, Tingxu Han, Chunrong Fang, Xiangyu Zhang:
RULER: discriminative and iterative adversarial training for deep neural network fairness. ESEC/SIGSOFT FSE 2022: 1173-1184 - [c177]Guanhong Tao, Yingqi Liu, Guangyu Shen, Qiuling Xu, Shengwei An, Zhuo Zhang, Xiangyu Zhang:
Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Security. SP 2022: 1372-1389 - [c176]Yingqi Liu, Guangyu Shen, Guanhong Tao, Shengwei An, Shiqing Ma, Xiangyu Zhang:
Piccolo: Exposing Complex Backdoors in NLP Transformer Models. SP 2022: 2025-2042 - [c175]Fei Wang, Jianliang Wu, Yuhong Nan, Yousra Aafer, Xiangyu Zhang, Dongyan Xu, Mathias Payer:
ProFactory: Improving IoT Security via Formalized Protocol Customization. USENIX Security Symposium 2022: 3879-3896 - [i21]Guangyu Shen, Yingqi Liu, Guanhong Tao, Qiuling Xu, Zhuo Zhang, Shengwei An, Shiqing Ma, Xiangyu Zhang:
Constrained Optimization with Dynamic Bound-scaling for Effective NLPBackdoor Defense. CoRR abs/2202.05749 (2022) - [i20]Liqi Yan, Qifan Wang, Yiming Cui, Fuli Feng, Xiaojun Quan, Xiangyu Zhang, Dongfang Liu:
GL-RG: Global-Local Representation Granularity for Video Captioning. CoRR abs/2205.10706 (2022) - [i19]Guanhong Tao, Yingqi Liu, Siyuan Cheng, Shengwei An, Zhuo Zhang, Qiuling Xu, Guangyu Shen, Xiangyu Zhang:
DECK: Model Hardening for Defending Pervasive Backdoors. CoRR abs/2206.09272 (2022) - [i18]Zhiyuan Cheng, James Liang, Hongjun Choi, Guanhong Tao, Zhiwen Cao, Dongfang Liu, Xiangyu Zhang:
Physical Attack on Monocular Depth Estimation with Optimal Adversarial Patches. CoRR abs/2207.04718 (2022) - [i17]Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang:
SA4U: Practical Static Analysis for Unit Type Error Detection. CoRR abs/2210.09136 (2022) - [i16]Kaiyuan Zhang, Guanhong Tao, Qiuling Xu, Siyuan Cheng, Shengwei An, Yingqi Liu, Shiwei Feng, Guangyu Shen, Pin-Yu Chen, Shiqing Ma, Xiangyu Zhang:
FLIP: A Provable Defense Framework for Backdoor Mitigation in Federated Learning. CoRR abs/2210.12873 (2022) - [i15]Guanhong Tao, Zhenting Wang, Siyuan Cheng, Shiqing Ma, Shengwei An, Yingqi Liu, Guangyu Shen, Zhuo Zhang, Yunshu Mao, Xiangyu Zhang:
Backdoor Vulnerabilities in Normally Trained Deep Learning Models. CoRR abs/2211.15929 (2022) - 2021
- [j28]Yongqiang Tian, Shiqing Ma, Ming Wen, Yepang Liu, Shing-Chi Cheung, Xiangyu Zhang:
To what extent do DNN-based image classification models make unreliable inferences? Empir. Softw. Eng. 26(4): 84 (2021) - [j27]Hassaan Irshad, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Kyu Hyung Lee, Jignesh M. Patel, Somesh Jha, Yonghwi Kwon, Dongyan Xu, Xiangyu Zhang:
TRACE: Enterprise-Wide Provenance Tracking for Real-Time APT Detection. IEEE Trans. Inf. Forensics Secur. 16: 4363-4376 (2021) - [c174]Siyuan Cheng, Yingqi Liu, Shiqing Ma, Xiangyu Zhang:
Deep Feature Space Trojan Attack of Neural Networks by Controlled Detoxification. AAAI 2021: 1148-1156 - [c173]Qiuling Xu, Guanhong Tao, Siyuan Cheng, Xiangyu Zhang:
Towards Feature Space Adversarial Attack by Style Perturbation. AAAI 2021: 10523-10531 - [c172]Guangyu Shen, Yingqi Liu, Guanhong Tao, Shengwei An, Qiuling Xu, Siyuan Cheng, Shiqing Ma, Xiangyu Zhang:
Backdoor Scanning for Deep Neural Networks through K-Arm Optimization. ICML 2021: 9525-9536 - [c171]Xincheng He, Lei Xu, Xiangyu Zhang, Rui Hao, Yang Feng, Baowen Xu:
PyART: Python API Recommendation in Real-Time. ICSE (Companion Volume) 2021: 246-247 - [c170]Xincheng He, Lei Xu, Xiangyu Zhang, Rui Hao, Yang Feng, Baowen Xu:
PyART: Python API Recommendation in Real-Time. ICSE 2021: 1634-1645 - [c169]Yapeng Ye, Zhuo Zhang, Fei Wang, Xiangyu Zhang, Dongyan Xu:
NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces. NDSS 2021 - [c168]Le Yu, Shiqing Ma, Zhuo Zhang, Guanhong Tao, Xiangyu Zhang, Dongyan Xu, Vincent E. Urias, Han Wei Lin, Gabriela F. Ciocarlie, Vinod Yegneswaran, Ashish Gehani:
ALchemist: Fusing Application and Audit Logs for Precise Attack Provenance without Instrumentation. NDSS 2021 - [c167]Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, Sebastian G. Elbaum:
PHYSFRAME: type checking physical frames of reference for robotic systems. ESEC/SIGSOFT FSE 2021: 45-56 - [c166]Ming Yan, Junjie Chen, Xiangyu Zhang, Lin Tan, Gan Wang, Zan Wang:
Exposing numerical bugs in deep learning via gradient back-propagation. ESEC/SIGSOFT FSE 2021: 627-638 - [c165]Zhuo Zhang, Wei You, Guanhong Tao, Yousra Aafer, Xuwei Liu, Xiangyu Zhang:
StochFuzz: Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting. SP 2021: 659-676 - [c164]Zhuo Zhang, Yapeng Ye, Wei You, Guanhong Tao, Wen-Chuan Lee, Yonghwi Kwon, Yousra Aafer, Xiangyu Zhang:
OSPREY: Recovery of Variable and Data Structure via Probabilistic Analysis for Stripped Binary. SP 2021: 813-832 - [c163]Yousra Aafer, Wei You, Yi Sun, Yu Shi, Xiangyu Zhang, Heng Yin:
Android SmartTVs Vulnerability Discovery via Log-Guided Fuzzing. USENIX Security Symposium 2021: 2759-2776 - [c162]Abdulellah Alsaheel, Yuhong Nan, Shiqing Ma, Le Yu, Gregory Walkup, Z. Berkay Celik, Xiangyu Zhang, Dongyan Xu:
ATLAS: A Sequence-based Learning Approach for Attack Investigation. USENIX Security Symposium 2021: 3005-3022 - [e2]Cristian Cadar, Xiangyu Zhang:
ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. ACM 2021, ISBN 978-1-4503-8459-9 [contents] - [i14]Muslum Ozgur Ozmen, Xuansong Li, Andrew Chun-An Chu, Z. Berkay Celik, Bardh Hoxha, Xiangyu Zhang:
Discovering Physical Interaction Vulnerabilities in IoT Deployments. CoRR abs/2102.01812 (2021) - [i13]Xincheng He, Lei Xu, Xiangyu Zhang, Rui Hao, Yang Feng, Baowen Xu:
PyART: Python API Recommendation in Real-Time. CoRR abs/2102.04706 (2021) - [i12]Guangyu Shen, Yingqi Liu, Guanhong Tao, Shengwei An, Qiuling Xu, Siyuan Cheng, Shiqing Ma, Xiangyu Zhang:
Backdoor Scanning for Deep Neural Networks through K-Arm Optimization. CoRR abs/2102.05123 (2021) - [i11]Yingqi Liu, Guangyu Shen, Guanhong Tao, Zhenting Wang, Shiqing Ma, Xiangyu Zhang:
EX-RAY: Distinguishing Injected Backdoor from Natural Features in Neural Networks by Examining Differential Feature Symmetry. CoRR abs/2103.08820 (2021) - [i10]Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, Sebastian G. Elbaum:
PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems. CoRR abs/2106.11266 (2021) - [i9]Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Michael W. Godfrey:
Leveraging Documentation to Test Deep Learning Library Functions. CoRR abs/2109.01002 (2021) - 2020
- [j26]Junyu Lin, Lei Xu, Yingqi Liu, Xiangyu Zhang:
Black-box adversarial sample generation based on differential evolution. J. Syst. Softw. 170: 110767 (2020) - [j25]Hongyu Liu, Sam Silvestro, Xiangyu Zhang, Jian Huang, Tongping Liu:
WATCHER: in-situ failure diagnosis. Proc. ACM Program. Lang. 4(OOPSLA): 143:1-143:27 (2020) - [j24]Wei You, Bin Liang, Wenchang Shi, Peng Wang, Xiangyu Zhang:
TaintMan: An ART-Compatible Dynamic Taint Analysis Framework on Unmodified and Non-Rooted Android Devices. IEEE Trans. Dependable Secur. Comput. 17(1): 209-222 (2020) - [c161]Junyu Lin, Lei Xu, Yingqi Liu, Xiangyu Zhang:
Composite Backdoor Attack for Deep Neural Network by Mixing Existing Benign Features. CCS 2020: 113-131 - [c160]Hongjun Choi, Sayali Kate, Yousra Aafer, Xiangyu Zhang, Dongyan Xu:
Cyber-Physical Inconsistency Vulnerability Identification for Safety Checks in Robotic Vehicles. CCS 2020: 263-278 - [c159]Wanwangying Ma, Lin Chen, Xiangyu Zhang, Yang Feng, Zhaogui Xu, Zhifei Chen, Yuming Zhou, Baowen Xu:
Impact analysis of cross-project bugs on software ecosystems. ICSE 2020: 100-111 - [c158]I Luk Kim, Yunhui Zheng, Hogun Park, Weihang Wang, Wei You, Yousra Aafer, Xiangyu Zhang:
Finding client-side business flow tampering vulnerabilities. ICSE 2020: 222-233 - [c157]Hao Xia, Yuan Zhang, Yingtian Zhou, Xiaoting Chen, Yang Wang, Xiangyu Zhang, Shuaishuai Cui, Geng Hong, Xiaohan Zhang, Min Yang, Zhemin Yang:
How Android developers handle evolution-induced API compatibility issues: a large-scale study. ICSE 2020: 886-898 - [c156]Guanhong Tao, Shiqing Ma, Yingqi Liu, Qiuling Xu, Xiangyu Zhang:
TRADER: trace divergence analysis and embedding regulation for debugging recurrent neural networks. ICSE 2020: 986-998 - [c155]Juan Zhai, Xiangzhe Xu, Yu Shi, Guanhong Tao, Minxue Pan, Shiqing Ma, Lei Xu, Weifeng Zhang, Lin Tan, Xiangyu Zhang:
CPC: automatically classifying and propagating natural language comments via program analysis. ICSE 2020: 1359-1371 - [c154]Xuansong Li, Wei Song, Xiangyu Zhang:
Towards Programming and Verification for Activity-Oriented Smart Home Systems. ASE 2020: 1270-1272 - [c153]Runqing Yang, Shiqing Ma, Haitao Xu, Xiangyu Zhang, Yan Chen:
UIScope: Accurate, Instrumentation-free, and Visible Attack Investigation for GUI Applications. NDSS 2020 - [c152]Hongjun Choi, Sayali Kate, Yousra Aafer, Xiangyu Zhang, Dongyan Xu:
Software-based Realtime Recovery from Sensor Attacks on Robotic Vehicles. RAID 2020: 349-364 - [c151]Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, Shiqing Ma, Lin Tan, Xiangyu Zhang:
C2S: translating natural language comments to formal program specifications. ESEC/SIGSOFT FSE 2020: 25-37 - [c150]Shenao Yan, Guanhong Tao, Xuwei Liu, Juan Zhai, Shiqing Ma, Lei Xu, Xiangyu Zhang:
Correlations between deep neural network model coverage criteria and model quality. ESEC/SIGSOFT FSE 2020: 775-787 - [c149]Wei You, Zhuo Zhang, Yonghwi Kwon, Yousra Aafer, Fei Peng, Yu Shi, Carson Harmon, Xiangyu Zhang:
PMP: Cost-effective Forced Execution with Probabilistic Memory Pre-planning. SP 2020: 1121-1138 - [c148]Taegyu Kim, Chung Hwan Kim, Altay Ozen, Fan Fei, Zhan Tu, Xiangyu Zhang, Xinyan Deng, Dave (Jing) Tian, Dongyan Xu:
From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with MAYDAY. USENIX Security Symposium 2020: 913-930 - [i8]Qiuling Xu, Guanhong Tao, Siyuan Cheng, Lin Tan, Xiangyu Zhang:
Towards Feature Space Adversarial Attack. CoRR abs/2004.12385 (2020) - [i7]Qiuling Xu, Guanhong Tao, Xiangyu Zhang:
D-square-B: Deep Distribution Bound for Natural-looking Adversarial Attack. CoRR abs/2006.07258 (2020) - [i6]Junyu Lin, Lei Xu, Yingqi Liu, Xiangyu Zhang:
Black-box Adversarial Sample Generation Based on Differential Evolution. CoRR abs/2007.15310 (2020) - [i5]Prem Devanbu, Matthew B. Dwyer, Sebastian G. Elbaum, Michael Lowry, Kevin Moran, Denys Poshyvanyk, Baishakhi Ray, Rishabh Singh, Xiangyu Zhang:
Deep Learning & Software Engineering: State of Research and Future Directions. CoRR abs/2009.08525 (2020) - [i4]Siyuan Cheng, Yingqi Liu, Shiqing Ma, Xiangyu Zhang:
Deep Feature Space Trojan Attack of Neural Networks by Controlled Detoxification. CoRR abs/2012.11212 (2020)
2010 – 2019
- 2019
- [j23]Yang Zhang, Shicheng Dong, Xiangyu Zhang, Huan Liu, Dongwen Zhang:
Automated Refactoring for Stampedlock. IEEE Access 7: 104900-104911 (2019) - [j22]Zachary Benavides, Keval Vora, Rajiv Gupta, Xiangyu Zhang:
Annotation guided collection of context-sensitive parallel execution profiles. Formal Methods Syst. Des. 54(3): 388-415 (2019) - [j21]Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, Xiangyu Zhang:
BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation. Proc. ACM Program. Lang. 3(OOPSLA): 137:1-137:31 (2019) - [c147]Yingqi Liu, Wen-Chuan Lee, Guanhong Tao, Shiqing Ma, Yousra Aafer, Xiangyu Zhang:
ABS: Scanning Neural Networks for Back-doors by Artificial Brain Stimulation. CCS 2019: 1265-1282 - [c146]Wen-Chuan Lee, Yingqi Liu, Peng Liu, Shiqing Ma, Hongjun Choi, Xiangyu Zhang, Rajiv Gupta:
White-Box Program Tuning. CGO 2019: 122-135 - [c145]Wei You, Xuwei Liu, Shiqing Ma, David Mitchel Perry, Xiangyu Zhang, Bin Liang:
SLF: fuzzing without valid seed inputs. ICSE 2019: 712-723 - [c144]Kenneth A. Miller, Yonghwi Kwon, Yi Sun, Zhuo Zhang, Xiangyu Zhang, Zhiqiang Lin:
Probabilistic disassembly. ICSE 2019: 1187-1198 - [c143]Shiqing Ma, Yingqi Liu, Guanhong Tao, Wen-Chuan Lee, Xiangyu Zhang:
NIC: Detecting Adversarial Samples with Neural Network Invariant Checking. NDSS 2019 - [c142]Wen-Chuan Lee, Peng Liu, Yingqi Liu, Shiqing Ma, Xiangyu Zhang:
Programming support for autonomizing software. PLDI 2019: 702-716 - [c141]David Mitchel Perry, Dohyeong Kim, Roopsha Samanta, Xiangyu Zhang:
SemCluster: clustering of imperative programming assignments based on quantitative semantic features. PLDI 2019: 860-873 - [c140]Wei You, Xueqiang Wang, Shiqing Ma, Jianjun Huang, Xiangyu Zhang, XiaoFeng Wang, Bin Liang:
ProFuzzer: On-the-fly Input Type Probing for Better Zero-Day Vulnerability Discovery. IEEE Symposium on Security and Privacy 2019: 769-786 - [c139]Taegyu Kim, Chung Hwan Kim, Junghwan Rhee, Fan Fei, Zhan Tu, Gregory Walkup, Xiangyu Zhang, Xinyan Deng, Dongyan Xu:
RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing. USENIX Security Symposium 2019: 425-442 - [i3]Yongqiang Tian, Shiqing Ma, Ming Wen, Yepang Liu, Shing-Chi Cheung, Xiangyu Zhang:
Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations. CoRR abs/1909.03824 (2019) - 2018
- [j20]Zhongshu Gu, Brendan Saltaformaggio, Xiangyu Zhang, Dongyan Xu:
Gemini: Guest-transparent honey files via hypervisor-level access redirection. Comput. Secur. 77: 737-744 (2018) - [j19]Chang-Ai Sun, Yufeng Ran, Caiyun Zheng, Huai Liu, Dave Towey, Xiangyu Zhang:
Fault localisation for WS-BPEL programs based on predicate switching and program slicing. J. Syst. Softw. 135: 191-204 (2018) - [c138]Fei Wang, Yonghwi Kwon, Shiqing Ma, Xiangyu Zhang, Dongyan Xu:
Lprov: Practical Library-aware Provenance Tracing. ACSAC 2018: 605-617 - [c137]Hongjun Choi, Wen-Chuan Lee, Yousra Aafer, Fan Fei, Zhan Tu, Xiangyu Zhang, Dongyan Xu, Xinyan Deng:
Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach. CCS 2018: 801-816 - [c136]Yousra Aafer, Guanhong Tao, Jianjun Huang, Xiangyu Zhang, Ninghui Li:
Precise Android API Protection Mapping Derivation and Reasoning. CCS 2018: 1151-1164 - [c135]Chang-Ai Sun, Jingting Jia, Huai Liu, Xiangyu Zhang:
A Lightweight Program Dependence Based Approach to Concurrent Mutation Analysis. COMPSAC (1) 2018: 116-125 - [c134]Fan Fei, Zhan Tu, Ruikun Yu, Taegyu Kim, Xiangyu Zhang, Dongyan Xu, Xinyan Deng:
Cross-Layer Retrofitting of UAVs Against Cyber-Physical Attacks. ICRA 2018: 550-557 - [c133]Zhaogui Xu, Shiqing Ma, Xiangyu Zhang, Shuofei Zhu, Baowen Xu:
Debugging with intelligence via probabilistic inference. ICSE 2018: 1171-1181 - [c132]Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, Jianhua Zhao:
Dual-force: understanding WebView malware via cross-language forced execution. ASE 2018: 714-725 - [c131]Yousra Aafer, Jianjun Huang, Yi Sun, Xiangyu Zhang, Ninghui Li, Chen Tian:
AceDroid: Normalizing Diverse Android Access Control Checks for Inconsistency Detection. NDSS 2018 - [c130]Rohit Bhatia, Brendan Saltaformaggio, Seung Jei Yang, Aisha I. Ali-Gombe, Xiangyu Zhang, Dongyan Xu, Golden G. Richard III:
Tipped Off by Your Memory Allocator: Device-Wide User Activity Sequencing from Android Memory Images. NDSS 2018 - [c129]Chung Hwan Kim, Taegyu Kim, Hongjun Choi, Zhongshu Gu, Byoungyoung Lee, Xiangyu Zhang, Dongyan Xu:
Securing Real-Time Microcontroller Systems through Customized Memory View Switching. NDSS 2018 - [c128]Yonghwi Kwon, Fei Wang, Weihang Wang, Kyu Hyung Lee, Wen-Chuan Lee, Shiqing Ma, Xiangyu Zhang, Dongyan Xu, Somesh Jha, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran:
MCI : Modeling-based Causality Inference in Audit Logging for Attack Investigation. NDSS 2018 - [c127]Yingqi Liu, Shiqing Ma, Yousra Aafer, Wen-Chuan Lee, Juan Zhai, Weihang Wang, Xiangyu Zhang:
Trojaning Attack on Neural Networks. NDSS 2018 - [c126]Guanhong Tao, Shiqing Ma, Yingqi Liu, Xiangyu Zhang:
Attacks Meet Interpretability: Attribute-steered Detection of Adversarial Samples. NeurIPS 2018: 7728-7739 - [c125]Shiqing Ma, Yingqi Liu, Wen-Chuan Lee, Xiangyu Zhang, Ananth Grama:
MODE: automated neural network model debugging via state differential analysis and input selection. ESEC/SIGSOFT FSE 2018: 175-186 - [c124]Sayali Kate, John-Paul Ore, Xiangyu Zhang, Sebastian G. Elbaum, Zhaogui Xu:
Phys: probabilistic physical unit assignment and inconsistency detection. ESEC/SIGSOFT FSE 2018: 563-573 - [c123]Shiqing Ma, Juan Zhai, Yonghwi Kwon, Kyu Hyung Lee, Xiangyu Zhang, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Dongyan Xu, Somesh Jha:
Kernel-Supported Cost-Effective Audit Logging for Causality Tracking. USENIX ATC 2018: 241-254 - [c122]I Luk Kim, Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, Weijie Meng, Xiangyu Zhang:
AdBudgetKiller: Online Advertising Budget Draining Attack. WWW 2018: 297-307 - [i2]Guanhong Tao, Shiqing Ma, Yingqi Liu, Xiangyu Zhang:
Attacks Meet Interpretability: Attribute-steered Detection of Adversarial Samples. CoRR abs/1810.11580 (2018) - [i1]Zhan Tu, Fan Fei, Matthew Eagon, Xiangyu Zhang, Dongyan Xu, Xinyan Deng:
Redundancy-Free UAV Sensor Fault Isolation And Recovery. CoRR abs/1812.00063 (2018) - 2017
- [j18]Chang-Ai Sun, Lin Pan, Qiaoling Wang, Huai Liu, Xiangyu Zhang:
An Empirical Study on Mutation Testing of WS-BPEL Programs. Comput. J. 60(1): 143-158 (2017) - [j17]Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang:
Z3str2: an efficient solver for strings, regular expressions, and length constraints. Formal Methods Syst. Des. 50(2-3): 249-288 (2017) - [j16]Chonghua Wang, Zhiyu Hao, Lei Cui, Xiangyu Zhang, Xiaochun Yun:
Introspection-Based Memory Pruning for Live VM Migration. Int. J. Parallel Program. 45(6): 1298-1309 (2017) - [j15]Chang-Ai Sun, Feifei Xue, Huai Liu, Xiangyu Zhang:
A path-aware approach to mutant reduction in mutation testing. Inf. Softw. Technol. 81: 65-81 (2017) - [j14]Enyi Tang, Xiangyu Zhang, Norbert Th. Müller, Zhenyu Chen, Xuandong Li:
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing. IEEE Trans. Software Eng. 43(10): 975-994 (2017) - [c121]Taegyu Kim, Chung Hwan Kim, Hongjun Choi, Yonghwi Kwon, Brendan Saltaformaggio, Xiangyu Zhang, Dongyan Xu:
RevARM: A Platform-Agnostic ARM Binary Rewriter for Security Applications. ACSAC 2017: 412-424 - [c120]Haining Chen, Ninghui Li, William Enck, Yousra Aafer, Xiangyu Zhang:
Analysis of SEAndroid Policies: Combining MAC and DAC in Android. ACSAC 2017: 553-565 - [c119]Wanwangying Ma, Lin Chen, Xiangyu Zhang, Yuming Zhou, Baowen Xu:
How do developers fix cross-project correlated bugs?: a case study on the GitHub scientific python ecosystem. ICSE 2017: 381-392 - [c118]Peng Liu, Xiangyu Zhang, Marco Pistoia, Yunhui Zheng, Manoel Marques, Lingfei Zeng:
Automatic text input generation for mobile testing. ICSE 2017: 643-653 - [c117]David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar:
Accelerating array constraints in symbolic execution. ISSTA 2017: 68-78 - [c116]Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu:
CPR: cross platform binary code reuse via platform independent trace program. ISSTA 2017: 158-169 - [c115]Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, Patrick Eugster:
PAD: programming third-party web advertisement censorship. ASE 2017: 240-251 - [c114]Jianjun Huang, Yousra Aafer, David Mitchel Perry, Xiangyu Zhang, Chen Tian:
UI driven Android application reduction. ASE 2017: 286-296 - [c113]Yonghwi Kwon, Brendan Saltaformaggio, I Luk Kim, Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu:
Self Destructing Exploit Executions via Input Perturbation. NDSS 2017 - [c112]Zachary Benavides, Rajiv Gupta, Xiangyu Zhang:
Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles. RV 2017: 103-120 - [c111]Chonghua Wang, Shiqing Ma, Xiangyu Zhang, Junghwan Rhee, Xiaochun Yun, Zhiyu Hao:
A Hypervisor Level Provenance System to Reconstruct Attack Story Caused by Kernel Malware. SecureComm 2017: 778-792 - [c110]Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, Xiangyu Zhang:
LAMP: data provenance for graph based machine learning algorithms through derivative computation. ESEC/SIGSOFT FSE 2017: 786-797 - [c109]Shiqing Ma, Juan Zhai, Fei Wang, Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu:
MPI: Multiple Perspective Attack Investigation with Semantic Aware Execution Partitioning. USENIX Security Symposium 2017: 1111-1128 - [c108]Zhe Wang, Chenggang Wu, Jianjun Li, Yuanming Lai, Xiangyu Zhang, Wei-Chung Hsu, Yueqiang Cheng:
ReRanz: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks. VEE 2017: 143-156 - [c107]Kyungtae Kim, I Luk Kim, Chung Hwan Kim, Yonghwi Kwon, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu:
J-Force: Forced Execution on JavaScript. WWW 2017: 897-906 - 2016
- [c106]Kexin Pei, Zhongshu Gu, Brendan Saltaformaggio, Shiqing Ma, Fei Wang, Zhiwei Zhang, Luo Si, Xiangyu Zhang, Dongyan Xu:
HERCULE: attack story reconstruction via community discovery on correlated log graph. ACSAC 2016: 583-595 - [c105]Yonghwi Kwon, Dohyeong Kim, William N. Sumner, Kyungtae Kim, Brendan Saltaformaggio, Xiangyu Zhang, Dongyan Xu:
LDX: Causality Inference by Lightweight Dual Execution. ASPLOS 2016: 503-515 - [c104]Zachary Benavides, Rajiv Gupta, Xiangyu Zhang:
Parallel Execution Profiles. HPDC 2016: 215-218 - [c103]Juan Zhai, Jianjun Huang, Shiqing Ma, Xiangyu Zhang, Lin Tan, Jianhua Zhao, Feng Qin:
Automatic model generation from documentation for Java API functions. ICSE 2016: 380-391 - [c102]Wei You, Bin Liang, Wenchang Shi, Shuyang Zhu, Peng Wang, Sikefu Xie, Xiangyu Zhang:
Reference hijacking: patching, protecting and analyzing on unmodified and non-rooted android devices. ICSE 2016: 959-970 - [c101]Hao Sun, Xiangyu Zhang, Yunhui Zheng, Qingkai Zeng:
IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions. ICSE 2016: 1051-1062 - [c100]Peng Liu, Omer Tripp, Xiangyu Zhang:
IPA: improving predictive analysis with pointer analysis. ISSTA 2016: 59-69 - [c99]Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster:
ARROW: automated repair of races on client-side web pages. ISSTA 2016: 201-212 - [c98]Shiqing Ma, Xiangyu Zhang, Dongyan Xu:
ProTracer: Towards Practical Provenance Tracing by Alternating Between Logging and Tainting. NDSS 2016 - [c97]Dohyeong Kim, Yonghwi Kwon, Peng Liu, I Luk Kim, David Mitchel Perry, Xiangyu Zhang, Gustavo Rodriguez-Rivera:
Apex: automatic programming assignment error explanation. OOPSLA 2016: 311-327 - [c96]Zhaogui Xu, Peng Liu, Xiangyu Zhang, Baowen Xu:
Python predictive analysis for bug detection. SIGSOFT FSE 2016: 121-132 - [c95]Jianjun Huang, Xiangyu Zhang, Lin Tan:
Detecting sensitive data disclosure via bi-directional text correlation analysis. SIGSOFT FSE 2016: 169-180 - [c94]Weihang Wang, Yunhui Zheng, Xinyu Xing, Yonghwi Kwon, Xiangyu Zhang, Patrick Th. Eugster:
WebRanz: web page randomization for better advertisement delivery and web-bot prevention. SIGSOFT FSE 2016: 205-216 - [c93]Chung Hwan Kim, Junghwan Rhee, Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu:
PerfGuard: binary-centric application performance monitoring in production environments. SIGSOFT FSE 2016: 595-606 - [c92]Zhaogui Xu, Xiangyu Zhang, Lin Chen, Kexin Pei, Baowen Xu:
Python probabilistic type inference with natural language support. SIGSOFT FSE 2016: 607-618 - [c91]Brendan Saltaformaggio, Rohit Bhatia, Xiangyu Zhang, Dongyan Xu, Golden G. Richard III:
Screen after Previous Screens: Spatial-Temporal Recreation of Android App Displays from Memory Images. USENIX Security Symposium 2016: 1137-1151 - [c90]Brendan Saltaformaggio, Hongjun Choi, Kristen Johnson, Yonghwi Kwon, Qi Zhang, Xiangyu Zhang, Dongyan Xu, John Qian:
Eavesdropping on Fine-Grained User Activities Within Smartphone Apps Over Encrypted Network Traffic. WOOT 2016 - 2015
- [j13]Xiangyu Zhang, Dongmei Zhang, Yves Le Traon, Qing Wang, Lu Zhang:
Roundtable: Research Opportunities and Challenges for Emerging Software Systems. J. Comput. Sci. Technol. 30(5): 935-941 (2015) - [j12]Patrick Eugster, Vinaitheerthan Sundaram, Xiangyu Zhang:
Debugging the Internet of Things: The Case of Wireless Sensor Networks. IEEE Softw. 32(1): 38-49 (2015) - [c89]Shiqing Ma, Kyu Hyung Lee, Chung Hwan Kim, Junghwan Rhee, Xiangyu Zhang, Dongyan Xu:
Accurate, Low Cost and Instrumentation-Free Security Audit Logging for Windows. ACSAC 2015: 401-410 - [c88]Dohyeong Kim, Yonghwi Kwon, William N. Sumner, Xiangyu Zhang, Dongyan Xu:
Dual Execution for On the Fly Fine Grained Execution Comparison. ASPLOS 2015: 325-338 - [c87]Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang:
Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints. CAV (1) 2015: 235-254 - [c86]Zhui Deng, Brendan Saltaformaggio, Xiangyu Zhang, Dongyan Xu:
iRiS: Vetting Private API Abuse in iOS Applications. CCS 2015: 44-56 - [c85]Brendan Saltaformaggio, Rohit Bhatia, Zhongshu Gu, Xiangyu Zhang, Dongyan Xu:
GUITAR: Piecing Together Android App GUIs from Memory Images. CCS 2015: 120-132 - [c84]Brendan Saltaformaggio, Rohit Bhatia, Zhongshu Gu, Xiangyu Zhang, Dongyan Xu:
VCR: App-Agnostic Recovery of Photographic Evidence from Android Device Memory Images. CCS 2015: 146-157 - [c83]Hao Sun, Xiangyu Zhang, Chao Su, Qingkai Zeng:
Efficient Dynamic Tracking Technique for Detecting Integer-Overflow-to-Buffer-Overflow Vulnerability. AsiaCCS 2015: 483-494 - [c82]Wei You, Bin Liang, Jingzhe Li, Wenchang Shi, Xiangyu Zhang:
Android Implicit Information Flow Demystified. AsiaCCS 2015: 585-590 - [c81]Zhongshu Gu, Kexin Pei, Qifan Wang, Luo Si, Xiangyu Zhang, Dongyan Xu:
LEAPS: Detecting Camouflaged Attacks with Statistical Learning Guided by Program Analysis. DSN 2015: 57-68 - [c80]Yonghwi Kwon, Fei Peng, Dohyeong Kim, Kyungtae Kim, Xiangyu Zhang, Dongyan Xu, Vinod Yegneswaran, John Qian:
P2C: Understanding Output Data Files via On-the-Fly Transformation from Producer to Consumer Executions. NDSS 2015 - [c79]Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, Rajiv Gupta:
RAIVE: runtime assessment of floating-point instability by vectorization. OOPSLA 2015: 623-638 - [c78]Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng:
Light: replay via tightly bounded recording. PLDI 2015: 55-64 - [c77]Jianjun Huang, Zhichun Li, Xusheng Xiao, Zhenyu Wu, Kangjie Lu, Xiangyu Zhang, Guofei Jiang:
SUPOR: Precise and Scalable Sensitive User Input Detection for Android Apps. USENIX Security Symposium 2015: 977-992 - 2014
- [j11]Yueqi Li, Shing-Chi Cheung, Xiangyu Zhang, Yepang Liu:
Scaling Up Symbolic Analysis by Removing Z-Equivalent States. ACM Trans. Softw. Eng. Methodol. 23(4): 34:1-34:32 (2014) - [c76]Zhongshu Gu, Brendan Saltaformaggio, Xiangyu Zhang, Dongyan Xu:
FACE-CHANGE: Application-Driven Dynamic Kernel View Switching in a Virtual Machine. DSN 2014: 491-502 - [c75]Kyu Hyung Lee, Dohyeong Kim, Xiangyu Zhang:
Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores. ECOOP 2014: 232-256 - [c74]Jianjun Huang, Xiangyu Zhang, Lin Tan, Peng Wang, Bin Liang:
AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction. ICSE 2014: 1036-1046 - [c73]Dohyeong Kim, William N. Sumner, Xiangyu Zhang, Dongyan Xu, Hira Agrawal:
Reuse-oriented reverse engineering of functional components from x86 binaries. ICSE 2014: 1128-1139 - [c72]Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, Zebao Gao:
Virtual DOM coverage for effective testing of dynamic web applications. ISSTA 2014: 60-70 - [c71]Peng Liu, Omer Tripp, Xiangyu Zhang:
Flint: fixing linearizability violations. OOPSLA 2014: 543-560 - [c70]Kyu Hyung Lee, Dohyeong Kim, Xiangyu Zhang:
Infrastructure-free logging and replay of concurrent execution on multiple cores. PPoPP 2014: 371-372 - [c69]Chung Hwan Kim, Junghwan Rhee, Hui Zhang, Nipun Arora, Guofei Jiang, Xiangyu Zhang, Dongyan Xu:
IntroPerf: transparent context-sensitive multi-layer performance inference using system stack traces. SIGMETRICS 2014: 235-247 - [c68]Brendan Saltaformaggio, Zhongshu Gu, Xiangyu Zhang, Dongyan Xu:
DSCRETE: Automatic Rendering of Forensic Information from Memory Images via Application Logic Reuse. USENIX Security Symposium 2014: 255-269 - [c67]Fei Peng, Zhui Deng, Xiangyu Zhang, Dongyan Xu, Zhiqiang Lin, Zhendong Su:
X-Force: Force-Executing Binary Programs for Security Applications. USENIX Security Symposium 2014: 829-844 - 2013
- [j10]Vinaitheerthan Sundaram, Patrick Eugster, Xiangyu Zhang, Vamsidhar Addanki:
Diagnostic tracing for wireless sensor networks. ACM Trans. Sens. Networks 9(4): 38:1-38:41 (2013) - [c66]Zhui Deng, Xiangyu Zhang, Dongyan Xu:
SPIDER: stealthy binary program instrumentation and debugging via hardware virtualization. ACSAC 2013: 289-298 - [c65]Junyuan Zeng, Yangchun Fu, Kenneth A. Miller, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu:
Obfuscation resilient binary code reuse through trace-oriented programming. CCS 2013: 487-498 - [c64]Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu:
LogGC: garbage collecting audit log. CCS 2013: 1005-1016 - [c63]Zhongshu Gu, William N. Sumner, Zhui Deng, Xiangyu Zhang, Dongyan Xu:
DRIP: A framework for purifying trojaned kernel drivers. DSN 2013: 1-12 - [c62]Zhui Deng, Xiangyu Zhang, Dongyan Xu:
BISTRO: Binary Component Extraction and Embedding for Software Security Applications. ESORICS 2013: 200-218 - [c61]William N. Sumner, Xiangyu Zhang:
Comparative causality: explaining the differences between executions. ICSE 2013: 272-281 - [c60]Yunhui Zheng, Xiangyu Zhang:
Path sensitive static analysis of web applications for remote code execution vulnerability detection. ICSE 2013: 652-661 - [c59]Yonghwi Kwon, Xiangyu Zhang, Dongyan Xu:
PIEtrace: Platform independent executable trace. ASE 2013: 48-58 - [c58]William N. Sumner, Xiangyu Zhang:
Identifying execution points for dynamic analyses. ASE 2013: 81-91 - [c57]Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu:
High Accuracy Attack Provenance via Binary-based Execution Partition. NDSS 2013 - [c56]Tao Bao, Xiangyu Zhang:
On-the-fly detection of instability problems in floating-point program execution. OOPSLA 2013: 817-832 - [c55]Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh:
Z3-str: a z3-based string solver for web application analysis. ESEC/SIGSOFT FSE 2013: 114-124 - 2012
- [j9]Zhui Deng, Dongyan Xu, Xiangyu Zhang, Xuxian Jiang:
IntroLib: Efficient and transparent library call introspection for malware forensics. Digit. Investig. 9(Supplement): S13-S23 (2012) - [j8]Armand Navabi, Xiangyu Zhang, Suresh Jagannathan:
Dependence analysis for safe futures. Sci. Comput. Program. 77(6): 707-726 (2012) - [j7]William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang:
Precise Calling Context Encoding. IEEE Trans. Software Eng. 38(5): 1160-1177 (2012) - [c54]Rahul Potharaju, Andrew Newell, Cristina Nita-Rotaru, Xiangyu Zhang:
Plagiarizing Smartphone Applications: Attack Strategies and Defense Techniques. ESSoS 2012: 106-120 - [c53]Yunhui Zheng, Xiangyu Zhang:
Static detection of resource contention problems in server-side scripts. ICSE 2012: 584-594 - [c52]Zhiqiang Lin, Junghwan Rhee, Chao Wu, Xiangyu Zhang, Dongyan Xu:
Discovering Semantic Data of Interest from Un-mappable Memory with Confidence. NDSS 2012 - [c51]Tao Bao, Yunhui Zheng, Xiangyu Zhang:
White box sampling in uncertain data processing enabled by program analysis. OOPSLA 2012: 897-914 - [c50]Vinaitheerthan Sundaram, Patrick Eugster, Xiangyu Zhang:
Prius: generic hybrid trace compression for wireless sensor networks. SenSys 2012: 183-196 - [c49]Dawei Qi, William N. Sumner, Feng Qin, Mai Zheng, Xiangyu Zhang, Abhik Roychoudhury:
Modeling Software Execution Environment. WCRE 2012: 415-424 - 2011
- [c48]Kyu Hyung Lee, Nick Sumner, Xiangyu Zhang, Patrick Eugster:
Unified debugging of distributed systems with Recon. DSN 2011: 85-96 - [c47]William N. Sumner, Tao Bao, Xiangyu Zhang, Sunil Prabhakar:
Coalescing executions for fast uncertainty analysis. ICSE 2011: 581-590 - [c46]Vinaitheerthan Sundaram, Patrick Eugster, Xiangyu Zhang:
Demo abstract: Diagnostic tracing of wireless sensor networks with TinyTracer. IPSN 2011: 145-146 - [c45]William N. Sumner, Tao Bao, Xiangyu Zhang:
Selecting peers for execution comparison. ISSTA 2011: 309-319 - [c44]Zhiqiang Lin, Junghwan Rhee, Xiangyu Zhang, Dongyan Xu, Xuxian Jiang:
SigGraph: Brute Force Scanning of Kernel Data Structure Instances Using Graph-based Signatures. NDSS 2011 - [c43]Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan:
Accentuating the positive: atomicity inference and enforcement using correct executions. OOPSLA 2011: 19-34 - [c42]Kyu Hyung Lee, Yunhui Zheng, Nick Sumner, Xiangyu Zhang:
Toward generating reducible replay logs. PLDI 2011: 246-257 - [c41]Yunhui Zheng, Tao Bao, Xiangyu Zhang:
Statically locating web application bugs caused by asynchronous calls. WWW 2011: 805-814 - [e1]Leonardo Mariani, Xiangyu Zhang:
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), WODA 2011, Toronto, ON, Canada, July 18, 2011. ACM 2011, ISBN 978-1-4503-0811-3 [contents] - 2010
- [j6]Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu:
Reverse Engineering Input Syntactic Structure from Program Execution and Its Applications. IEEE Trans. Software Eng. 36(5): 688-703 (2010) - [c40]Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan:
Analyzing multicore dumps to facilitate concurrency bug reproduction. ASPLOS 2010: 155-166 - [c39]Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu:
Reuse-oriented camouflaging trojan: Vulnerability detection and attack construction. DSN 2010: 281-290 - [c38]William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang:
Precise calling context encoding. ICSE (1) 2010: 525-534 - [c37]Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu:
Strict control dependence and its effect on dynamic information flow analyses. ISSTA 2010: 13-24 - [c36]Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan:
Analyzing concurrency bugs using dual slicing. ISSTA 2010: 253-264 - [c35]Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu:
Automatic Reverse Engineering of Data Structures from Binary Execution. NDSS 2010 - [c34]Vinaitheerthan Sundaram, Patrick Th. Eugster, Xiangyu Zhang:
Efficient diagnostic tracing for wireless sensor networks. SenSys 2010: 169-182 - [c33]William N. Sumner, Xiangyu Zhang:
Memory indexing: canonicalizing addresses across executions. SIGSOFT FSE 2010: 217-226 - [c32]Bin Xin, Patrick Th. Eugster, Xiangyu Zhang, Jinlin Yang:
Lightweight Task Graph Inference for Distributed Applications. SRDS 2010: 100-110
2000 – 2009
- 2009
- [c31]Xiangyu Zhang, Armand Navabi, Suresh Jagannathan:
Alchemist: A Transparent Dependence Distance Profiling Infrastructure. CGO 2009: 47-58 - [c30]William N. Sumner, Xiangyu Zhang:
Algorithms for Automatically Computing the Causal Paths of Failures. FASE 2009: 355-369 - [c29]Bin Xin, Xiangyu Zhang:
Memory slicing. ISSTA 2009: 165-176 - [c28]Vinaitheerthan Sundaram, Patrick Eugster, Xiangyu Zhang:
Lightweight tracing for wireless sensor networks debugging. MidSens 2009: 13-18 - 2008
- [j5]Chao Liu, Xiangyu Zhang, Jiawei Han:
A Systematic Study of Failure Proximity. IEEE Trans. Software Eng. 34(6): 826-843 (2008) - [c27]Sriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Zhang:
Avoiding Program Failures Through Safe Execution Perturbations. COMPSAC 2008: 152-159 - [c26]Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu:
Convicting exploitable software vulnerabilities: An efficient input provenance based approach. DSN 2008: 247-256 - [c25]Rajiv Gupta, Neelam Gupta, Xiangyu Zhang, Dennis Jeffrey, Vijay Nagarajan, Sriraman Tallam, Chen Tian:
Scalable dynamic information flow tracking and its applications. IPDPS 2008: 1-5 - [c24]Zhiqiang Lin, Xuxian Jiang, Dongyan Xu, Xiangyu Zhang:
Automatic Protocol Format Reverse Engineering through Context-Aware Monitored Execution. NDSS 2008 - [c23]Bin Xin, William N. Sumner, Xiangyu Zhang:
Efficient program execution indexing. PLDI 2008: 238-248 - [c22]Armand Navabi, Xiangyu Zhang, Suresh Jagannathan:
Quasi-static scheduling for safe futures. PPoPP 2008: 23-32 - [c21]Zhiqiang Lin, Xiangyu Zhang:
Deriving input syntactic structure from execution. SIGSOFT FSE 2008: 83-93 - 2007
- [j4]Xiangyu Zhang, Neelam Gupta, Rajiv Gupta:
A study of effectiveness of dynamic slicing in locating real faults. Empir. Softw. Eng. 12(2): 143-160 (2007) - [j3]Xiangyu Zhang, Neelam Gupta, Rajiv Gupta:
Locating faulty code by multiple points slicing. Softw. Pract. Exp. 37(9): 935-961 (2007) - [c20]Vijayanand Nagarajan, Rajiv Gupta, Matias Madou, Xiangyu Zhang, Bjorn De Sutter:
Matching Control Flow of Program Versions. ICSM 2007: 84-93 - [c19]Chao Liu, Xiangyu Zhang, Yu Zhang, Jiawei Han, Bharat K. Bhargava:
Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach. ICSM 2007: 455-464 - [c18]Bin Xin, Xiangyu Zhang:
Efficient online detection of dynamic control dependence. ISSTA 2007: 185-195 - [c17]Sriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Zhang:
Enabling tracing Of long-running multithreaded programs via dynamic execution reduction. ISSTA 2007: 207-218 - [c16]Xiangyu Zhang, Sriraman Tallam, Neelam Gupta, Rajiv Gupta:
Towards locating execution omission errors. PLDI 2007: 415-424 - [c15]Mingwu Zhang, Xiangyu Zhang, Xiang Zhang, Sunil Prabhakar:
Tracing Lineage Beyond Relational Operators. VLDB 2007: 1116-1127 - [p1]Xiangyu Zhang, Neelam Gupta, Rajiv Gupta:
Whole Execution Traces and Their Use in Debugging. The Compiler Design Handbook, 2nd ed. 2007: 4 - 2006
- [b1]Xiangyu Zhang:
Fault Location via Precise Dynamic Slicing. University of Arizona, Tucson, USA, 2006 - [c14]Xiangyu Zhang, Neelam Gupta, Rajiv Gupta:
Locating faults through automated predicate switching. ICSE 2006: 272-281 - [c13]Xiangyu Zhang, Neelam Gupta, Rajiv Gupta:
Pruning dynamic slices with confidence. PLDI 2006: 169-180 - [c12]Xiangyu Zhang, Sriraman Tallam, Rajiv Gupta:
Dynamic slicing long running programs through execution fast forwarding. SIGSOFT FSE 2006: 81-91 - 2005
- [j2]Xiangyu Zhang, Rajiv Gupta:
Whole execution traces and their applications. ACM Trans. Archit. Code Optim. 2(3): 301-334 (2005) - [j1]Xiangyu Zhang, Rajiv Gupta, Youtao Zhang:
Cost and precision tradeoffs of dynamic data slicing algorithms. ACM Trans. Program. Lang. Syst. 27(4): 631-661 (2005) - [c11]Sriraman Tallam, Rajiv Gupta, Xiangyu Zhang:
Extended Whole Program Paths. IEEE PACT 2005: 17-26 - [c10]Xiangyu Zhang, Haifeng He, Neelam Gupta, Rajiv Gupta:
Experimental evaluation of using dynamic slices for fault location. AADEBUG 2005: 33-42 - [c9]Youtao Zhang, Lan Gao, Jun Yang, Xiangyu Zhang, Rajiv Gupta:
SENSS: Security Enhancement to Symmetric Shared Memory Multiprocessors. HPCA 2005: 352-362 - [c8]Neelam Gupta, Haifeng He, Xiangyu Zhang, Rajiv Gupta:
Locating faulty code using failure-inducing chops. ASE 2005: 263-272 - [c7]Xiangyu Zhang, Rajiv Gupta:
Matching execution histories of program versions. ESEC/SIGSOFT FSE 2005: 197-206 - 2004
- [c6]Sriraman Tallam, Xiangyu Zhang, Rajiv Gupta:
Extending Path Profiling across Loop Backedges and Procedure Boundaries. CGO 2004: 251-264 - [c5]Xiangyu Zhang, Rajiv Gupta, Youtao Zhang:
Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams. ICSE 2004: 502-511 - [c4]Xiangyu Zhang, Rajiv Gupta:
Whole Execution Traces. MICRO 2004: 105-116 - [c3]Xiangyu Zhang, Rajiv Gupta:
Cost effective dynamic program slicing. PLDI 2004: 94-106 - 2003
- [c2]Xiangyu Zhang, Rajiv Gupta:
Hiding Program Slices for Software Security. CGO 2003: 325-336 - [c1]Xiangyu Zhang, Rajiv Gupta, Youtao Zhang:
Precise Dynamic Slicing Algorithms. ICSE 2003: 319-329
Coauthor Index
Patrick Eugster
aka: Patrick Th. Eugster
aka: Patrick Th. Eugster
[c230] [c229] [c227] [c220] [c219] [c218] [i53] [i50] [i42] [j32] [c211] [c209] [c202] [c200] [c197] [i38] [i35] [i23] [c189] [c188] [c185] [c176] [i21] [i16] [i15] [j28] [c174] [c172] [c168] [c162] [i12] [i11] [c156] [c155] [c153] [c151] [c150] [i4] [c147] [c146] [c145] [c143] [c142] [c140] [i3] [c138] [c133] [c132] [c128] [c127] [c126] [c125] [c123] [i2] [c111] [c110] [c109] [c106] [c103] [c98] [c89]
William N. Sumner
aka: Nick Sumner
aka: Nick Sumner
[c230] [c229] [c228] [c227] [c226] [c221] [c220] [c219] [c218] [c216] [i54] [i53] [i50] [i48] [i42] [c213] [c211] [c210] [c209] [c208] [c205] [c202] [c201] [c200] [c199] [c198] [c197] [c195] [c193] [i38] [i37] [i35] [i34] [i31] [i28] [i25] [i23] [i22] [c191] [c189] [c188] [c187] [c186] [c185] [c179] [c178] [c177] [c176] [i21] [i19] [i18] [i16] [i15] [c173] [c172] [c168] [c165] [c164] [i12] [i11] [c156] [c155] [c150] [i8] [i7] [j21] [c147] [c143] [c136] [c126] [i2]
[c175] [j27] [c169] [c168] [c162] [c160] [c152] [c148] [c139] [j20] [c138] [c137] [c134] [c130] [c129] [c128] [c123] [i1] [c121] [c116] [c113] [c109] [c107] [c106] [c105] [c98] [c93] [c91] [c90] [c89] [c88] [c86] [c85] [c84] [c81] [c80] [c76] [c73] [c69] [c68] [c67] [c66] [c65] [c64] [c63] [c62] [c59] [c57] [j9] [c52] [c44] [j6] [c39] [c37] [c35] [c26] [c24]
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-11-11 21:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
