Xiangyu Zhang - RankMe

384 papers A* 155A 49B 8C 1Misc 2Journal 123Unranked 43

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Identifying Adversary Tactics and Techniques in Malware Binaries with an LLM Agent. CoRR Zhou Xuan, Xiangzhe Xu, Mingwei Zheng, Louis Zheng-Hua Tan, Jinyao Guo, Tiantai Zhang, Le Yu, Chengpeng Wang, Xiangyu Zhang
2026	A*	`conf`	Poisoning with a Pill: Circumventing Detection in Federated Learning. AAAI Hanxi Guo, Hao Wang, Tao Song, Tianhang Zheng, Yang Hua, Haibing Guan, Xiangyu Zhang
2026	J	`jnl`	SpecOps: A Fully Automated AI Agent Testing Framework in Real-World GUI Environments. CoRR Syed Yusuf Ahmed, Shiwei Feng, Chanwoo Bae, Calix Barrus, Xiangyu Zhang
2026	J	`jnl`	When the Specification Emerges: Benchmarking Faithfulness Loss in Long-Horizon Coding Agents. CoRR Lu Yan, Xuan Chen, Xiangyu Zhang
2026	J	`jnl`	Who Tests the Testers? Systematic Enumeration and Coverage Audit of LLM Agent Tool Call Safety. CoRR Xuan Chen, Lu Yan, Ruqi Zhang, Xiangyu Zhang
2025	—	`conf`	A Systematic Threat Modeling of LLM Applications. SIGSOFT FSE Companion Guanhong Tao, Siyuan Cheng, Zhuo Zhang, Junmin Zhu, Guangyu Shen, Wanjing Han, Mu Zhang, Xiangyu Zhang
2025	J	`jnl`	ASTRA: Autonomous Spatial-Temporal Red-teaming for AI Software Assistants. CoRR Xiangzhe Xu, Guangyu Shen, Zian Su, Siyuan Cheng, Hanxi Guo, Lu Yan, Xuan Chen, Jiasheng Jiang, Xiaolong Jin, Chengpeng Wang, Zhuo Zhang, Xiangyu Zhang
2025	A*	`conf`	An Empirical Study of Proxy Contracts at the Ethereum Ecosystem Scale. ICSE Mengya Zhang, Preksha Shukla, Wuqi Zhang, Zhuo Zhang, Pranav Agrawal, Zhiqiang Lin, Xiangyu Zhang, Xiaokuan Zhang
2025	J	`jnl`	An LLM Agent for Functional Bug Detection in Network Protocols. CoRR Mingwei Zheng, Chengpeng Wang, Xuwei Liu, Jinyao Guo, Shiwei Feng, Xiangyu Zhang
2025	A*	`conf`	BAIT: Large Language Model Backdoor Scanning by Inverting Attack Target. SP Guangyu Shen, Siyuan Cheng, Zhuo Zhang, Guanhong Tao, Kaiyuan Zhang, Hanxi Guo, Lu Yan, Xiaolong Jin, Shengwei An, Shiqing Ma, Xiangyu Zhang
2025	J	`jnl`	BugScope: Learn to Find Bugs Like Human. CoRR Jinyao Guo, Chengpeng Wang, Dominic Deluca, Jinjie Liu, Zhuo Zhang, Xiangyu Zhang
2025	A*	`conf`	CENSOR: Defense Against Gradient Inversion via Orthogonal Subspace Bayesian Sampling. NDSS Kaiyuan Zhang, Siyuan Cheng, Guangyu Shen, Bruno Ribeiro, Shengwei An, Pin-Yu Chen, Xiangyu Zhang, Ninghui Li
2025	J	`jnl`	CENSOR: Defense Against Gradient Inversion via Orthogonal Subspace Bayesian Sampling. CoRR Kaiyuan Zhang, Siyuan Cheng, Guangyu Shen, Bruno Ribeiro, Shengwei An, Pin-Yu Chen, Xiangyu Zhang, Ninghui Li
2025	A*	`conf`	CO-SPY: Combining Semantic and Pixel Features to Detect Synthetic Images by AI. CVPR Siyuan Cheng, Lingjuan Lyu, Zhenting Wang, Xiangyu Zhang, Vikash Sehwag
2025	J	`jnl`	CO-SPY: Combining Semantic and Pixel Features to Detect Synthetic Images by AI. CoRR Siyuan Cheng, Lingjuan Lyu, Zhenting Wang, Xiangyu Zhang, Vikash Sehwag
2025	J	`jnl`	CORE: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks. CoRR Danning Xie, Mingwei Zheng, Xuwei Liu, Jiannan Wang, Chengpeng Wang, Lin Tan, Xiangyu Zhang
2025	J	`jnl`	CodeMirage: A Multi-Lingual Benchmark for Detecting AI-Generated and Paraphrased Source Code from Production-Level LLMs. CoRR Hanxi Guo, Siyuan Cheng, Kaiyuan Zhang, Guangyu Shen, Xiangyu Zhang
2025	A	`conf`	EffiTune: Diagnosing and Mitigating Training Inefficiency for Parameter Tuner in Robot Navigation System. IROS Shiwei Feng, Xuan Chen, Zikang Xiong, Zhiyuan Cheng, Yifei Gao, Siyuan Cheng, Sayali Kate, Xiangyu Zhang
2025	—	`conf`	Exploiting the Shadows: Unveiling Privacy Leaks through Lower-Ranked Tokens in Large Language Models. ACL (1) Yuan Zhou, Zhuo Zhang, Xiangyu Zhang
2025	A*	`conf`	FairChecker: Detecting Fund-Stealing Bugs in DeFi Protocols via Fairness Validation. ICSE Yi Sun, Zhuo Zhang, Xiangyu Zhang
2025	A*	`conf`	Fixing Large Language Models' Specification Misunderstanding for Better Code Generation. ICSE Zhao Tian, Junjie Chen, Xiangyu Zhang
2025	J	`jnl`	From Poisoned to Aware: Fostering Backdoor Self-Awareness in LLMs. CoRR Guangyu Shen, Siyuan Cheng, Xiangzhe Xu, Yuan Zhou, Hanxi Guo, Zhuo Zhang, Xiangyu Zhang
2025	A	`conf`	How Effective are Large Language Models in Generating Software Specifications? SANER Danning Xie, Byoung-Joo Yoo, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, Judy S. Lee
2025	J	`jnl`	IntenTest: Stress Testing for Intent Integrity in API-Calling LLM Agents. CoRR Shiwei Feng, Xiangzhe Xu, Xuan Chen, Kaiyuan Zhang, Syed Yusuf Ahmed, Zian Su, Mingwei Zheng, Xiangyu Zhang
2025	J	`jnl`	LLM Agents Should Employ Security Principles. CoRR Kaiyuan Zhang, Zian Su, Pin-Yu Chen, Elisa Bertino, Xiangyu Zhang, Ninghui Li
2025	J	`jnl`	MGC: A Compiler Framework Exploiting Compositional Blindness in Aligned LLMs for Malware Generation. CoRR Lu Yan, Zhuo Zhang, Xiangzhe Xu, Shengwei An, Guangyu Shen, Zhou Xuan, Xuan Chen, Xiangyu Zhang
2025	J	`jnl`	Mutual Information Guided Backdoor Mitigation for Pre-Trained Encoders. IEEE Trans. Inf. Forensics Secur. Tingxu Han, Weisong Sun, Ziqi Ding, Chunrong Fang, Hanwei Qian, Jiaxun Li, Zhenyu Chen, Xiangyu Zhang
2025	A*	`conf`	Nova: Generative Language Models for Assembly Code with Hierarchical Attention and Contrastive Learning. ICLR Nan Jiang, Chengxiao Wang, Kevin Liu, Xiangzhe Xu, Lin Tan, Xiangyu Zhang, Petr Babkin
2025	J	`jnl`	PR2: Peephole Raw Pointer Rewriting with LLMs for Translating C to Safer Rust. CoRR Yifei Gao, Chengpeng Wang, Pengxiang Huang, Xuwei Liu, Mingwei Zheng, Xiangyu Zhang
2025	J	`jnl`	PackHunter: Recovering Missing Packages for C/C++ Projects. IEEE Trans. Software Eng. Rongxin Wu, Zhiling Huang, Zige Tian, Chengpeng Wang, Xiangyu Zhang
2025	J	`jnl`	Position: Intelligent Coding Systems Should Write Programs with Justifications. CoRR Xiangzhe Xu, Shiwei Feng, Zian Su, Chengpeng Wang, Xiangyu Zhang
2025	A*	`conf`	ProSec: Fortifying Code LLMs with Proactive Security Alignment. ICML Xiangzhe Xu, Zian Su, Jinyao Guo, Kaiyuan Zhang, Zhenting Wang, Xiangyu Zhang
2025	A*	`conf`	Profiler: Black-box AI-generated Text Origin Detection via Context-aware Inference Pattern Analysis. EMNLP Hanxi Guo, Siyuan Cheng, Xiaolong Jin, Zhuo Zhang, Guangyu Shen, Kaiyuan Zhang, Shengwei An, Guanhong Tao, Xiangyu Zhang
2025	A*	`conf`	RFCAudit: AI Agent for Auditing Protocol Implementations Against RFC Specifications. ASE Mingwei Zheng, Chengpeng Wang, Xuwei Liu, Jinyao Guo, Shiwei Feng, Xiangyu Zhang
2025	J	`jnl`	ROSCallBaX: Statically Detecting Inconsistencies in Callback Function Setup of Robotic Systems. Proc. ACM Softw. Eng. Sayali Kate, Yifei Gao, Shiwei Feng, Xiangyu Zhang
2025	A*	`conf`	RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing. ICML Jinyao Guo, Chengpeng Wang, Xiangzhe Xu, Zian Su, Xiangyu Zhang
2025	J	`jnl`	RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing. CoRR Jinyao Guo, Chengpeng Wang, Xiangzhe Xu, Zian Su, Xiangyu Zhang
2025	A*	`conf`	SOFT: Selective Data Obfuscation for Protecting LLM Fine-tuning against Membership Inference Attacks. USENIX Security Symposium Kaiyuan Zhang, Siyuan Cheng, Hanxi Guo, Yuetian Chen, Zian Su, Shengwei An, Yuntao Du, Charles Fleming, Ashish Kundu, Xiangyu Zhang, Ninghui Li
2025	J	`jnl`	SOFT: Selective Data Obfuscation for Protecting LLM Fine-tuning against Membership Inference Attacks. CoRR Kaiyuan Zhang, Siyuan Cheng, Hanxi Guo, Yuetian Chen, Zian Su, Shengwei An, Yuntao Du, Charles Fleming, Ashish Kundu, Xiangyu Zhang, Ninghui Li
2025	—	`conf`	System Prompt Hijacking via Permutation Triggers in LLM Supply Chains. ACL (Findings) Lu Yan, Siyuan Cheng, Xuan Chen, Kaiyuan Zhang, Guangyu Shen, Xiangyu Zhang
2025	J	`jnl`	Temporal Logic-Based Multi-Vehicle Backdoor Attacks against Offline RL Agents in End-to-end Autonomous Driving. CoRR Xuan Chen, Shiwei Feng, Zikang Xiong, Shengwei An, Yunshu Mao, Lu Yan, Guanhong Tao, Wenbo Guo, Xiangyu Zhang
2025	A*	`conf`	Unleashing the Power of Generative Model in Recovering Variable Names from Stripped Binary. NDSS Xiangzhe Xu, Zhuo Zhang, Zian Su, Ziyang Huang, Shiwei Feng, Yapeng Ye, Nan Jiang, Danning Xie, Siyuan Cheng, Lin Tan, Xiangyu Zhang
2025	J	`jnl`	VERA: Variational Inference Framework for Jailbreaking Large Language Models. CoRR Anamika Lochab, Lu Yan, Patrick Pynadath, Xiangyu Zhang, Ruqi Zhang
2025	J	`jnl`	Validating Network Protocol Parsers with Traceable RFC Document Interpretation. CoRR Mingwei Zheng, Danning Xie, Qingkai Shi, Chengpeng Wang, Xiangyu Zhang
2025	J	`jnl`	Validating Network Protocol Parsers with Traceable RFC Document Interpretation. Proc. ACM Softw. Eng. Mingwei Zheng, Danning Xie, Qingkai Shi, Chengpeng Wang, Xiangyu Zhang
2025	J	`jnl`	μKE: Matryoshka Unstructured Knowledge Editing of Large Language Models. CoRR Zian Su, Ziyang Huang, Kaiyuan Zhang, Xiangyu Zhang
2024	—	`conf`	A NAND Use Case for Cybersecurity Experiments. SecDev Timothy Fraser, Xuwei Liu, Qingkai Shi, Xiangyu Zhang, Mark Wutka, Daniel Balasubramanian, Hao Chen, Zhong Shao
2024	J	`jnl`	ASPIRER: Bypassing System Prompts With Permutation-based Backdoors in LLMs. CoRR Lu Yan, Siyuan Cheng, Xuan Chen, Kaiyuan Zhang, Guangyu Shen, Zhuo Zhang, Xiangyu Zhang
2024	A*	`conf`	BadPart: Unified Black-box Adversarial Patch Attacks against Pixel-wise Regression Tasks. ICML Zhiyuan Cheng, Zhaoyi Liu, Tengda Guo, Shiwei Feng, Dongfang Liu, Mingjie Tang, Xiangyu Zhang
2024	J	`jnl`	BadPart: Unified Black-box Adversarial Patch Attacks against Pixel-wise Regression Tasks. CoRR Zhiyuan Cheng, Zhaoyi Liu, Tengda Guo, Shiwei Feng, Dongfang Liu, Mingjie Tang, Xiangyu Zhang
2024	A*	`conf`	BiScope: AI-generated Text Detection by Checking Memorization of Preceding Tokens. NeurIPS Hanxi Guo, Siyuan Cheng, Xiaolong Jin, Zhuo Zhang, Kaiyuan Zhang, Guanhong Tao, Guangyu Shen, Xiangyu Zhang
2024	J	`jnl`	CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking. CoRR Zian Su, Xiangzhe Xu, Ziyang Huang, Zhuo Zhang, Yapeng Ye, Jianjun Huang, Xiangyu Zhang
2024	J	`jnl`	CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking. Proc. ACM Softw. Eng. Zian Su, Xiangzhe Xu, Ziyang Huang, Zhuo Zhang, Yapeng Ye, Jianjun Huang, Xiangyu Zhang
2024	A*	`conf`	Cost-effective Attack Forensics by Recording and Correlating File System Changes. USENIX Security Symposium Le Yu, Yapeng Ye, Zhuo Zhang, Xiangyu Zhang
2024	J	`jnl`	DFuzzer: Diversity-Driven Seed Queue Construction of Fuzzing for Deep Learning Models. IEEE Trans. Reliab. Hepeng Dai, Chang-Ai Sun, Huai Liu, Xiangyu Zhang
2024	J	`jnl`	DIGIMON: Diagnosis and Mitigation of Sampling Skew for Reinforcement Learning based Meta-Planner in Robot Navigation. CoRR Shiwei Feng, Xuan Chen, Zhiyuan Cheng, Zikang Xiong, Yifei Gao, Siyuan Cheng, Sayali Kate, Xiangyu Zhang
2024	A	`conf`	Define-Use Guided Path Exploration for Better Forced Execution. ISSTA Dongnan He, Dongchen Xie, Yujie Wang, Wei You, Bin Liang, Jianjun Huang, Wenchang Shi, Zhuo Zhang, Xiangyu Zhang
2024	A*	`conf`	Distribution Preserving Backdoor Attack in Self-supervised Learning. SP Guanhong Tao, Zhenting Wang, Shiwei Feng, Guangyu Shen, Shiqing Ma, Xiangyu Zhang
2024	A*	`conf`	Elijah: Eliminating Backdoors Injected in Diffusion Models via Distribution Shift. AAAI 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
2024	J	`jnl`	Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing. ACM Trans. Softw. Eng. Methodol. Xinmeng Xia, Yang Feng, Qingkai Shi, James A. Jones, Xiangyu Zhang, Baowen Xu
2024	A	`conf`	Exploring Inherent Backdoors in Deep Learning Models. ACSAC Guanhong Tao, Siyuan Cheng, Zhenting Wang, Shiqing Ma, Shengwei An, Yingqi Liu, Guangyu Shen, Zhuo Zhang, Yunshu Mao, Xiangyu Zhang
2024	A*	`conf`	Exploring the Orthogonality and Linearity of Backdoor Attacks. SP Kaiyuan Zhang, Siyuan Cheng, Guangyu Shen, Guanhong Tao, Shengwei An, Anuran Makur, Shiqing Ma, Xiangyu Zhang
2024	J	`jnl`	Fast and Precise Static Null Exception Analysis With Synergistic Preprocessing. IEEE Trans. Software Eng. Yi Sun, Chengpeng Wang, Gang Fan, Qingkai Shi, Xiangyu Zhang
2024	A*	`conf`	Fusion Is Not Enough: Single Modal Attacks on Fusion Models for 3D Object Detection. ICLR Zhiyuan Cheng, Hongjun Choi, Shiwei Feng, James Chenhao Liang, Guanhong Tao, Dongfang Liu, Michael Zuzak, Xiangyu Zhang
2024	A*	`conf`	FuzzInMem: Fuzzing Programs via In-memory Structures. ICSE Xuwei Liu, Wei You, Yapeng Ye, Zhuo Zhang, Jianjun Huang, Xiangyu Zhang
2024	A*	`conf`	LLMDFA: Analyzing Dataflow in Code with Large Language Models. NeurIPS Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang
2024	J	`jnl`	LLMSA: A Compositional Neuro-Symbolic Approach to Compilation-free and Customizable Static Analysis. CoRR Chengpeng Wang, Yifei Gao, Wuqi Zhang, Xuwei Liu, Qingkai Shi, Xiangyu Zhang
2024	J	`jnl`	LOTUS: Evasive and Resilient Backdoor Attacks through Sub-Partitioning. CoRR Siyuan Cheng, Guanhong Tao, Yingqi Liu, Guangyu Shen, Shengwei An, Shiwei Feng, Xiangzhe Xu, Kaiyuan Zhang, Shiqing Ma, Xiangyu Zhang
2024	A*	`conf`	Lotus: Evasive and Resilient Backdoor Attacks through Sub-Partitioning. CVPR Siyuan Cheng, Guanhong Tao, Yingqi Liu, Guangyu Shen, Shengwei An, Shiwei Feng, Xiangzhe Xu, Kaiyuan Zhang, Shiqing Ma, Xiangyu Zhang
2024	J	`jnl`	MULTIVERSE: Exposing Large Language Model Alignment Problems in Diverse Worlds. CoRR Xiaolong Jin, Zhuo Zhang, Xiangyu Zhang
2024	J	`jnl`	Mutual Information Guided Backdoor Mitigation for Pre-trained Encoders. CoRR Tingxu Han, Weisong Sun, Ziqi Ding, Chunrong Fang, Hanwei Qian, Jiaxun Li, Zhenyu Chen, Xiangyu Zhang
2024	A*	`conf`	Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts. SP Wuqi Zhang, Zhuo Zhang, Qingkai Shi, Lu Liu, Lili Wei, Yepang Liu, Xiangyu Zhang, Shing-Chi Cheung
2024	A*	`conf`	OdScan: Backdoor Scanning for Object Detection Models. SP Siyuan Cheng, Guangyu Shen, Guanhong Tao, Kaiyuan Zhang, Zhuo Zhang, Shengwei An, Xiangzhe Xu, Yingqi Li, Shiqing Ma, Xiangyu Zhang
2024	A*	`conf`	On Large Language Models' Resilience to Coercive Interrogation. SP Zhuo Zhang, Guangyu Shen, Guanhong Tao, Siyuan Cheng, Xiangyu Zhang
2024	J	`jnl`	Opening A Pandora's Box: Things You Should Know in the Era of Custom GPTs. CoRR Guanhong Tao, Siyuan Cheng, Zhuo Zhang, Junmin Zhu, Guangyu Shen, Xiangyu Zhang
2024	J	`jnl`	ParDiff: Practical Static Differential Analysis of Network Protocol Parsers. Proc. ACM Program. Lang. Mingwei Zheng, Qingkai Shi, Xuwei Liu, Xiangzhe Xu, Le Yu, Congyu Liu, Guannan Wei, Xiangyu Zhang
2024	J	`jnl`	Poisoning with A Pill: Circumventing Detection in Federated Learning. CoRR Hanxi Guo, Hao Wang, Tao Song, Tianhang Zheng, Yang Hua, Haibing Guan, Xiangyu Zhang
2024	J	`jnl`	ProSec: Fortifying Code LLMs with Proactive Security Alignment. CoRR Xiangzhe Xu, Zian Su, Jinyao Guo, Kaiyuan Zhang, Zhenting Wang, Xiangyu Zhang
2024	J	`jnl`	RL-JACK: Reinforcement Learning-powered Black-box Jailbreaking Attack against LLMs. CoRR Xuan Chen, Yuzhou Nie, Lu Yan, Yunshu Mao, Wenbo Guo, Xiangyu Zhang
2024	A*	`conf`	ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation. ASE Shiwei Feng, Yapeng Ye, Qingkai Shi, Zhiyuan Cheng, Xiangzhe Xu, Siyuan Cheng, Hongjun Choi, Xiangyu Zhang
2024	J	`jnl`	ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation. CoRR Shiwei Feng, Yapeng Ye, Qingkai Shi, Zhiyuan Cheng, Xiangzhe Xu, Siyuan Cheng, Hongjun Choi, Xiangyu Zhang
2024	J	`jnl`	Rapid Optimization for Jailbreaking LLMs via Subconscious Exploitation and Echopraxia. CoRR Guangyu Shen, Siyuan Cheng, Kaiyuan Zhang, Guanhong Tao, Shengwei An, Lu Yan, Zhuo Zhang, Shiqing Ma, Xiangyu Zhang
2024	A*	`conf`	ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries. CCS Danning Xie, Zhuo Zhang, Nan Jiang, Xiangzhe Xu, Lin Tan, Xiangyu Zhang
2024	A*	`conf`	Rethinking the Invisible Protection against Unauthorized Image Usage in Stable Diffusion. USENIX Security Symposium Shengwei An, Lu Yan, Siyuan Cheng, Guangyu Shen, Kaiyuan Zhang, Qiuling Xu, Guanhong Tao, Xiangyu Zhang
2024	—	`conf`	Runtime Invariant Checking in Robotic Systems and Deep Learning Models (Keynote). VORTEX@ISSTA Xiangyu Zhang
2024	—	`conf`	Sanitizing Large Language Models in Bug Detection with Data-Flow. EMNLP (Findings) Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiangyu Zhang
2024	J	`jnl`	Self-Supervised Adversarial Training of Monocular Depth Estimation Against Physical-World Attacks. IEEE Trans. Pattern Anal. Mach. Intell. Zhiyuan Cheng, Cheng Han, James Liang, Qifan Wang, Xiangyu Zhang, Dongfang Liu
2024	J	`jnl`	Self-supervised Adversarial Training of Monocular Depth Estimation against Physical-World Attacks. CoRR Zhiyuan Cheng, Cheng Han, James Liang, Qifan Wang, Xiangyu Zhang, Dongfang Liu
2024	A*	`conf`	Source Code Foundation Models are Transferable Binary Analysis Knowledge Bases. NeurIPS Zian Su, Xiangzhe Xu, Ziyang Huang, Kaiyuan Zhang, Xiangyu Zhang
2024	J	`jnl`	Source Code Foundation Models are Transferable Binary Analysis Knowledge Bases. CoRR Zian Su, Xiangzhe Xu, Ziyang Huang, Kaiyuan Zhang, Xiangyu Zhang
2024	—	`conf`	Threat Behavior Textual Search by Attention Graph Isomorphism. EACL (1) Chanwoo Bae, Guanhong Tao, Zhuo Zhang, Xiangyu Zhang
2024	J	`jnl`	Threat Behavior Textual Search by Attention Graph Isomorphism. CoRR Chanwoo Bae, Guanhong Tao, Zhuo Zhang, Xiangyu Zhang
2024	—	`conf`	UNIT: Backdoor Mitigation via Automated Neural Distribution Tightening. ECCV (62) Siyuan Cheng, Guangyu Shen, Kaiyuan Zhang, Guanhong Tao, Shengwei An, Hanxi Guo, Shiqing Ma, Xiangyu Zhang
2024	J	`jnl`	UNIT: Backdoor Mitigation via Automated Neural Distribution Tightening. CoRR Siyuan Cheng, Guangyu Shen, Kaiyuan Zhang, Guanhong Tao, Shengwei An, Hanxi Guo, Shiqing Ma, Xiangyu Zhang
2024	J	`jnl`	When Dataflow Analysis Meets Large Language Models. CoRR Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang
2024	A*	`conf`	When LLM Meets DRL: Advancing Jailbreaking Efficiency via DRL-guided Search. NeurIPS Xuan Chen, Yuzhou Nie, Wenbo Guo, Xiangyu Zhang
2024	J	`jnl`	When LLM Meets DRL: Advancing Jailbreaking Efficiency via DRL-guided Search. CoRR Xuan Chen, Yuzhou Nie, Wenbo Guo, Xiangyu Zhang
2023	A*	`conf`	Adversarial Training of Self-supervised Monocular Depth Estimation against Physical-World Attacks. ICLR Zhiyuan Cheng, James Liang, Guanhong Tao, Dongfang Liu, Xiangyu Zhang
2023	J	`jnl`	Adversarial Training of Self-supervised Monocular Depth Estimation against Physical-World Attacks. CoRR Zhiyuan Cheng, James Liang, Guanhong Tao, Dongfang Liu, Xiangyu Zhang
2023	A*	`conf`	BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense. NDSS Siyuan Cheng, Guanhong Tao, Yingqi Liu, Shengwei An, Xiangzhe Xu, Shiwei Feng, Guangyu Shen, Kaiyuan Zhang, Qiuling Xu, Shiqing Ma, Xiangyu Zhang
2023	J	`jnl`	BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense. CoRR Siyuan Cheng, Guanhong Tao, Yingqi Liu, Shengwei An, Xiangzhe Xu, Shiwei Feng, Guangyu Shen, Kaiyuan Zhang, Qiuling Xu, Shiqing Ma, Xiangyu Zhang
2023	A*	`conf`	BFTDETECTOR: Automatic Detection of Business Flow Tampering for Digital Content Service. ICSE I Luk Kim, Weihang Wang, Yonghwi Kwon, Xiangyu Zhang
2023	A*	`conf`	BIRD: Generalizable Backdoor Detection and Removal for Deep Reinforcement Learning. NeurIPS Xuan Chen, Wenbo Guo, Guanhong Tao, Xiangyu Zhang, Dawn Song
2023	—	`conf`	Backdooring Neural Code Search. ACL (1) Weisong Sun, Yuchen Chen, Guanhong Tao, Chunrong Fang, Xiangyu Zhang, Quanjun Zhang, Bin Luo
2023	J	`jnl`	Backdooring Neural Code Search. CoRR Weisong Sun, Yuchen Chen, Guanhong Tao, Chunrong Fang, Xiangyu Zhang, Quanjun Zhang, Bin Luo
2023	A*	`conf`	D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling. SP Yapeng Ye, Zhuo Zhang, Qingkai Shi, Yousra Aafer, Xiangyu Zhang
2023	A*	`conf`	Detecting Backdoors in Pre-trained Encoders. CVPR Shiwei Feng, Guanhong Tao, Siyuan Cheng, Guangyu Shen, Xiangzhe Xu, Yingqi Liu, Kaiyuan Zhang, Shiqing Ma, Xiangyu Zhang
2023	J	`jnl`	Detecting Backdoors in Pre-trained Encoders. CoRR Shiwei Feng, Guanhong Tao, Siyuan Cheng, Guangyu Shen, Xiangzhe Xu, Yingqi Liu, Kaiyuan Zhang, Shiqing Ma, Xiangyu Zhang
2023	A*	`conf`	Django: Detecting Trojans in Object Detection Models via Gaussian Focus Calibration. NeurIPS Guangyu Shen, Siyuan Cheng, Guanhong Tao, Kaiyuan Zhang, Yingqi Liu, Shengwei An, Shiqing Ma, Xiangyu Zhang
2023	J	`jnl`	Elijah: Eliminating Backdoors Injected in Diffusion Models via Distribution Shift. CoRR 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
2023	A*	`conf`	Extracting Protocol Format as State Machine via Controlled Static Loop Analysis. USENIX Security Symposium Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang
2023	J	`jnl`	Extracting Protocol Format as State Machine via Controlled Static Loop Analysis. CoRR Qingkai Shi, Xiangzhe Xu, Xiangyu Zhang
2023	A*	`conf`	FLIP: A Provable Defense Framework for Backdoor Mitigation in Federated Learning. ICLR Kaiyuan Zhang, Guanhong Tao, Qiuling Xu, Siyuan Cheng, Shengwei An, Yingqi Liu, Shiwei Feng, Guangyu Shen, Pin-Yu Chen, Shiqing Ma, Xiangyu Zhang
2023	J	`jnl`	Fusion is Not Enough: Single-Modal Attacks to Compromise Fusion Models in Autonomous Driving. CoRR Zhiyuan Cheng, Hongjun Choi, James Liang, Shiwei Feng, Guanhong Tao, Dongfang Liu, Michael Zuzak, Xiangyu Zhang
2023	A*	`conf`	Hard-label Black-box Universal Adversarial Patch Attack. USENIX Security Symposium Guanhong Tao, Shengwei An, Siyuan Cheng, Guangyu Shen, Xiangyu Zhang
2023	A*	`conf`	ImU: Physical Impersonating Attack for Face Recognition System with Natural Style Changes. SP Shengwei An, Yuan Yao, Qiuling Xu, Shiqing Ma, Guanhong Tao, Siyuan Cheng, Kaiyuan Zhang, Yingqi Liu, Guangyu Shen, Ian Kelk, Xiangyu Zhang
2023	J	`jnl`	Impact of Large Language Models on Generating Software Specifications. CoRR Danning Xie, Byungwoo Yoo, Nan Jiang, Mijung Kim, Lin Tan, Xiangyu Zhang, Judy S. Lee
2023	A	`conf`	Improving Binary Code Similarity Transformer Models by Semantics-Driven Instruction Deemphasis. ISSTA Xiangzhe Xu, Shiwei Feng, Yapeng Ye, Guangyu Shen, Zian Su, Siyuan Cheng, Guanhong Tao, Qingkai Shi, Zhuo Zhang, Xiangyu Zhang
2023	A*	`conf`	KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair. ICSE Nan Jiang, Thibaud Lutellier, Yiling Lou, Lin Tan, Dan Goldwasser, Xiangyu Zhang
2023	J	`jnl`	KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair. CoRR Nan Jiang, Thibaud Lutellier, Yiling Lou, Lin Tan, Dan Goldwasser, Xiangyu Zhang
2023	A*	`conf`	Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. CCS Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang
2023	J	`jnl`	Lifting Network Protocol Implementation to Precise Format Specification with Security Applications. CoRR Qingkai Shi, Junyang Shao, Yapeng Ye, Mingwei Zheng, Xiangyu Zhang
2023	J	`jnl`	LmPa: Improving Decompilation by Synergy of Large Language Model and Program Analysis. CoRR Xiangzhe Xu, Zhuo Zhang, Shiwei Feng, Yapeng Ye, Zian Su, Nan Jiang, Siyuan Cheng, Lin Tan, Xiangyu Zhang
2023	A*	`conf`	MEDIC: Remove Model Backdoors via Importance Driven Cloning. CVPR Qiuling Xu, Guanhong Tao, Jean Honorio, Yingqi Liu, Shengwei An, Guangyu Shen, Siyuan Cheng, Xiangyu Zhang
2023	J	`jnl`	Make Them Spill the Beans! Coercive Knowledge Extraction from (Production) LLMs. CoRR Zhuo Zhang, Guangyu Shen, Guanhong Tao, Siyuan Cheng, Xiangyu Zhang
2023	A	`conf`	NodeRT: Detecting Races in Node.js Applications Practically. ISSTA Jingyao Zhou, Lei Xu, Gongzheng Lu, Weifeng Zhang, Xiangyu Zhang
2023	J	`jnl`	Nova CoRR Nan Jiang, Chengxiao Wang, Kevin Liu, Xiangzhe Xu, Lin Tan, Xiangyu Zhang
2023	A*	`conf`	On-the-fly Improving Performance of Deep Code Models via Input Denoising. ASE Zhao Tian, Junjie Chen, Xiangyu Zhang
2023	J	`jnl`	On-the-fly Improving Performance of Deep Code Models via Input Denoising. CoRR Zhao Tian, Junjie Chen, Xiangyu Zhang
2023	A*	`conf`	PELICAN: Exploiting Backdoors of Naturally Trained Deep Learning Models In Binary Code Analysis. USENIX Security Symposium Zhuo Zhang, Guanhong Tao, Guangyu Shen, Shengwei An, Qiuling Xu, Yingqi Liu, Yapeng Ye, Yaoxuan Wu, Xiangyu Zhang
2023	—	`conf`	PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. ESEC/SIGSOFT FSE Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, Xiangyu Zhang
2023	J	`jnl`	PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model. CoRR Xiangzhe Xu, Zhou Xuan, Shiwei Feng, Siyuan Cheng, Yapeng Ye, Qingkai Shi, Guanhong Tao, Le Yu, Zhuo Zhang, Xiangyu Zhang
2023	J	`jnl`	POSIT: Promotion of Semantic Item Tail via Adversarial Learning. CoRR Qiuling Xu, Pannaga Shivaswamy, Xiangyu Zhang
2023	A*	`conf`	ParaFuzz: An Interpretability-Driven Technique for Detecting Poisoned Samples in NLP. NeurIPS Lu Yan, Zhuo Zhang, Guanhong Tao, Kaiyuan Zhang, Xuan Chen, Guangyu Shen, Xiangyu Zhang
2023	J	`jnl`	ParaFuzz: An Interpretability-Driven Technique for Detecting Poisoned Samples in NLP. CoRR Lu Yan, Zhuo Zhang, Guanhong Tao, Kaiyuan Zhang, Xuan Chen, Guangyu Shen, Xiangyu Zhang
2023	A*	`conf`	Your Exploit is Mine: Instantly Synthesizing Counterattack Smart Contract. USENIX Security Symposium Zhuo Zhang, Zhiqiang Lin, Marcelo Morales, Xiangyu Zhang, Kaiyuan Zhang
2023	J	`jnl`	autoMPI: Automated Multiple Perspective Attack Investigation With Semantics Aware Execution Partitioning. IEEE Trans. Software Eng. Mohannad Alhanahnah, Shiqing Ma, Ashish Gehani, Gabriela F. Ciocarlie, Vinod Yegneswaran, Somesh Jha, Xiangyu Zhang
2022	J	`jnl`	Backdoor Vulnerabilities in Normally Trained Deep Learning Models. CoRR Guanhong Tao, Zhenting Wang, Siyuan Cheng, Shiqing Ma, Shengwei An, Yingqi Liu, Guangyu Shen, Zhuo Zhang, Yunshu Mao, Xiangyu Zhang
2022	A*	`conf`	Better Trigger Inversion Optimization in Backdoor Scanning. CVPR Guanhong Tao, Guangyu Shen, Yingqi Liu, Shengwei An, Qiuling Xu, Shiqing Ma, Pan Li, Xiangyu Zhang
2022	A*	`conf`	Bounded Adversarial Attack on Deep Content Features. CVPR Qiuling Xu, Guanhong Tao, Xiangyu Zhang
2022	B	`conf`	Checkpointing and deterministic training for deep learning. CAIN Xiangzhe Xu, Hongyu Liu, Guanhong Tao, Zhou Xuan, Xiangyu Zhang
2022	A*	`conf`	Complex Backdoor Detection by Symmetric Feature Differencing. CVPR Yingqi Liu, Guangyu Shen, Guanhong Tao, Zhenting Wang, Shiqing Ma, Xiangyu Zhang
2022	A*	`conf`	Constrained Optimization with Dynamic Bound-scaling for Effective NLP Backdoor Defense. ICML Guangyu Shen, Yingqi Liu, Guanhong Tao, Qiuling Xu, Zhuo Zhang, Shengwei An, Shiqing Ma, Xiangyu Zhang
2022	J	`jnl`	Constrained Optimization with Dynamic Bound-scaling for Effective NLPBackdoor Defense. CoRR Guangyu Shen, Yingqi Liu, Guanhong Tao, Qiuling Xu, Zhuo Zhang, Shengwei An, Shiqing Ma, Xiangyu Zhang
2022	J	`jnl`	DECK: Model Hardening for Defending Pervasive Backdoors. CoRR Guanhong Tao, Yingqi Liu, Siyuan Cheng, Shengwei An, Zhuo Zhang, Qiuling Xu, Guangyu Shen, Xiangyu Zhang
2022	J	`jnl`	Daedalus: Breaking Nonmaximum Suppression in Object Detection via Adversarial Examples. IEEE Trans. Cybern. Derui Wang, Chaoran Li, Sheng Wen, Qing-Long Han, Surya Nepal, Xiangyu Zhang, Yang Xiang
2022	A*	`conf`	Discovering IoT Physical Channel Vulnerabilities. CCS Muslum Ozgur Ozmen, Xuansong Li, Andrew Chu, Z. Berkay Celik, Bardh Hoxha, Xiangyu Zhang
2022	A	`conf`	DocTer: documentation-guided fuzzing for testing deep learning API functions. ISSTA Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Michael W. Godfrey
2022	J	`jnl`	FLIP: A Provable Defense Framework for Backdoor Mitigation in Federated Learning. CoRR Kaiyuan Zhang, Guanhong Tao, Qiuling Xu, Siyuan Cheng, Shengwei An, Yingqi Liu, Shiwei Feng, Guangyu Shen, Pin-Yu Chen, Shiqing Ma, Xiangyu Zhang
2022	A*	`conf`	GL-RG: Global-Local Representation Granularity for Video Captioning. IJCAI Liqi Yan, Qifan Wang, Yiming Cui, Fuli Feng, Xiaojun Quan, Xiangyu Zhang, Dongfang Liu
2022	J	`jnl`	GL-RG: Global-Local Representation Granularity for Video Captioning. CoRR Liqi Yan, Qifan Wang, Yiming Cui, Fuli Feng, Xiaojun Quan, Xiangyu Zhang, Dongfang Liu
2022	A*	`conf`	MIRROR: Model Inversion for Deep LearningNetwork with High Fidelity. NDSS Guanhong Tao, Qiuling Xu, Yingqi Liu, Guangyu Shen, Shengwei An, Jingwei Xu, Xiangyu Zhang, Yuan Yao
2022	A*	`conf`	Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Security. SP Guanhong Tao, Yingqi Liu, Guangyu Shen, Qiuling Xu, Shengwei An, Zhuo Zhang, Xiangyu Zhang
2022	—	`conf`	Physical Attack on Monocular Depth Estimation with Optimal Adversarial Patches. ECCV (38) Zhiyuan Cheng, James Liang, Hongjun Choi, Guanhong Tao, Zhiwen Cao, Dongfang Liu, Xiangyu Zhang
2022	J	`jnl`	Physical Attack on Monocular Depth Estimation with Optimal Adversarial Patches. CoRR Zhiyuan Cheng, James Liang, Hongjun Choi, Guanhong Tao, Zhiwen Cao, Dongfang Liu, Xiangyu Zhang
2022	A*	`conf`	Piccolo: Exposing Complex Backdoors in NLP Transformer Models. SP Yingqi Liu, Guangyu Shen, Guanhong Tao, Shengwei An, Shiqing Ma, Xiangyu Zhang
2022	A*	`conf`	ProFactory: Improving IoT Security via Formalized Protocol Customization. USENIX Security Symposium Fei Wang, Jianliang Wu, Yuhong Nan, Yousra Aafer, Xiangyu Zhang, Dongyan Xu, Mathias Payer
2022	J	`jnl`	Quantifying the interpretation overhead of Python. Sci. Comput. Program. Qiang Zhang, Lei Xu, Xiangyu Zhang, Baowen Xu
2022	—	`conf`	RULER: discriminative and iterative adversarial training for deep neural network fairness. ESEC/SIGSOFT FSE Guanhong Tao, Weisong Sun, Tingxu Han, Chunrong Fang, Xiangyu Zhang
2022	A*	`conf`	RVPLAYER: Robotic Vehicle Forensics by Replay with What-if Reasoning. NDSS Hongjun Choi, Zhiyuan Cheng, Xiangyu Zhang
2022	A*	`conf`	SA4U: Practical Static Analysis for Unit Type Error Detection. ASE Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang
2022	J	`jnl`	SA4U: Practical Static Analysis for Unit Type Error Detection. CoRR Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang
2022	A	`conf`	TensileFuzz: facilitating seed input generation in fuzzing via string constraint solving. ISSTA Xuwei Liu, Wei You, Zhuo Zhang, Xiangyu Zhang
2022	J	`jnl`	Video Captioning Using Global-Local Representation. IEEE Trans. Circuits Syst. Video Technol. Liqi Yan, Siqi Ma, Qifan Wang, Yingjie Victor Chen, Xiangyu Zhang, Andreas E. Savakis, Dongfang Liu
2021	A*	`conf`	ALchemist: Fusing Application and Audit Logs for Precise Attack Provenance without Instrumentation. NDSS 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
2021	A*	`conf`	ATLAS: A Sequence-based Learning Approach for Attack Investigation. USENIX Security Symposium Abdulellah Alsaheel, Yuhong Nan, Shiqing Ma, Le Yu, Gregory Walkup, Z. Berkay Celik, Xiangyu Zhang, Dongyan Xu
2021	A*	`conf`	Android SmartTVs Vulnerability Discovery via Log-Guided Fuzzing. USENIX Security Symposium Yousra Aafer, Wei You, Yi Sun, Yu Shi, Xiangyu Zhang, Heng Yin
2021	A*	`conf`	Backdoor Scanning for Deep Neural Networks through K-Arm Optimization. ICML Guangyu Shen, Yingqi Liu, Guanhong Tao, Shengwei An, Qiuling Xu, Siyuan Cheng, Shiqing Ma, Xiangyu Zhang
2021	J	`jnl`	Backdoor Scanning for Deep Neural Networks through K-Arm Optimization. CoRR Guangyu Shen, Yingqi Liu, Guanhong Tao, Shengwei An, Qiuling Xu, Siyuan Cheng, Shiqing Ma, Xiangyu Zhang
2021	A*	`conf`	Deep Feature Space Trojan Attack of Neural Networks by Controlled Detoxification. AAAI Siyuan Cheng, Yingqi Liu, Shiqing Ma, Xiangyu Zhang
2021	J	`jnl`	Discovering Physical Interaction Vulnerabilities in IoT Deployments. CoRR Muslum Ozgur Ozmen, Xuansong Li, Andrew Chun-An Chu, Z. Berkay Celik, Bardh Hoxha, Xiangyu Zhang
2021	J	`jnl`	EX-RAY: Distinguishing Injected Backdoor from Natural Features in Neural Networks by Examining Differential Feature Symmetry. CoRR Yingqi Liu, Guangyu Shen, Guanhong Tao, Zhenting Wang, Shiqing Ma, Xiangyu Zhang
2021	—	`conf`	Exposing numerical bugs in deep learning via gradient back-propagation. ESEC/SIGSOFT FSE Ming Yan, Junjie Chen, Xiangyu Zhang, Lin Tan, Gan Wang, Zan Wang
2021	A	`ed.`	ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. ISSTA Cristian Cadar, Xiangyu Zhang
2021	J	`jnl`	Leveraging Documentation to Test Deep Learning Library Functions. CoRR Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, Michael W. Godfrey
2021	A*	`conf`	NetPlier: Probabilistic Network Protocol Reverse Engineering from Message Traces. NDSS Yapeng Ye, Zhuo Zhang, Fei Wang, Xiangyu Zhang, Dongyan Xu
2021	A*	`conf`	OSPREY: Recovery of Variable and Data Structure via Probabilistic Analysis for Stripped Binary. SP Zhuo Zhang, Yapeng Ye, Wei You, Guanhong Tao, Wen-Chuan Lee, Yonghwi Kwon, Yousra Aafer, Xiangyu Zhang
2021	J	`jnl`	PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems. CoRR Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, Sebastian G. Elbaum
2021	—	`conf`	PHYSFRAME: type checking physical frames of reference for robotic systems. ESEC/SIGSOFT FSE Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, Sebastian G. Elbaum
2021	A*	`conf`	PyART: Python API Recommendation in Real-Time. ICSE Xincheng He, Lei Xu, Xiangyu Zhang, Rui Hao, Yang Feng, Baowen Xu
2021	—	`conf`	PyART: Python API Recommendation in Real-Time. ICSE (Companion Volume) Xincheng He, Lei Xu, Xiangyu Zhang, Rui Hao, Yang Feng, Baowen Xu
2021	J	`jnl`	PyART: Python API Recommendation in Real-Time. CoRR Xincheng He, Lei Xu, Xiangyu Zhang, Rui Hao, Yang Feng, Baowen Xu
2021	A*	`conf`	StochFuzz: Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting. SP Zhuo Zhang, Wei You, Guanhong Tao, Yousra Aafer, Xuwei Liu, Xiangyu Zhang
2021	J	`jnl`	TRACE: Enterprise-Wide Provenance Tracking for Real-Time APT Detection. IEEE Trans. Inf. Forensics Secur. Hassaan Irshad, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Kyu Hyung Lee, Jignesh M. Patel, Somesh Jha, Yonghwi Kwon, Dongyan Xu, Xiangyu Zhang
2021	J	`jnl`	To what extent do DNN-based image classification models make unreliable inferences? Empir. Softw. Eng. Yongqiang Tian, Shiqing Ma, Ming Wen, Yepang Liu, Shing-Chi Cheung, Xiangyu Zhang
2021	A*	`conf`	Towards Feature Space Adversarial Attack by Style Perturbation. AAAI Qiuling Xu, Guanhong Tao, Siyuan Cheng, Xiangyu Zhang
2020	J	`jnl`	Black-box Adversarial Sample Generation Based on Differential Evolution. CoRR Junyu Lin, Lei Xu, Yingqi Liu, Xiangyu Zhang
2020	J	`jnl`	Black-box adversarial sample generation based on differential evolution. J. Syst. Softw. Junyu Lin, Lei Xu, Yingqi Liu, Xiangyu Zhang
2020	—	`conf`	C2S: translating natural language comments to formal program specifications. ESEC/SIGSOFT FSE Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, Shiqing Ma, Lin Tan, Xiangyu Zhang
2020	A*	`conf`	CPC: automatically classifying and propagating natural language comments via program analysis. ICSE Juan Zhai, Xiangzhe Xu, Yu Shi, Guanhong Tao, Minxue Pan, Shiqing Ma, Lei Xu, Weifeng Zhang, Lin Tan, Xiangyu Zhang
2020	A*	`conf`	Composite Backdoor Attack for Deep Neural Network by Mixing Existing Benign Features. CCS Junyu Lin, Lei Xu, Yingqi Liu, Xiangyu Zhang
2020	—	`conf`	Correlations between deep neural network model coverage criteria and model quality. ESEC/SIGSOFT FSE Shenao Yan, Guanhong Tao, Xuwei Liu, Juan Zhai, Shiqing Ma, Lei Xu, Xiangyu Zhang
2020	A*	`conf`	Cyber-Physical Inconsistency Vulnerability Identification for Safety Checks in Robotic Vehicles. CCS Hongjun Choi, Sayali Kate, Yousra Aafer, Xiangyu Zhang, Dongyan Xu
2020	J	`jnl`	D-square-B: Deep Distribution Bound for Natural-looking Adversarial Attack. CoRR Qiuling Xu, Guanhong Tao, Xiangyu Zhang
2020	J	`jnl`	Deep Feature Space Trojan Attack of Neural Networks by Controlled Detoxification. CoRR Siyuan Cheng, Yingqi Liu, Shiqing Ma, Xiangyu Zhang
2020	J	`jnl`	Deep Learning & Software Engineering: State of Research and Future Directions. CoRR Prem Devanbu, Matthew B. Dwyer, Sebastian G. Elbaum, Michael Lowry, Kevin Moran, Denys Poshyvanyk, Baishakhi Ray, Rishabh Singh, Xiangyu Zhang
2020	A*	`conf`	Finding client-side business flow tampering vulnerabilities. ICSE I Luk Kim, Yunhui Zheng, Hogun Park, Weihang Wang, Wei You, Yousra Aafer, Xiangyu Zhang
2020	A*	`conf`	From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with MAYDAY. USENIX Security Symposium Taegyu Kim, Chung Hwan Kim, Altay Ozen, Fan Fei, Zhan Tu, Xiangyu Zhang, Xinyan Deng, Dave (Jing) Tian, Dongyan Xu
2020	A*	`conf`	How Android developers handle evolution-induced API compatibility issues: a large-scale study. ICSE Hao Xia, Yuan Zhang, Yingtian Zhou, Xiaoting Chen, Yang Wang, Xiangyu Zhang, Shuaishuai Cui, Geng Hong, Xiaohan Zhang, Min Yang, Zhemin Yang
2020	A*	`conf`	Impact analysis of cross-project bugs on software ecosystems. ICSE Wanwangying Ma, Lin Chen, Xiangyu Zhang, Yang Feng, Zhaogui Xu, Zhifei Chen, Yuming Zhou, Baowen Xu
2020	A*	`conf`	PMP: Cost-effective Forced Execution with Probabilistic Memory Pre-planning. SP Wei You, Zhuo Zhang, Yonghwi Kwon, Yousra Aafer, Fei Peng, Yu Shi, Carson Harmon, Xiangyu Zhang
2020	A	`conf`	Software-based Realtime Recovery from Sensor Attacks on Robotic Vehicles. RAID Hongjun Choi, Sayali Kate, Yousra Aafer, Xiangyu Zhang, Dongyan Xu
2020	A*	`conf`	TRADER: trace divergence analysis and embedding regulation for debugging recurrent neural networks. ICSE Guanhong Tao, Shiqing Ma, Yingqi Liu, Qiuling Xu, Xiangyu Zhang
2020	J	`jnl`	TaintMan: An ART-Compatible Dynamic Taint Analysis Framework on Unmodified and Non-Rooted Android Devices. IEEE Trans. Dependable Secur. Comput. Wei You, Bin Liang, Wenchang Shi, Peng Wang, Xiangyu Zhang
2020	J	`jnl`	Towards Feature Space Adversarial Attack. CoRR Qiuling Xu, Guanhong Tao, Siyuan Cheng, Lin Tan, Xiangyu Zhang
2020	A*	`conf`	Towards Programming and Verification for Activity-Oriented Smart Home Systems. ASE Xuansong Li, Wei Song, Xiangyu Zhang
2020	A*	`conf`	UIScope: Accurate, Instrumentation-free, and Visible Attack Investigation for GUI Applications. NDSS Runqing Yang, Shiqing Ma, Haitao Xu, Xiangyu Zhang, Yan Chen
2020	J	`jnl`	WATCHER: in-situ failure diagnosis. Proc. ACM Program. Lang. Hongyu Liu, Sam Silvestro, Xiangyu Zhang, Jian Huang, Tongping Liu
2019	A*	`conf`	ABS: Scanning Neural Networks for Back-doors by Artificial Brain Stimulation. CCS Yingqi Liu, Wen-Chuan Lee, Guanhong Tao, Shiqing Ma, Yousra Aafer, Xiangyu Zhang
2019	J	`jnl`	Annotation guided collection of context-sensitive parallel execution profiles. Formal Methods Syst. Des. Zachary Benavides, Keval Vora, Rajiv Gupta, Xiangyu Zhang
2019	J	`jnl`	Automated Refactoring for Stampedlock. IEEE Access Yang Zhang, Shicheng Dong, Xiangyu Zhang, Huan Liu, Dongwen Zhang
2019	J	`jnl`	BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation. Proc. ACM Program. Lang. Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, Xiangyu Zhang
2019	A*	`conf`	NIC: Detecting Adversarial Samples with Neural Network Invariant Checking. NDSS Shiqing Ma, Yingqi Liu, Guanhong Tao, Wen-Chuan Lee, Xiangyu Zhang
2019	A*	`conf`	ProFuzzer: On-the-fly Input Type Probing for Better Zero-Day Vulnerability Discovery. IEEE Symposium on Security and Privacy Wei You, Xueqiang Wang, Shiqing Ma, Jianjun Huang, Xiangyu Zhang, Xiaofeng Wang, Bin Liang
2019	A*	`conf`	Probabilistic disassembly. ICSE Kenneth A. Miller, Yonghwi Kwon, Yi Sun, Zhuo Zhang, Xiangyu Zhang, Zhiqiang Lin
2019	A*	`conf`	Programming support for autonomizing software. PLDI Wen-Chuan Lee, Peng Liu, Yingqi Liu, Shiqing Ma, Xiangyu Zhang
2019	A*	`conf`	RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing. USENIX Security Symposium Taegyu Kim, Chung Hwan Kim, Junghwan Rhee, Fan Fei, Zhan Tu, Gregory Walkup, Xiangyu Zhang, Xinyan Deng, Dongyan Xu
2019	A*	`conf`	SLF: fuzzing without valid seed inputs. ICSE Wei You, Xuwei Liu, Shiqing Ma, David Mitchel Perry, Xiangyu Zhang, Bin Liang
2019	A*	`conf`	SemCluster: clustering of imperative programming assignments based on quantitative semantic features. PLDI David Mitchel Perry, Dohyeong Kim, Roopsha Samanta, Xiangyu Zhang
2019	J	`jnl`	Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations. CoRR Yongqiang Tian, Shiqing Ma, Ming Wen, Yepang Liu, Shing-Chi Cheung, Xiangyu Zhang
2019	A	`conf`	White-Box Program Tuning. CGO Wen-Chuan Lee, Yingqi Liu, Peng Liu, Shiqing Ma, Hongjun Choi, Xiangyu Zhang, Rajiv Gupta
2018	—	`conf`	A Lightweight Program Dependence Based Approach to Concurrent Mutation Analysis. COMPSAC (1) Chang-Ai Sun, Jingting Jia, Huai Liu, Xiangyu Zhang
2018	A*	`conf`	AceDroid: Normalizing Diverse Android Access Control Checks for Inconsistency Detection. NDSS Yousra Aafer, Jianjun Huang, Yi Sun, Xiangyu Zhang, Ninghui Li, Chen Tian
2018	A*	`conf`	AdBudgetKiller: Online Advertising Budget Draining Attack. WWW I Luk Kim, Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, Weijie Meng, Xiangyu Zhang
2018	A*	`conf`	Attacks Meet Interpretability: Attribute-steered Detection of Adversarial Samples. NeurIPS Guanhong Tao, Shiqing Ma, Yingqi Liu, Xiangyu Zhang
2018	J	`jnl`	Attacks Meet Interpretability: Attribute-steered Detection of Adversarial Samples. CoRR Guanhong Tao, Shiqing Ma, Yingqi Liu, Xiangyu Zhang
2018	A*	`conf`	Cross-Layer Retrofitting of UAVs Against Cyber-Physical Attacks. ICRA Fan Fei, Zhan Tu, Ruikun Yu, Taegyu Kim, Xiangyu Zhang, Dongyan Xu, Xinyan Deng
2018	A*	`conf`	Debugging with intelligence via probabilistic inference. ICSE Zhaogui Xu, Shiqing Ma, Xiangyu Zhang, Shuofei Zhu, Baowen Xu
2018	A*	`conf`	Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach. CCS Hongjun Choi, Wen-Chuan Lee, Yousra Aafer, Fan Fei, Zhan Tu, Xiangyu Zhang, Dongyan Xu, Xinyan Deng
2018	A*	`conf`	Dual-force: understanding WebView malware via cross-language forced execution. ASE Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, Jianhua Zhao
2018	J	`jnl`	Fault localisation for WS-BPEL programs based on predicate switching and program slicing. J. Syst. Softw. Chang-Ai Sun, Yufeng Ran, Caiyun Zheng, Huai Liu, Dave Towey, Xiangyu Zhang
2018	J	`jnl`	Gemini: Guest-transparent honey files via hypervisor-level access redirection. Comput. Secur. Zhongshu Gu, Brendan Saltaformaggio, Xiangyu Zhang, Dongyan Xu
2018	—	`conf`	Kernel-Supported Cost-Effective Audit Logging for Causality Tracking. USENIX ATC Shiqing Ma, Juan Zhai, Yonghwi Kwon, Kyu Hyung Lee, Xiangyu Zhang, Gabriela F. Ciocarlie, Ashish Gehani, Vinod Yegneswaran, Dongyan Xu, Somesh Jha
2018	A	`conf`	Lprov: Practical Library-aware Provenance Tracing. ACSAC Fei Wang, Yonghwi Kwon, Shiqing Ma, Xiangyu Zhang, Dongyan Xu
2018	A*	`conf`	MCI : Modeling-based Causality Inference in Audit Logging for Attack Investigation. NDSS 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
2018	—	`conf`	MODE: automated neural network model debugging via state differential analysis and input selection. ESEC/SIGSOFT FSE Shiqing Ma, Yingqi Liu, Wen-Chuan Lee, Xiangyu Zhang, Ananth Grama
2018	—	`conf`	Phys: probabilistic physical unit assignment and inconsistency detection. ESEC/SIGSOFT FSE Sayali Kate, John-Paul Ore, Xiangyu Zhang, Sebastian G. Elbaum, Zhaogui Xu
2018	A*	`conf`	Precise Android API Protection Mapping Derivation and Reasoning. CCS Yousra Aafer, Guanhong Tao, Jianjun Huang, Xiangyu Zhang, Ninghui Li
2018	J	`jnl`	Redundancy-Free UAV Sensor Fault Isolation And Recovery. CoRR Zhan Tu, Fan Fei, Matthew Eagon, Xiangyu Zhang, Dongyan Xu, Xinyan Deng
2018	A*	`conf`	Securing Real-Time Microcontroller Systems through Customized Memory View Switching. NDSS Chung Hwan Kim, Taegyu Kim, Hongjun Choi, Zhongshu Gu, Byoungyoung Lee, Xiangyu Zhang, Dongyan Xu
2018	A*	`conf`	Tipped Off by Your Memory Allocator: Device-Wide User Activity Sequencing from Android Memory Images. NDSS Rohit Bhatia, Brendan Saltaformaggio, Seung Jei Yang, Aisha I. Ali-Gombe, Xiangyu Zhang, Dongyan Xu, Golden G. Richard III
2018	A*	`conf`	Trojaning Attack on Neural Networks. NDSS Yingqi Liu, Shiqing Ma, Yousra Aafer, Wen-Chuan Lee, Juan Zhai, Weihang Wang, Xiangyu Zhang
2017	C	`conf`	A Hypervisor Level Provenance System to Reconstruct Attack Story Caused by Kernel Malware. SecureComm Chonghua Wang, Shiqing Ma, Xiangyu Zhang, Junghwan Rhee, Xiaochun Yun, Zhiyu Hao
2017	J	`jnl`	A path-aware approach to mutant reduction in mutation testing. Inf. Softw. Technol. Chang-Ai Sun, Feifei Xue, Huai Liu, Xiangyu Zhang
2017	A	`conf`	Accelerating array constraints in symbolic execution. ISSTA David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar
2017	J	`jnl`	An Empirical Study on Mutation Testing of WS-BPEL Programs. Comput. J. Chang-Ai Sun, Lin Pan, Qiaoling Wang, Huai Liu, Xiangyu Zhang
2017	A	`conf`	Analysis of SEAndroid Policies: Combining MAC and DAC in Android. ACSAC Haining Chen, Ninghui Li, William Enck, Yousra Aafer, Xiangyu Zhang
2017	B	`conf`	Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles. RV Zachary Benavides, Rajiv Gupta, Xiangyu Zhang
2017	A*	`conf`	Automatic text input generation for mobile testing. ICSE Peng Liu, Xiangyu Zhang, Marco Pistoia, Yunhui Zheng, Manoel Marques, Lingfei Zeng
2017	A	`conf`	CPR: cross platform binary code reuse via platform independent trace program. ISSTA Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu
2017	A*	`conf`	How do developers fix cross-project correlated bugs?: a case study on the GitHub scientific python ecosystem. ICSE Wanwangying Ma, Lin Chen, Xiangyu Zhang, Yuming Zhou, Baowen Xu
2017	J	`jnl`	Introspection-Based Memory Pruning for Live VM Migration. Int. J. Parallel Program. Chonghua Wang, Zhiyu Hao, Lei Cui, Xiangyu Zhang, Xiaochun Yun
2017	A*	`conf`	J-Force: Forced Execution on JavaScript. WWW Kyungtae Kim, I Luk Kim, Chung Hwan Kim, Yonghwi Kwon, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu
2017	—	`conf`	LAMP: data provenance for graph based machine learning algorithms through derivative computation. ESEC/SIGSOFT FSE Shiqing Ma, Yousra Aafer, Zhaogui Xu, Wen-Chuan Lee, Juan Zhai, Yingqi Liu, Xiangyu Zhang
2017	A*	`conf`	MPI: Multiple Perspective Attack Investigation with Semantic Aware Execution Partitioning. USENIX Security Symposium Shiqing Ma, Juan Zhai, Fei Wang, Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu
2017	A*	`conf`	PAD: programming third-party web advertisement censorship. ASE Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, Patrick Eugster
2017	B	`conf`	ReRanz: A Light-Weight Virtual Machine to Mitigate Memory Disclosure Attacks. VEE Zhe Wang, Chenggang Wu, Jianjun Li, Yuanming Lai, Xiangyu Zhang, Wei-Chung Hsu, Yueqiang Cheng
2017	A	`conf`	RevARM: A Platform-Agnostic ARM Binary Rewriter for Security Applications. ACSAC Taegyu Kim, Chung Hwan Kim, Hongjun Choi, Yonghwi Kwon, Brendan Saltaformaggio, Xiangyu Zhang, Dongyan Xu
2017	A*	`conf`	Self Destructing Exploit Executions via Input Perturbation. NDSS Yonghwi Kwon, Brendan Saltaformaggio, I Luk Kim, Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu
2017	J	`jnl`	Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing. IEEE Trans. Software Eng. Enyi Tang, Xiangyu Zhang, Norbert Th. Müller, Zhenyu Chen, Xuandong Li
2017	A*	`conf`	UI driven Android application reduction. ASE Jianjun Huang, Yousra Aafer, David Mitchel Perry, Xiangyu Zhang, Chen Tian
2017	J	`jnl`	Z3str2: an efficient solver for strings, regular expressions, and length constraints. Formal Methods Syst. Des. Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang
2016	A	`conf`	ARROW: automated repair of races on client-side web pages. ISSTA Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster
2016	A	`conf`	Apex: automatic programming assignment error explanation. OOPSLA Dohyeong Kim, Yonghwi Kwon, Peng Liu, I Luk Kim, David Mitchel Perry, Xiangyu Zhang, Gustavo Rodriguez-Rivera
2016	A*	`conf`	Automatic model generation from documentation for Java API functions. ICSE Juan Zhai, Jianjun Huang, Shiqing Ma, Xiangyu Zhang, Lin Tan, Jianhua Zhao, Feng Qin
2016	—	`conf`	Detecting sensitive data disclosure via bi-directional text correlation analysis. SIGSOFT FSE Jianjun Huang, Xiangyu Zhang, Lin Tan
2016	—	`conf`	Eavesdropping on Fine-Grained User Activities Within Smartphone Apps Over Encrypted Network Traffic. WOOT Brendan Saltaformaggio, Hongjun Choi, Kristen Johnson, Yonghwi Kwon, Qi Zhang, Xiangyu Zhang, Dongyan Xu, John Qian
2016	A	`conf`	HERCULE: attack story reconstruction via community discovery on correlated log graph. ACSAC Kexin Pei, Zhongshu Gu, Brendan Saltaformaggio, Shiqing Ma, Fei Wang, Zhiwei Zhang, Luo Si, Xiangyu Zhang, Dongyan Xu
2016	A	`conf`	IPA: improving predictive analysis with pointer analysis. ISSTA Peng Liu, Omer Tripp, Xiangyu Zhang
2016	A*	`conf`	IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions. ICSE Hao Sun, Xiangyu Zhang, Yunhui Zheng, Qingkai Zeng
2016	A*	`conf`	LDX: Causality Inference by Lightweight Dual Execution. ASPLOS Yonghwi Kwon, Dohyeong Kim, William N. Sumner, Kyungtae Kim, Brendan Saltaformaggio, Xiangyu Zhang, Dongyan Xu
2016	A	`conf`	Parallel Execution Profiles. HPDC Zachary Benavides, Rajiv Gupta, Xiangyu Zhang
2016	—	`conf`	PerfGuard: binary-centric application performance monitoring in production environments. SIGSOFT FSE Chung Hwan Kim, Junghwan Rhee, Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu
2016	A*	`conf`	ProTracer: Towards Practical Provenance Tracing by Alternating Between Logging and Tainting. NDSS Shiqing Ma, Xiangyu Zhang, Dongyan Xu
2016	—	`conf`	Python predictive analysis for bug detection. SIGSOFT FSE Zhaogui Xu, Peng Liu, Xiangyu Zhang, Baowen Xu
2016	—	`conf`	Python probabilistic type inference with natural language support. SIGSOFT FSE Zhaogui Xu, Xiangyu Zhang, Lin Chen, Kexin Pei, Baowen Xu
2016	A*	`conf`	Reference hijacking: patching, protecting and analyzing on unmodified and non-rooted android devices. ICSE Wei You, Bin Liang, Wenchang Shi, Shuyang Zhu, Peng Wang, Sikefu Xie, Xiangyu Zhang
2016	A*	`conf`	Screen after Previous Screens: Spatial-Temporal Recreation of Android App Displays from Memory Images. USENIX Security Symposium Brendan Saltaformaggio, Rohit Bhatia, Xiangyu Zhang, Dongyan Xu, Golden G. Richard III
2016	—	`conf`	WebRanz: web page randomization for better advertisement delivery and web-bot prevention. SIGSOFT FSE Weihang Wang, Yunhui Zheng, Xinyu Xing, Yonghwi Kwon, Xiangyu Zhang, Patrick Th. Eugster
2015	A	`conf`	Accurate, Low Cost and Instrumentation-Free Security Audit Logging for Windows. ACSAC Shiqing Ma, Kyu Hyung Lee, Chung Hwan Kim, Junghwan Rhee, Xiangyu Zhang, Dongyan Xu
2015	A	`conf`	Android Implicit Information Flow Demystified. AsiaCCS Wei You, Bin Liang, Jingzhe Li, Wenchang Shi, Xiangyu Zhang
2015	J	`jnl`	Debugging the Internet of Things: The Case of Wireless Sensor Networks. IEEE Softw. Patrick Eugster, Vinaitheerthan Sundaram, Xiangyu Zhang
2015	A*	`conf`	Dual Execution for On the Fly Fine Grained Execution Comparison. ASPLOS Dohyeong Kim, Yonghwi Kwon, William N. Sumner, Xiangyu Zhang, Dongyan Xu
2015	—	`conf`	Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints. CAV (1) Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang
2015	A	`conf`	Efficient Dynamic Tracking Technique for Detecting Integer-Overflow-to-Buffer-Overflow Vulnerability. AsiaCCS Hao Sun, Xiangyu Zhang, Chao Su, Qingkai Zeng
2015	A*	`conf`	GUITAR: Piecing Together Android App GUIs from Memory Images. CCS Brendan Saltaformaggio, Rohit Bhatia, Zhongshu Gu, Xiangyu Zhang, Dongyan Xu
2015	A	`conf`	LEAPS: Detecting Camouflaged Attacks with Statistical Learning Guided by Program Analysis. DSN Zhongshu Gu, Kexin Pei, Qifan Wang, Luo Si, Xiangyu Zhang, Dongyan Xu
2015	A*	`conf`	Light: replay via tightly bounded recording. PLDI Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng
2015	A*	`conf`	P2C: Understanding Output Data Files via On-the-Fly Transformation from Producer to Consumer Executions. NDSS Yonghwi Kwon, Fei Peng, Dohyeong Kim, Kyungtae Kim, Xiangyu Zhang, Dongyan Xu, Vinod Yegneswaran, John Qian
2015	A	`conf`	RAIVE: runtime assessment of floating-point instability by vectorization. OOPSLA Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, Rajiv Gupta
2015	J	`jnl`	Roundtable: Research Opportunities and Challenges for Emerging Software Systems. J. Comput. Sci. Technol. Xiangyu Zhang, Dongmei Zhang, Yves Le Traon, Qing Wang, Lu Zhang
2015	A*	`conf`	SUPOR: Precise and Scalable Sensitive User Input Detection for Android Apps. USENIX Security Symposium Jianjun Huang, Zhichun Li, Xusheng Xiao, Zhenyu Wu, Kangjie Lu, Xiangyu Zhang, Guofei Jiang
2015	A*	`conf`	VCR: App-Agnostic Recovery of Photographic Evidence from Android Device Memory Images. CCS Brendan Saltaformaggio, Rohit Bhatia, Zhongshu Gu, Xiangyu Zhang, Dongyan Xu
2015	A*	`conf`	iRiS: Vetting Private API Abuse in iOS Applications. CCS Zhui Deng, Brendan Saltaformaggio, Xiangyu Zhang, Dongyan Xu
2014	A*	`conf`	AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction. ICSE Jianjun Huang, Xiangyu Zhang, Lin Tan, Peng Wang, Bin Liang
2014	A*	`conf`	DSCRETE: Automatic Rendering of Forensic Information from Memory Images via Application Logic Reuse. USENIX Security Symposium Brendan Saltaformaggio, Zhongshu Gu, Xiangyu Zhang, Dongyan Xu
2014	A	`conf`	FACE-CHANGE: Application-Driven Dynamic Kernel View Switching in a Virtual Machine. DSN Zhongshu Gu, Brendan Saltaformaggio, Xiangyu Zhang, Dongyan Xu
2014	A	`conf`	Flint: fixing linearizability violations. OOPSLA Peng Liu, Omer Tripp, Xiangyu Zhang
2014	A	`conf`	Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores. ECOOP Kyu Hyung Lee, Dohyeong Kim, Xiangyu Zhang
2014	B	`conf`	Infrastructure-free logging and replay of concurrent execution on multiple cores. PPoPP Kyu Hyung Lee, Dohyeong Kim, Xiangyu Zhang
2014	A*	`conf`	IntroPerf: transparent context-sensitive multi-layer performance inference using system stack traces. SIGMETRICS Chung Hwan Kim, Junghwan Rhee, Hui Zhang, Nipun Arora, Guofei Jiang, Xiangyu Zhang, Dongyan Xu
2014	A*	`conf`	Reuse-oriented reverse engineering of functional components from x86 binaries. ICSE Dohyeong Kim, William N. Sumner, Xiangyu Zhang, Dongyan Xu, Hira Agrawal
2014	J	`jnl`	Scaling Up Symbolic Analysis by Removing Z-Equivalent States. ACM Trans. Softw. Eng. Methodol. Yueqi Li, Shing-Chi Cheung, Xiangyu Zhang, Yepang Liu
2014	A	`conf`	Virtual DOM coverage for effective testing of dynamic web applications. ISSTA Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, Zebao Gao
2014	A*	`conf`	X-Force: Force-Executing Binary Programs for Security Applications. USENIX Security Symposium Fei Peng, Zhui Deng, Xiangyu Zhang, Dongyan Xu, Zhiqiang Lin, Zhendong Su
2013	A	`conf`	BISTRO: Binary Component Extraction and Embedding for Software Security Applications. ESORICS Zhui Deng, Xiangyu Zhang, Dongyan Xu
2013	A*	`conf`	Comparative causality: explaining the differences between executions. ICSE William N. Sumner, Xiangyu Zhang
2013	A	`conf`	DRIP: A framework for purifying trojaned kernel drivers. DSN Zhongshu Gu, William N. Sumner, Zhui Deng, Xiangyu Zhang, Dongyan Xu
2013	J	`jnl`	Diagnostic tracing for wireless sensor networks. ACM Trans. Sens. Networks Vinaitheerthan Sundaram, Patrick Eugster, Xiangyu Zhang, Vamsidhar Addanki
2013	A*	`conf`	High Accuracy Attack Provenance via Binary-based Execution Partition. NDSS Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu
2013	A*	`conf`	Identifying execution points for dynamic analyses. ASE William N. Sumner, Xiangyu Zhang
2013	A*	`conf`	LogGC: garbage collecting audit log. CCS Kyu Hyung Lee, Xiangyu Zhang, Dongyan Xu
2013	A*	`conf`	Obfuscation resilient binary code reuse through trace-oriented programming. CCS Junyuan Zeng, Yangchun Fu, Kenneth A. Miller, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu
2013	A	`conf`	On-the-fly detection of instability problems in floating-point program execution. OOPSLA Tao Bao, Xiangyu Zhang
2013	A*	`conf`	PIEtrace: Platform independent executable trace. ASE Yonghwi Kwon, Xiangyu Zhang, Dongyan Xu
2013	A*	`conf`	Path sensitive static analysis of web applications for remote code execution vulnerability detection. ICSE Yunhui Zheng, Xiangyu Zhang
2013	A	`conf`	SPIDER: stealthy binary program instrumentation and debugging via hardware virtualization. ACSAC Zhui Deng, Xiangyu Zhang, Dongyan Xu
2013	—	`conf`	Z3-str: a z3-based string solver for web application analysis. ESEC/SIGSOFT FSE Yunhui Zheng, Xiangyu Zhang, Vijay Ganesh
2012	J	`jnl`	Dependence analysis for safe futures. Sci. Comput. Program. Armand Navabi, Xiangyu Zhang, Suresh Jagannathan
2012	A*	`conf`	Discovering Semantic Data of Interest from Un-mappable Memory with Confidence. NDSS Zhiqiang Lin, Junghwan Rhee, Chao Wu, Xiangyu Zhang, Dongyan Xu
2012	J	`jnl`	IntroLib: Efficient and transparent library call introspection for malware forensics. Digit. Investig. Zhui Deng, Dongyan Xu, Xiangyu Zhang, Xuxian Jiang
2012	—	`conf`	Modeling Software Execution Environment. WCRE Dawei Qi, William N. Sumner, Feng Qin, Mai Zheng, Xiangyu Zhang, Abhik Roychoudhury
2012	—	`conf`	Plagiarizing Smartphone Applications: Attack Strategies and Defense Techniques. ESSoS Rahul Potharaju, Andrew Newell, Cristina Nita-Rotaru, Xiangyu Zhang
2012	J	`jnl`	Precise Calling Context Encoding. IEEE Trans. Software Eng. William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang
2012	Misc	`conf`	Prius: generic hybrid trace compression for wireless sensor networks. SenSys Vinaitheerthan Sundaram, Patrick Eugster, Xiangyu Zhang
2012	A*	`conf`	Static detection of resource contention problems in server-side scripts. ICSE Yunhui Zheng, Xiangyu Zhang
2012	A	`conf`	White box sampling in uncertain data processing enabled by program analysis. OOPSLA Tao Bao, Yunhui Zheng, Xiangyu Zhang
2011	A	`conf`	Accentuating the positive: atomicity inference and enforcement using correct executions. OOPSLA Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan
2011	A*	`conf`	Coalescing executions for fast uncertainty analysis. ICSE William N. Sumner, Tao Bao, Xiangyu Zhang, Sunil Prabhakar
2011	—	`conf`	Demo abstract: Diagnostic tracing of wireless sensor networks with TinyTracer. IPSN Vinaitheerthan Sundaram, Patrick Eugster, Xiangyu Zhang
2011	—	`ed.`	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. WODA@ISSTA Leonardo Mariani, Xiangyu Zhang
2011	A	`conf`	Selecting peers for execution comparison. ISSTA William N. Sumner, Tao Bao, Xiangyu Zhang
2011	A*	`conf`	SigGraph: Brute Force Scanning of Kernel Data Structure Instances Using Graph-based Signatures. NDSS Zhiqiang Lin, Junghwan Rhee, Xiangyu Zhang, Dongyan Xu, Xuxian Jiang
2011	A*	`conf`	Statically locating web application bugs caused by asynchronous calls. WWW Yunhui Zheng, Tao Bao, Xiangyu Zhang
2011	A*	`conf`	Toward generating reducible replay logs. PLDI Kyu Hyung Lee, Yunhui Zheng, Nick Sumner, Xiangyu Zhang
2011	A	`conf`	Unified debugging of distributed systems with Recon. DSN Kyu Hyung Lee, Nick Sumner, Xiangyu Zhang, Patrick Eugster
2010	A	`conf`	Analyzing concurrency bugs using dual slicing. ISSTA Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan
2010	A*	`conf`	Analyzing multicore dumps to facilitate concurrency bug reproduction. ASPLOS Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan
2010	A*	`conf`	Automatic Reverse Engineering of Data Structures from Binary Execution. NDSS Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu
2010	Misc	`conf`	Efficient diagnostic tracing for wireless sensor networks. SenSys Vinaitheerthan Sundaram, Patrick Th. Eugster, Xiangyu Zhang
2010	B	`conf`	Lightweight Task Graph Inference for Distributed Applications. SRDS Bin Xin, Patrick Th. Eugster, Xiangyu Zhang, Jinlin Yang
2010	—	`conf`	Memory indexing: canonicalizing addresses across executions. SIGSOFT FSE William N. Sumner, Xiangyu Zhang
2010	—	`conf`	Precise calling context encoding. ICSE (1) William N. Sumner, Yunhui Zheng, Dasarath Weeratunge, Xiangyu Zhang
2010	A	`conf`	Reuse-oriented camouflaging trojan: Vulnerability detection and attack construction. DSN Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu
2010	J	`jnl`	Reverse Engineering Input Syntactic Structure from Program Execution and Its Applications. IEEE Trans. Software Eng. Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu
2010	A	`conf`	Strict control dependence and its effect on dynamic information flow analyses. ISSTA Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu
2009	A	`conf`	Alchemist: A Transparent Dependence Distance Profiling Infrastructure. CGO Xiangyu Zhang, Armand Navabi, Suresh Jagannathan
2009	B	`conf`	Algorithms for Automatically Computing the Causal Paths of Failures. FASE William N. Sumner, Xiangyu Zhang
2009	—	`conf`	Lightweight tracing for wireless sensor networks debugging. MidSens Vinaitheerthan Sundaram, Patrick Eugster, Xiangyu Zhang
2009	A	`conf`	Memory slicing. ISSTA Bin Xin, Xiangyu Zhang
2008	J	`jnl`	A Systematic Study of Failure Proximity. IEEE Trans. Software Eng. Chao Liu, Xiangyu Zhang, Jiawei Han
2008	A*	`conf`	Automatic Protocol Format Reverse Engineering through Context-Aware Monitored Execution. NDSS Zhiqiang Lin, Xuxian Jiang, Dongyan Xu, Xiangyu Zhang
2008	B	`conf`	Avoiding Program Failures Through Safe Execution Perturbations. COMPSAC Sriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Zhang
2008	A	`conf`	Convicting exploitable software vulnerabilities: An efficient input provenance based approach. DSN Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu
2008	—	`conf`	Deriving input syntactic structure from execution. SIGSOFT FSE Zhiqiang Lin, Xiangyu Zhang
2008	A*	`conf`	Efficient program execution indexing. PLDI Bin Xin, William N. Sumner, Xiangyu Zhang
2008	B	`conf`	Quasi-static scheduling for safe futures. PPoPP Armand Navabi, Xiangyu Zhang, Suresh Jagannathan
2008	A	`conf`	Scalable dynamic information flow tracking and its applications. IPDPS Rajiv Gupta, Neelam Gupta, Xiangyu Zhang, Dennis Jeffrey, Vijay Nagarajan, Sriraman Tallam, Chen Tian
2007	J	`jnl`	A study of effectiveness of dynamic slicing in locating real faults. Empir. Softw. Eng. Xiangyu Zhang, Neelam Gupta, Rajiv Gupta
2007	A	`conf`	Efficient online detection of dynamic control dependence. ISSTA Bin Xin, Xiangyu Zhang
2007	A	`conf`	Enabling tracing Of long-running multithreaded programs via dynamic execution reduction. ISSTA Sriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Zhang
2007	—	`conf`	Indexing Noncrashing Failures: A Dynamic Program Slicing-Based Approach. ICSM Chao Liu, Xiangyu Zhang, Yu Zhang, Jiawei Han, Bharat K. Bhargava
2007	J	`jnl`	Locating faulty code by multiple points slicing. Softw. Pract. Exp. Xiangyu Zhang, Neelam Gupta, Rajiv Gupta
2007	—	`conf`	Matching Control Flow of Program Versions. ICSM Vijayanand Nagarajan, Rajiv Gupta, Matias Madou, Xiangyu Zhang, Bjorn De Sutter
2007	A*	`conf`	Towards locating execution omission errors. PLDI Xiangyu Zhang, Sriraman Tallam, Neelam Gupta, Rajiv Gupta
2007	A*	`conf`	Tracing Lineage Beyond Relational Operators. VLDB Mingwu Zhang, Xiangyu Zhang, Xiang Zhang, Sunil Prabhakar
2007	—	`ch.`	Whole Execution Traces and Their Use in Debugging. The Compiler Design Handbook, 2nd ed. Xiangyu Zhang, Neelam Gupta, Rajiv Gupta
2006	—	`conf`	Dynamic slicing long running programs through execution fast forwarding. SIGSOFT FSE Xiangyu Zhang, Sriraman Tallam, Rajiv Gupta
2006	—	`—`	Fault Location via Precise Dynamic Slicing. Xiangyu Zhang
2006	A*	`conf`	Locating faults through automated predicate switching. ICSE Xiangyu Zhang, Neelam Gupta, Rajiv Gupta
2006	A*	`conf`	Pruning dynamic slices with confidence. PLDI Xiangyu Zhang, Neelam Gupta, Rajiv Gupta
2005	J	`jnl`	Cost and precision tradeoffs of dynamic data slicing algorithms. ACM Trans. Program. Lang. Syst. Xiangyu Zhang, Rajiv Gupta, Youtao Zhang
2005	—	`conf`	Experimental evaluation of using dynamic slices for fault location. AADEBUG Xiangyu Zhang, Haifeng He, Neelam Gupta, Rajiv Gupta
2005	—	`conf`	Extended Whole Program Paths. IEEE PACT Sriraman Tallam, Rajiv Gupta, Xiangyu Zhang
2005	A*	`conf`	Locating faulty code using failure-inducing chops. ASE Neelam Gupta, Haifeng He, Xiangyu Zhang, Rajiv Gupta
2005	—	`conf`	Matching execution histories of program versions. ESEC/SIGSOFT FSE Xiangyu Zhang, Rajiv Gupta
2005	A*	`conf`	SENSS: Security Enhancement to Symmetric Shared Memory Multiprocessors. HPCA Youtao Zhang, Lan Gao, Jun Yang, Xiangyu Zhang, Rajiv Gupta
2005	J	`jnl`	Whole execution traces and their applications. ACM Trans. Archit. Code Optim. Xiangyu Zhang, Rajiv Gupta
2004	A*	`conf`	Cost effective dynamic program slicing. PLDI Xiangyu Zhang, Rajiv Gupta
2004	A*	`conf`	Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams. ICSE Xiangyu Zhang, Rajiv Gupta, Youtao Zhang
2004	A	`conf`	Extending Path Profiling across Loop Backedges and Procedure Boundaries. CGO Sriraman Tallam, Xiangyu Zhang, Rajiv Gupta
2004	A*	`conf`	Whole Execution Traces. MICRO Xiangyu Zhang, Rajiv Gupta
2003	A	`conf`	Hiding Program Slices for Software Security. CGO Xiangyu Zhang, Rajiv Gupta
2003	A*	`conf`	Precise Dynamic Slicing Algorithms. ICSE Xiangyu Zhang, Rajiv Gupta, Youtao Zhang