Yu Jiang - RankMe

276 papers A* 66A 36B 10C 2Misc 5Journal 105Unranked 52

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	BIT: Empowering Binary Analysis through the LLVM Toolchain. CGO Puzhuo Liu, Peng Di, Jingling Xue, Yu Jiang
2026	A	`conf`	Effective On-Hardware Fuzzing of Embedded Operating Systems. EuroSys Yuheng Shen, Jianzhong Liu, Qiming Guo, Yifei Chu, Qiang Zhang, Heyuan Shi, Yu Jiang
2026	J	`jnl`	Evaluating Privilege Usage of Agents on Real-World Tools. CoRR Quan Zhang, Lianhang Fu, Lvsi Lian, Gwihwan Go, Yujue Wang, Chijin Zhou, Yu Jiang, Geguang Pu
2026	A	`conf`	Fuzzing Enterprise-Grade Blockchain Systems: Industrial Practice and Solutions. EuroSys Fuchen Ma, Yuanliang Chen, Zhen Yan, Yuanhang Zhou, Yu Jiang, Mingchao Wan
2026	J	`jnl`	Scalable hierarchical protocol format inference via feature-heuristic message delimiter. Empir. Softw. Eng. Bowen Hu, Wenlong Zhang, Yanyang Zhao, Zhengxiong Luo, Kai Liang, Ronghua Shi, Yu Jiang, Heyuan Shi
2025	J	`jnl`	A Practical DoS Attack on Commercial UWB Ranging Systems. IEEE Trans. Mob. Comput. Yongzhao Zhang, Yuqiao Yang, Zhiwei Chen, Zhongjie Wu, Ting Chen, Jun Li, Jie Yang, Guowen Xu, Wenhao Liu, Xiaosong Zhang, Jingwei Li, Yu Jiang, Zhuo Su
2025	A*	`conf`	ARG: Testing Query Rewriters via Abstract Rule Guided Fuzzing. ASE Dawei Li, Yuxiao Guo, Qifan Liu, Jie Liang, Zhiyong Wu, Jingzhou Fu, Chi Zhang, Yu Jiang
2025	J	`jnl`	AccSiM: State-Aware Simulation Acceleration for Simulink Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yifan Cheng, Zehong Yu, Zhuo Su, Ting Chen, Xiaosong Zhang, Yu Jiang
2025	—	`conf`	CAFault: Enhance Fault Injection Technique in Practical Distributed Systems via Abundant Fault-Dependent Configurations. USENIX ATC Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Zhen Yan, Yu Jiang
2025	A*	`conf`	CMFuzz: Parallel Fuzzing of IoT Protocols by Configuration Model Identification and Scheduling. DAC Qi Xu, Fuchen Ma, Yuanliang Chen, Wanli Chen, Feifan Wu, Yanyang Zhao, Heyuan Shi, Yu Jiang
2025	A*	`conf`	Chord: Towards a Unified Detection of Blockchain Transaction Parallelism Bugs. ICSE Yuanhang Zhou, Zhen Yan, Yuanliang Chen, Fuchen Ma, Ting Chen, Yu Jiang
2025	A*	`conf`	Coni: Detecting Database Connector Bugs via State-Aware Test Case Generation. ICSE Wenqian Deng, Jie Liang, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, Yu Jiang
2025	—	`conf`	DDLumos: Understanding and Detecting Atomic DDL Bugs in DBMSs. USENIX ATC Zhiyong Wu, Jie Liang, Jingzhou Fu, Wenqian Deng, Yu Jiang
2025	A*	`conf`	DNAFuzz: Descriptor-Aware Fuzzing for USB Drivers. ASE Zhengshu Wang, Peng He, Fuchen Ma, Yuanliang Chen, Shuoshuo Duan, Yiyuan Bai, Yu Jiang
2025	A*	`conf`	DROIDFUZZ: Proprietary Driver Fuzzing for Embedded Android Devices. DAC Jianzhong Liu, Yuheng Shen, Yifei Chu, Qiang Zhang, Heyuan Shi, Wanli Chang, Yu Jiang
2025	J	`jnl`	DepState: Detecting Synchronization Failure Bugs in Distributed Database Management Systems. Proc. ACM Softw. Eng. Cundi Fang, Jie Liang, Zhiyong Wu, Jingzhou Fu, Zhouyang Jia, Chun Huang, Yu Jiang, Shanshan Li
2025	J	`jnl`	Detecting Logic Bugs in DBMSs via Equivalent Data Construction. Proc. ACM Manag. Data Wenqian Deng, Jie Liang, Zhiyong Wu, Jingzhou Fu, Yu Jiang
2025	A*	`conf`	DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directional Fuzzing. ASE Yuanliang Chen, Fuchen Ma, Yanyang Zhao, Yuanyi Li, Yu Jiang
2025	J	`jnl`	Enhancing Protocol Fuzzing via Diverse Seed Corpus Generation. IEEE Trans. Software Eng. Zhengxiong Luo, Qingpeng Du, Yujue Wang, Abhik Roychoudhury, Yu Jiang
2025	A*	`conf`	Fawkes: Finding Data Durability Bugs in DBMSs via Recovered Data State Verification. SOSP Zhiyong Wu, Jie Liang, Jingzhou Fu, Wenqian Deng, Yu Jiang
2025	A*	`conf`	Finding Metadata Inconsistencies in Distributed File Systems via Cross-Node Operation Modeling. USENIX Security Symposium Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Zhen Yan, Hao Sun, Yu Jiang
2025	J	`jnl`	Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis. Proc. ACM Softw. Eng. Zhiyong Wu, Jie Liang, Jingzhou Fu, Mingzhe Wang, Yu Jiang
2025	J	`jnl`	Inducing Vulnerable Code Generation in LLM Coding Assistants. CoRR Binqi Zeng, Quan Zhang, Chijin Zhou, Gwihwan Go, Yu Jiang, Heyuan Shi
2025	A*	`conf`	Janus: Detecting Rendering Bugs in Web Browsers via Visual Delta Consistency. ICSE Chijin Zhou, Quan Zhang, Bingzhou Qian, Yu Jiang
2025	J	`jnl`	Knight: Optimizing Code Generation for Simulink Models With Loop Reshaping. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zehong Yu, Yixiao Yang, Zhuo Su, Rui Wang, Yang Tao, Yu Jiang
2025	J	`jnl`	LLM-Powered Static Binary Taint Analysis. ACM Trans. Softw. Eng. Methodol. Puzhuo Liu, Chengnian Sun, Yaowen Zheng, Xuan Feng, Chuan Qin, Yuncheng Wang, Zhenyang Xu, Zhi Li, Peng Di, Yu Jiang, Limin Sun
2025	—	`conf`	LSPAI: An IDE Plugin for LLM-Powered Multi-Language Unit Test Generation with Language Server Protocol. SIGSOFT FSE Companion Gwihwan Go, Chijin Zhou, Quan Zhang, Yu Jiang, Zhao Wei
2025	J	`jnl`	LSPRAG: LSP-Guided RAG for Language-Agnostic Real-Time Unit Test Generation. CoRR Gwihwan Go, Quan Zhang, Chijin Zhou, Zhao Wei, Yu Jiang
2025	A*	`conf`	PUPPY: Finding Performance Degradation Bugs in DBMSs via Limited-Optimization Plan Construction. ICSE Zhiyong Wu, Jie Liang, Jingzhou Fu, Mingzhe Wang, Yu Jiang
2025	J	`jnl`	PatchScope: LLM-Enhanced Fine-Grained Stable Patch Classification for Linux Kernel. Proc. ACM Softw. Eng. Rongkai Liu, Heyuan Shi, Shuning Liu, Chao Hu, Sisheng Li, Yuheng Shen, Runzhe Wang, Xiaohai Shi, Yu Jiang
2025	—	`conf`	PeachCI: Scalable Continuous Integration of Generation-Based Protocol Fuzzing. SIGSOFT FSE Companion Wanli Chen, Yuanliang Chen, Fuchen Ma, Ruikang Peng, Qi Xu, Yu Jiang, Qiang Fu, Heyuan Shi
2025	J	`jnl`	Preventing Disruption of System Backup against Ransomware Attacks. Proc. ACM Softw. Eng. Yiwei Hou, Lihua Guo, Chijin Zhou, Quan Zhang, Wenhuan Liu, Chengnian Sun, Yu Jiang
2025	J	`jnl`	Protocol syntax recovery via knowledge transfer. Comput. Networks Yanyang Zhao, Zhengxiong Luo, Kai Liang, Feifan Wu, Wenlong Zhang, Heyuan Shi, Yu Jiang
2025	J	`jnl`	QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems. ACM Trans. Softw. Eng. Methodol. Jinjing Shi, Zimeng Xiao, Heyuan Shi, Yu Jiang, Xuelong Li
2025	J	`jnl`	Ransomware Detection through Temporal Correlation between Encryption and I/O Behavior. Proc. ACM Softw. Eng. Lihua Guo, Yiwei Hou, Chijin Zhou, Quan Zhang, Yu Jiang
2025	J	`jnl`	SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis. Proc. ACM Manag. Data Jinhui Lai, Chi Zhang, Bingyan Li, Chenglin Liang, Jie Liang, Zhiyong Wu, Jingzhou Fu, Yu Jiang, Zichen Xu
2025	—	`conf`	SUNFLOWER: Enhancing Linux Kernel Fuzzing via Exploit-Driven Seed Generation. SEIP@ICSE Qiang Zhang, Yuheng Shen, Jianzhong Liu, Yiru Xu, Heyuan Shi, Yu Jiang, Wanli Chang
2025	J	`jnl`	SnapCC: Effective File System Consistency Testing Using Systematic State Exploration. ACM Trans. Softw. Eng. Methodol. Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang
2025	A*	`conf`	Sonar: A Hardware Fuzzing Framework to Uncover Contention Side Channels in Processors. MICRO Kanqi Zhang, Peinan Li, Miao Li, Xin Tian, Zelong Du, Quanchen Liu, Yongqiang Lyu, Yu Jiang, Dan Meng, Rui Hou
2025	J	`jnl`	T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax. ACM Trans. Softw. Eng. Methodol. Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Jiarui Zhang, Puzhuo Liu, Yu Jiang, Chengnian Sun
2025	A*	`conf`	Texergy: Textile-based Harvesting, Storing, and Releasing of Mechanical Energy for Passive On-Body Actuation. UIST Yu Jiang, Alice C. Haynes, Jürgen Steimle
2025	A*	`conf`	Thanos: DBMS Bug Detection via Storage Engine Rotation Based Differential Testing. ICSE Ying Fu, Zhiyong Wu, Yuanliang Zhang, Jie Liang, Jingzhou Fu, Yu Jiang, Shanshan Li, Xiangke Liao
2025	A	`conf`	Themis: Finding Imbalance Failures in Distributed File Systems via a Load Variance Model. EuroSys Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Zhen Yan, Qing Liao, Yu Jiang
2025	A*	`conf`	Tron: Fuzzing Linux Network Stack via Protocol-System Call Payload Synthesis. ASE Qiang Zhang, Yifei Chu, Yuheng Shen, Jianzhong Liu, Heyuan Shi, Yu Jiang, Wanli Chang
2025	A	`conf`	Understanding and Detecting SQL Function Bugs: Using Simple Boundary Arguments to Trigger Hundreds of DBMS Bugs. EuroSys Jingzhou Fu, Jie Liang, Zhiyong Wu, Yanyang Zhao, Shanshan Li, Yu Jiang
2025	J	`jnl`	μScope: Evaluating storage stack robustness against SSD's latency variation. J. Syst. Archit. Linxiao Bai, Shanshan Li, Zhouyang Jia, Yu Jiang, Yuanliang Zhang, Zichen Xu, Bin Lin, Si Zheng, Xiangke Liao
2024	J	`jnl`	A Remedy to Compute-in-Memory with Dynamic Random Access Memory: 1FeFET-1C Technology for Neuro-Symbolic AI. CoRR Xunzhao Yin, Hamza Errahmouni Barkam, Franz Müller, Yu Jiang, Mohsen Imani, Sukhrob Abdulazhanov, Alptekin Vardar, Nellie Laleni, Zijian Zhao, Jiahui Duan, Zhiguo Shi, Siddharth Joshi, Michael T. Niemier, Xiaobo Sharon Hu, Cheng Zhuo, Thomas Kämpfe, Kai Ni
2024	A*	`conf`	AccMoS: Accelerating Model Simulation for Simulink via Code Generation. DAC Yifan Cheng, Zehong Yu, Zhuo Su, Ting Chen, Xiaosong Zhang, Yu Jiang
2024	A*	`conf`	An Empirical Study of Data Disruption by Ransomware Attacks. ICSE Yiwei Hou, Lihua Guo, Chijin Zhou, Yiwen Xu, Zijing Yin, Shanshan Li, Chengnian Sun, Yu Jiang
2024	A*	`conf`	At Which Training Stage Does Code Data Help LLMs Reasoning? ICLR Yingwei Ma, Yue Liu, Yue Yu, Yuanliang Zhang, Yu Jiang, Changjian Wang, Shanshan Li
2024	A*	`conf`	Automatic Policy Synthesis and Enforcement for Protecting Untrusted Deserialization. NDSS Quan Zhang, Yiwen Xu, Zijing Yin, Chijin Zhou, Yu Jiang
2024	A*	`conf`	CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing. DAC Zhuo Su, Zehong Yu, Dongyan Wang, Rui Wang, Yang Tao, Yu Jiang
2024	J	`jnl`	CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-aware Fuzzing. ACM Trans. Softw. Eng. Methodol. Yuanhang Zhou, Fuchen Ma, Yuanliang Chen, Meng Ren, Yu Jiang
2024	—	`conf`	CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution Community. SIGSOFT FSE Companion Jing Luo, Heyuan Shi, Yongchao Zhang, Runzhe Wang, Yuheng Shen, Yuao Chen, Xiaohai Shi, Rongkai Liu, Chao Hu, Yu Jiang
2024	A*	`conf`	Chronos: Finding Timeout Bugs in Practical Distributed Systems by Deep-Priority Fuzzing with Transient Delay. SP Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Ming Gu, Qing Liao, Yu Jiang
2024	J	`jnl`	Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs. Proc. ACM Softw. Eng. Haoran Liu, Zhouyang Jia, Shanshan Li, Yan Lei, Yue Yu, Yu Jiang, Xiaoguang Mao, Xiangke Liao
2024	A*	`conf`	Data Coverage for Guided Fuzzing. USENIX Security Symposium Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Jingzhou Fu, Zhuo Su, Qing Liao, Bin Gu, Bodong Wu, Yu Jiang
2024	—	`conf`	Dodrio: Parallelizing Taint Analysis Based Fuzzing via Redundancy-Free Scheduling. SIGSOFT FSE Companion Jie Liang, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Jianzhong Liu, Yu Jiang
2024	A*	`conf`	DynPRE: Protocol Reverse Engineering via Dynamic Inference. NDSS Zhengxiong Luo, Kai Liang, Yanyang Zhao, Feifan Wu, Junze Yu, Heyuan Shi, Yu Jiang
2024	J	`jnl`	ECG: Augmenting Embedded Operating System Fuzzing via LLM-Based Corpus Generation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Qiang Zhang, Yuheng Shen, Jianzhong Liu, Yiru Xu, Heyuan Shi, Yu Jiang, Wanli Chang
2024	A*	`conf`	Effectively Sanitizing Embedded Operating Systems. DAC Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Heyuan Shi, Yu Jiang
2024	A*	`conf`	Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination. DAC Zehong Yu, Zhuo Su, Yu Jiang, Aiguo Cui, Rui Wang
2024	A	`conf`	Enhancing ROS System Fuzzing through Callback Tracing. ISSTA Yuheng Shen, Jianzhong Liu, Yiru Xu, Hao Sun, Mingzhe Wang, Nan Guan, Heyuan Shi, Yu Jiang
2024	A	`conf`	Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program. EuroSys Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, Yu Jiang
2024	J	`jnl`	HSTCG: State-Aware Simulink Model Test Case Generation With Heuristic Strategy. IEEE Trans. Software Eng. Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui, Yu Jiang
2024	J	`jnl`	Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures. ACM Trans. Softw. Eng. Methodol. Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang
2024	—	`conf`	Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications. SIGSOFT FSE Companion Quan Zhang, Binqi Zeng, Chijin Zhou, Gwihwan Go, Heyuan Shi, Yu Jiang
2024	J	`jnl`	Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications. CoRR Quan Zhang, Binqi Zeng, Chijin Zhou, Gwihwan Go, Heyuan Shi, Yu Jiang
2024	A*	`conf`	Imperceptible Content Poisoning in LLM-Powered Applications. ASE Quan Zhang, Chijin Zhou, Gwihwan Go, Binqi Zeng, Heyuan Shi, Zichen Xu, Yu Jiang
2024	A*	`conf`	Industry Practice of Directed Kernel Fuzzing for Open-source Linux Distribution. ASE Heyuan Shi, Shijun Chen, Runzhe Wang, Yuhan Chen, Weibo Zhang, Qiang Zhang, Yuheng Shen, Xiaohai Shi, Chao Hu, Yu Jiang
2024	A*	`conf`	Leveraging Binary Coverage for Effective Generation Guidance in Kernel Fuzzing. CCS Jianzhong Liu, Yuheng Shen, Yiru Xu, Yu Jiang
2024	A	`conf`	Logos: Log Guided Fuzzing for Protocol Implementations. ISSTA Feifan Wu, Zhengxiong Luo, Yanyang Zhao, Qingpeng Du, Junze Yu, Ruikang Peng, Heyuan Shi, Yu Jiang
2024	A	`conf`	MDIplier: Protocol Format Recovery via Hierarchical Inference. ISSRE Kai Liang, Zhengxiong Luo, Yanyang Zhao, Wenlong Zhang, Ronghua Shi, Yu Jiang, Heyuan Shi, Chao Hu
2024	—	`conf`	MissConf: LLM-Enhanced Reproduction of Configuration-Triggered Bugs. ICSE Companion Ying Fu, Teng Wang, Shanshan Li, Jinyan Ding, Shulin Zhou, Zhouyang Jia, Wang Li, Yu Jiang, Xiangke Liao
2024	A*	`conf`	Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation. ICSE Jie Liang, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, Chengnian Sun, Yu Jiang
2024	J	`jnl`	On the Caching Schemes to Speed Up Program Reduction. ACM Trans. Softw. Eng. Methodol. Yongqiang Tian, Xueyan Zhang, Yiwen Dong, Zhenyang Xu, Mengxiao Zhang, Yu Jiang, Shing-Chi Cheung, Chengnian Sun
2024	J	`jnl`	Parallel Fuzzing of IoT Messaging Protocols Through Collaborative Packet Generation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhengxiong Luo, Junze Yu, Qingpeng Du, Yanyang Zhao, Feifan Wu, Heyuan Shi, Wanli Chang, Yu Jiang
2024	A	`conf`	PatchBert: Continuous Stable Patch Identification for Linux Kernel via Pre-trained Model Fine-tuning. SANER Rongkai Liu, Heyuan Shi, Yongchao Zhang, Runzhe Wang, Yuheng Shen, Yuao Chen, Jing Luo, Xiaohai Shi, Chao Hu, Yu Jiang
2024	J	`jnl`	PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting. Proc. ACM Program. Lang. Chijin Zhou, Bingzhou Qian, Gwihwan Go, Quan Zhang, Shanshan Li, Yu Jiang
2024	J	`jnl`	QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems. CoRR Jinjing Shi, Zimeng Xiao, Heyuan Shi, Yu Jiang, Xuelong Li
2024	A*	`conf`	SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network. ICSE Feng Luo, Ruijie Luo, Ting Chen, Ao Qiao, Zheyuan He, Shuwei Song, Yu Jiang, Sixing Li
2024	A*	`conf`	SPFuzz: Stateful Path based Parallel Fuzzing for Protocols in Autonomous Vehicles. DAC Junze Yu, Zhengxiong Luo, Fangshangyuan Xia, Yanyang Zhao, Heyuan Shi, Yu Jiang
2024	A*	`conf`	Saturn: Host-Gadget Synergistic USB Driver Fuzzing. SP Yiru Xu, Hao Sun, Jianzhong Liu, Yuheng Shen, Yu Jiang
2024	A*	`conf`	Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer. ICSE Jingzhou Fu, Jie Liang, Zhiyong Wu, Yu Jiang
2024	—	`conf`	Stop Pulling my Rug: Exposing Rug Pull Risks in Crypto Token to Investors. ICSE-SEIP Yuanhang Zhou, Jingxuan Sun, Fuchen Ma, Yuanliang Chen, Zhen Yan, Yu Jiang
2024	A*	`conf`	Test Case Generation for Simulink Models using Model Fuzzing and State Solving. ASE Zhuo Su, Zehong Yu, Dongyan Wang, Wanli Chang, Bin Gu, Yu Jiang
2024	A	`conf`	Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement. ISSTA Gwihwan Go, Chijin Zhou, Quan Zhang, Xiazijian Zou, Heyuan Shi, Yu Jiang
2024	A*	`conf`	UWBAD: Towards Effective and Imperceptible Jamming Attacks Against UWB Ranging Systems with COTS Chips. CCS Yuqiao Yang, Zhongjie Wu, Yongzhao Zhang, Ting Chen, Jun Li, Jie Yang, Wenhao Liu, Xiaosong Zhang, Ruicong Shi, Jingwei Li, Yu Jiang, Zhuo Su
2024	J	`jnl`	UWBAD: Towards Effective and Imperceptible Jamming Attacks Against UWB Ranging Systems with COTS Chips. CoRR Yuqiao Yang, Zhongjie Wu, Yongzhao Zhang, Ting Chen, Jun Li, Jie Yang, Wenhao Liu, Xiaosong Zhang, Ruicong Shi, Jingwei Li, Yu Jiang, Zhuo Su
2024	—	`conf`	When Fuzzing Meets LLMs: Challenges and Opportunities. SIGSOFT FSE Companion Yu Jiang, Jie Liang, Fuchen Ma, Yuanliang Chen, Chijin Zhou, Yuheng Shen, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, Shanshan Li, Quan Zhang
2024	J	`jnl`	When Fuzzing Meets LLMs: Challenges and Opportunities. CoRR Yu Jiang, Jie Liang, Fuchen Ma, Yuanliang Chen, Chijin Zhou, Yuheng Shen, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, Shanshan Li, Quan Zhang
2024	—	`conf`	WingFuzz: Implementing Continuous Fuzzing for DBMSs. USENIX ATC Jie Liang, Zhiyong Wu, Jingzhou Fu, Yiyuan Bai, Qiang Zhang, Yu Jiang
2023	J	`jnl`	At Which Training Stage Does Code Data Help LLMs Reasoning? CoRR Yingwei Ma, Yue Liu, Yue Yu, Yuanliang Zhang, Yu Jiang, Changjian Wang, Shanshan Li
2023	A*	`conf`	Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations. USENIX Security Symposium Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury, Jiaguang Sun
2023	A	`conf`	Brief Industry Paper: Directed Kernel Fuzz Testing on Real-time Linux. RTSS Yuheng Shen, Shijun Chen, Jianzhong Liu, Yiru Xu, Qiang Zhang, Runzhe Wang, Heyuan Shi, Yu Jiang
2023	J	`jnl`	Building Dynamic System Call Sandbox with Partial Order Analysis. Proc. ACM Program. Lang. Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, Jia-Guang Sun
2023	A*	`conf`	ConfTainter: Static Taint Analysis For Configuration Options. ASE Teng Wang, Haochen He, Xiaodong Liu, Shanshan Li, Zhouyang Jia, Yu Jiang, Qing Liao, Wang Li
2023	A	`conf`	CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. ISSTA Quan Zhang, Yongqiang Tian, Yifeng Ding, Shanshan Li, Chengnian Sun, Yu Jiang, Jiaguang Sun
2023	—	`conf`	Daisy: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis. ICSE-SEIP Mingrui Zhang, Chijin Zhou, Jianzhong Liu, Mingzhe Wang, Jie Liang, Juan Zhu, Yu Jiang
2023	A*	`conf`	Fault Tolerance in Time-Sensitive Networking with Mixed-Critical Traffic. DAC Wenhong Ma, Xiangzhen Xiao, Guoqi Xie, Nan Guan, Yu Jiang, Wanli Chang
2023	A*	`conf`	Finding Causally Different Tests for an Industrial Control System. ICSE Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang
2023	J	`jnl`	Finding Causally Different Tests for an Industrial Control System. CoRR Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang
2023	J	`jnl`	Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications. ACM Trans. Softw. Eng. Methodol. Yongqiang Tian, Wuqi Zhang, Ming Wen, Shing-Chi Cheung, Chengnian Sun, Shiqing Ma, Yu Jiang
2023	A*	`conf`	LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. NDSS Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, Yu Jiang, Ting Chen, Huizhong Li, Jiaguang Sun
2023	A*	`conf`	Limits of I/O Based Ransomware Detection: An Imitation Based Attack. SP Chijin Zhou, Lihua Guo, Yiwei Hou, Zhenya Ma, Quan Zhang, Mingzhe Wang, Zhe Liu, Yu Jiang
2023	J	`jnl`	PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhuo Su, Dongyan Wang, Zehong Yu, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Wen Li, Aiguo Cui, Jia-Guang Sun
2023	—	`conf`	PPR: Pairwise Program Reduction. ESEC/SIGSOFT FSE Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Yu Jiang, Chengnian Sun
2023	A*	`conf`	Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos. CCS Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Jingxuan Sun, Zhuo Su, Yu Jiang, Jiaguang Sun, Huizhong Li
2023	J	`jnl`	Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts. ACM Trans. Softw. Eng. Methodol. Fuchen Ma, Meng Ren, Lerong Ouyang, Yuanliang Chen, Juan Zhu, Ting Chen, Yingli Zheng, Xiao Dai, Yu Jiang, Jiaguang Sun
2023	J	`jnl`	Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction. Proc. ACM Program. Lang. Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, Chengnian Sun
2023	A*	`conf`	STCG: State-Aware Test Case Generation for Simulink Models. DAC Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui, Yu Jiang
2023	J	`jnl`	Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization. ACM Trans. Softw. Eng. Methodol. Zijing Yin, Yiwen Xu, Fuchen Ma, Haohao Gao, Lei Qiao, Yu Jiang
2023	A*	`conf`	Sequence-Oriented DBMS Fuzzing. ICDE Jie Liang, Yaoguang Chen, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, Yu Jiang, Xiangdong Huang, Ting Chen, Jiashui Wang, Jiajia Li
2023	J	`jnl`	Towards Better Semantics Exploration for Browser Fuzzing. Proc. ACM Program. Lang. Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, Bin Gu
2023	A*	`conf`	Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. SP Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang, Ting Chen, Jia-Guang Sun
2023	J	`jnl`	V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. ACM Trans. Internet Techn. Fuchen Ma, Meng Ren, Ying Fu, Wanting Sun, Houbing Song, Heyuan Shi, Yu Jiang, Huizhong Li
2022	J	`jnl`	Code Synthesis for Dataflow-Based Embedded Software Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhuo Su, Dongyan Wang, Yixiao Yang, Yu Jiang, Wanli Chang, Liming Fang, Wen Li, Jia-Guang Sun
2022	J	`jnl`	DEVoT: Dynamic Delay Modeling of Functional Units Under Voltage and Temperature Variations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Dongning Ma, Xinqiao Zhang, Ke Huang, Yu Jiang, Wanli Chang, Xun Jiao
2022	A*	`conf`	Empirical Study of System Resources Abused by IoT Attackers. ASE Zijing Yin, Yiwen Xu, Chijin Zhou, Yu Jiang
2022	A*	`conf`	Griffin : Grammar-Free DBMS Fuzzing. ASE Jingzhou Fu, Jie Liang, Zhiyong Wu, Mingzhe Wang, Yu Jiang
2022	—	`conf`	Group-based corpus scheduling for parallel fuzzing. ESEC/SIGSOFT FSE Taotao Gu, Xiang Li, Shuaibing Lu, Jianwen Tian, Yuanping Nie, Xiaohui Kuang, Zhechao Lin, Chenyifan Liu, Jie Liang, Yu Jiang
2022	A*	`conf`	HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis. DAC Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Jia-Guang Sun
2022	—	`conf`	Industry practice of configuration auto-tuning for cloud applications and services. ESEC/SIGSOFT FSE Runzhe Wang, Qinglong Wang, Yuxi Hu, Heyuan Shi, Yuheng Shen, Yu Zhan, Ying Fu, Zheng Liu, Xiaohai Shi, Yu Jiang
2022	—	`conf`	KSG: Augmenting Kernel Fuzzing with System Call Specification Generation. USENIX ATC Hao Sun, Yuheng Shen, Jianzhong Liu, Yiru Xu, Yu Jiang
2022	J	`jnl`	MDD: A Unified Model-Driven Design Framework for Embedded Control Software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhuo Su, Dongyan Wang, Yixiao Yang, Zehong Yu, Wanli Chang, Wen Li, Aiguo Cui, Yu Jiang, Jiaguang Sun
2022	J	`jnl`	MIDAS: Safeguarding IoT Devices Against Malware via Real-Time Behavior Auditing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yiwen Xu, Zijing Yin, Yiwei Hou, Jianzhong Liu, Yu Jiang
2022	J	`jnl`	Mercury: Instruction Pipeline Aware Code Generation for Simulink Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zehong Yu, Zhuo Su, Yixiao Yang, Jie Liang, Yu Jiang, Aiguo Cui, Wanli Chang, Rui Wang
2022	—	`conf`	Minerva: browser API fuzzing with dynamic mod-ref analysis. ESEC/SIGSOFT FSE Chijin Zhou, Quan Zhang, Mingzhe Wang, Lihua Guo, Jie Liang, Zhe Liu, Mathias Payer, Yu Jiang
2022	A*	`conf`	Odin: on-demand instrumentation with on-the-fly recompilation. PLDI Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, Yu Jiang
2022	A*	`conf`	PATA: Fuzzing with Path Aware Taint Analysis. SP Jie Liang, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Yu Jiang, Jianzhong Liu, Zhe Liu, Jiaguang Sun
2022	J	`jnl`	Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios. IEEE Trans. Software Eng. Fuchen Ma, Zhenyang Xu, Meng Ren, Zijing Yin, Yuanliang Chen, Lei Qiao, Bin Gu, Huizhong Li, Yu Jiang, Jia-Guang Sun
2022	J	`jnl`	RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems. IEEE Trans. Software Eng. Jianmin Guo, Quan Zhang, Yue Zhao, Heyuan Shi, Yu Jiang, Jia-Guang Sun
2022	J	`jnl`	Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker. CoRR Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun
2022	J	`jnl`	Tardis: Coverage-Guided Embedded Operating System Fuzzing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yuheng Shen, Yiru Xu, Hao Sun, Jianzhong Liu, Zichen Xu, Aiguo Cui, Heyuan Shi, Yu Jiang
2022	J	`jnl`	The Classification and Detection of Malware Using Soft Relevance Evaluation. IEEE Trans. Reliab. Yongchao Zhang, Zhe Liu, Yu Jiang
2022	A	`conf`	Unicorn: detect runtime errors in time-series databases with hybrid input synthesis. ISSTA Zhiyong Wu, Jie Liang, Mingzhe Wang, Chijin Zhou, Yu Jiang
2022	J	`jnl`	Vulnerability Detection of ICS Protocols via Cross-State Fuzzing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Feilong Zuo, Zhengxiong Luo, Junze Yu, Ting Chen, Zichen Xu, Aiguo Cui, Yu Jiang
2021	A	`conf`	AdvDoor: adversarial backdoor attack of deep learning system. ISSTA Quan Zhang, Yifeng Ding, Yongqiang Tian, Jianmin Guo, Min Yuan, Yu Jiang
2021	A	`conf`	Brief Industry Paper: Catching IoT Malware in the Wild Using HoneyIoT. RTAS Yiwen Xu, Yu Jiang, Lu Yu, Juan Li
2021	J	`jnl`	Coverage Guided Differential Adversarial Testing of Deep Learning Systems. IEEE Trans. Netw. Sci. Eng. Jianmin Guo, Yue Zhao, Houbing Song, Yu Jiang
2021	J	`jnl`	DeepFuzzer: Accelerated Deep Greybox Fuzzing. IEEE Trans. Dependable Secur. Comput. Jie Liang, Yu Jiang, Mingzhe Wang, Xun Jiao, Yuanliang Chen, Houbing Song, Kim-Kwang Raymond Choo
2021	A	`conf`	Empirical evaluation of smart contract testing: what is the best choice? ISSTA Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, Yan Cai
2021	J	`jnl`	Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network. CoRR Yongqiang Tian, Wuqi Zhang, Ming Wen, Shing-Chi Cheung, Chengnian Sun, Shiqing Ma, Yu Jiang
2021	J	`jnl`	Formal Design of Multi-Function Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. Yu Jiang, Mingzhe Wang, Zhuo Su, Yixiao Yang, Huihui Wang
2021	A*	`conf`	HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing. DAC Dongning Ma, Jianmin Guo, Yu Jiang, Xun Jiao
2021	J	`jnl`	HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing. CoRR Dongning Ma, Jianmin Guo, Yu Jiang, Xun Jiao
2021	A*	`conf`	HEALER: Relation Learning Guided Kernel Fuzzing. SOSP Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui
2021	A	`conf`	Industrial Oriented Evaluation of Fuzzing Techniques. ICST Mingzhe Wang, Jie Liang, Chijin Zhou, Yuanliang Chen, Zhiyong Wu, Yu Jiang
2021	—	`conf`	Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing. ICSE (SEIP) Mingzhe Wang, Zhiyong Wu, Xinyi Xu, Jie Liang, Chijin Zhou, Huafeng Zhang, Yu Jiang
2021	J	`jnl`	Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing. CoRR Mingzhe Wang, Zhiyong Wu, Xinyi Xu, Jie Liang, Chijin Zhou, Huafeng Zhang, Yu Jiang
2021	—	`conf`	IntelliGen: Automatic Driver Synthesis for Fuzz Testing. ICSE (SEIP) Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang, Yu Jiang
2021	J	`jnl`	IntelliGen: Automatic Driver Synthesis for FuzzTesting. CoRR Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang, Yu Jiang
2021	—	`conf`	Making smart contract development more secure and easier. ESEC/SIGSOFT FSE Meng Ren, Fuchen Ma, Zijing Yin, Ying Fu, Huizhong Li, Wanli Chang, Yu Jiang
2021	A*	`conf`	PAVFuzz: State-Sensitive Fuzz Testing of Protocols in Autonomous Vehicles. DAC Feilong Zuo, Zhengxiong Luo, Junze Yu, Zhe Liu, Yu Jiang
2021	A	`conf`	Poster: Fuzz Testing of Quantum Program. ICST Jiyuan Wang, Fuchen Ma, Yu Jiang
2021	—	`conf`	RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. USENIX ATC Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, Jiaguang Sun
2021	J	`jnl`	Rtkaller: State-aware Task Generation for RTOS Fuzzing. ACM Trans. Embed. Comput. Syst. Yuheng Shen, Hao Sun, Yu Jiang, Heyuan Shi, Yixiao Yang, Wanli Chang
2021	A	`conf`	SCStudio: a secure and efficient integrated development environment for smart contracts. ISSTA Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, Yu Jiang
2021	J	`jnl`	Security reinforcement for Ethereum virtual machine. Inf. Process. Manag. Fuchen Ma, Meng Ren, Ying Fu, Mingzhe Wang, Huizhong Li, Houbing Song, Yu Jiang
2021	J	`jnl`	Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT Devices. IEEE Trans. Ind. Informatics Jian Gao, Xin Yang, Yu Jiang, Houbing Song, Kim-Kwang Raymond Choo, Jiaguang Sun
2021	J	`jnl`	Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker. IEEE Trans. Software Eng. Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun
2020	J	`jnl`	Dynamic DAG Scheduling on Multiprocessor Systems: Reliability, Energy, and Makespan. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jing Huang, Renfa Li, Xun Jiao, Yu Jiang, Wanli Chang
2020	J	`jnl`	EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jian Gao, Yiwen Xu, Yu Jiang, Zhe Liu, Wanli Chang, Xun Jiao, Jiaguang Sun
2020	—	`conf`	Escape from escape analysis of Golang. ICSE (SEIP) Cong Wang, Mingrui Zhang, Yu Jiang, Huafeng Zhang, Zhenchang Xing, Ming Gu
2020	A	`conf`	Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks. ICCAD Xiaotian Dai, Shuai Zhao, Yu Jiang, Xun Jiao, Xiaobo Sharon Hu, Wanli Chang
2020	A*	`conf`	ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation. DAC Zhengxiong Luo, Feilong Zuo, Yuheng Shen, Xun Jiao, Wanli Chang, Yu Jiang
2020	J	`jnl`	LEVAX: An Input-Aware Learning-Based Error Model of Voltage-Scaled Functional Units. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Xun Jiao, Dongning Ma, Wanli Chang, Yu Jiang
2020	A*	`conf`	TEVoT: Timing Error Modeling of Functional Units under Dynamic Voltage and Temperature Variations. DAC Xun Jiao, Dongning Ma, Wanli Chang, Yu Jiang
2020	A*	`conf`	Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling. ASE Chijin Zhou, Mingzhe Wang, Jie Liang, Zhe Liu, Yu Jiang
2019	J	`jnl`	Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Trans. Cyber Phys. Syst. Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha
2019	A	`conf`	EVM SANER Fuchen Ma, Ying Fu, Meng Ren, Mingzhe Wang, Yu Jiang, Kaixiang Zhang, Huizhong Li, Xiang Shi
2019	J	`jnl`	EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. CoRR Ying Fu, Meng Ren, Fuchen Ma, Yu Jiang, Heyuan Shi, Jiaguang Sun
2019	—	`conf`	EVMFuzzer: detect EVM vulnerabilities via fuzz testing. ESEC/SIGSOFT FSE Ying Fu, Meng Ren, Fuchen Ma, Heyuan Shi, Xin Yang, Yu Jiang, Huizhong Li, Xiang Shi
2019	A*	`conf`	EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers. USENIX Security Symposium Yuanliang Chen, Yu Jiang, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Xun Jiao, Zhuo Su
2019	A	`conf`	Enabling clone detection for ethereum via smart contract birthmarks. ICPC Han Liu, Zhiqiang Yang, Yu Jiang, Wenqi Zhao, Jiaguang Sun
2019	A	`conf`	Engineering a Better Fuzzer with Synergically Integrated Optimizations. ISSRE Jie Liang, Yuanliang Chen, Mingzhe Wang, Yu Jiang, Zijiang Yang, Chengnian Sun, Xun Jiao, Jiaguang Sun
2019	J	`jnl`	GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. CoRR Fuchen Ma, Ying Fu, Meng Ren, Wanting Sun, Zhe Liu, Yu Jiang, Jun Sun, Jiaguang Sun
2019	—	`conf`	Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. ISSRE Workshops Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu
2019	A	`conf`	Go-clone: graph-embedding based clone detector for Golang. ISSTA Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun
2019	Misc	`conf`	IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. TASE Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu
2019	—	`conf`	Industry practice of coverage-guided enterprise Linux kernel fuzzing. ESEC/SIGSOFT FSE Heyuan Shi, Runzhe Wang, Ying Fu, Mingzhe Wang, Xiaohai Shi, Xun Jiao, Houbing Song, Yu Jiang, Jiaguang Sun
2019	J	`jnl`	LEOPARD: Identifying Vulnerable Code for Vulnerability Assessment through Program Metrics. CoRR Xiaoning Du, Bihuan Chen, Yuekang Li, Jianmin Guo, Yaqin Zhou, Yang Liu, Yu Jiang
2019	A*	`conf`	Leopard: identifying vulnerable code for vulnerability assessment through program metrics. ICSE Xiaoning Du, Bihuan Chen, Yuekang Li, Jianmin Guo, Yaqin Zhou, Yang Liu, Yu Jiang
2019	—	`conf`	Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. FORMATS Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
2019	J	`jnl`	Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. CoRR Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
2019	J	`jnl`	Polar: Function Code Aware Fuzz Testing of ICS Protocol. ACM Trans. Embed. Comput. Syst. Zhengxiong Luo, Feilong Zuo, Yu Jiang, Jian Gao, Xun Jiao, Jiaguang Sun
2019	J	`jnl`	RNN-Test: Adversarial Testing Framework for Recurrent Neural Network Systems. CoRR Jianmin Guo, Yue Zhao, Xueying Han, Yu Jiang, Jiaguang Sun
2019	—	`conf`	Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design. iThings/GreenCom/CPSCom/SmartData Yu Jiang, Mingzhe Wang, Xun Jiao, Houbing Song, Hui Kong, Rui Wang, Yongxin Liu, Jian Wang, Jiaguang Sun
2019	—	`conf`	Vetting API usages in C programs with IMChecker. ICSE (Companion Volume) Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun
2019	A*	`conf`	VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization. ASE Chijin Zhou, Mingzhe Wang, Jie Liang, Zhe Liu, Chengnian Sun, Yu Jiang
2019	J	`jnl`	Vulnerable Code Clone Detection for Operating System Through Correlation-Induced Learning. IEEE Trans. Ind. Informatics Heyuan Shi, Runzhe Wang, Ying Fu, Yu Jiang, Jian Dong, Kun Tang, Jiaguang Sun
2018	J	`jnl`	A Cyber-Physical System Framework for Early Detection of Paroxysmal Diseases. IEEE Access Zuxing Gu, Yu Jiang, Min Zhou, Ming Gu, Xiaoyu Song, Lui Sha
2018	J	`jnl`	CLIM: A Cross-Level Workload-Aware Timing Error Prediction Model for Functional Units. IEEE Trans. Computers Xun Jiao, Abbas Rahimi, Yu Jiang, Jianguo Wang, Hamed Fatemi, José Pineda de Gyvez, Rajesh K. Gupta
2018	J	`jnl`	DLFuzz: Differential Fuzzing Testing of Deep Learning Systems. CoRR Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun
2018	—	`conf`	DLFuzz: differential fuzzing testing of deep learning systems. ESEC/SIGSOFT FSE Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun
2018	—	`conf`	EClone: detect semantic clones in Ethereum via symbolic transaction sketch. ESEC/SIGSOFT FSE Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, Jiaguang Sun
2018	J	`jnl`	EnFuzz: From Ensemble Learning to Ensemble Fuzzing. CoRR Yuanliang Chen, Yu Jiang, Jie Liang, Mingzhe Wang, Xun Jiao
2018	A	`conf`	Energy-efficient neural networks using approximate computation reuse. DATE Xun Jiao, Vahideh Akhlaghi, Yu Jiang, Rajesh K. Gupta
2018	Misc	`conf`	Enhanced resilient sensor attack detection using fusion interval and measurement history. CODES+ISSS Kang Yang, Rui Wang, Yu Jiang, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi
2018	J	`jnl`	From Offline Towards Real-Time Verification for Robot Systems. IEEE Trans. Ind. Informatics Rui Wang, Yingxia Wei, Houbing Song, Yu Jiang, Yong Guan, Xiaoyu Song, Xiaojuan Li
2018	A	`conf`	Fuzz testing in practice: Obstacles and solutions. SANER Jie Liang, Mingzhe Wang, Yuanliang Chen, Yu Jiang, Renwei Zhang
2018	—	`conf`	Identifying TraIn: a neglected form of socio-technical incongruence. ICSE (Companion Volume) Xiao Wang, Lu Xiao, Ye Yang, Xinyi Xu, Yu Jiang
2018	A	`conf`	Jbench: a dataset of data races for concurrency testing. MSR Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Xian Zhang
2018	A	`conf`	Managing concurrent testing of data race with ComRaDe. ISSTA Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu
2018	—	`conf`	PAFL: extend fuzzing optimizations of single mode to industrial parallel mode. ESEC/SIGSOFT FSE Jie Liang, Yu Jiang, Yuanliang Chen, Mingzhe Wang, Chijin Zhou, Jiaguang Sun
2018	J	`jnl`	QuanFuzz: Fuzz Testing of Quantum Program. CoRR Jiyuan Wang, Ming Gao, Yu Jiang, Jian-Guang Lou, Yue Gao, Dongmei Zhang, Jiaguang Sun
2018	—	`conf`	Runtime Verification of Robots Collision Avoidance Case Study. COMPSAC (1) Chenxia Luo, Rui Wang, Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi
2018	A*	`conf`	S-gram: towards semantic-aware security auditing for Ethereum smart contracts. ASE Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun
2018	—	`conf`	SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. ICSE (Companion Volume) Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun
2018	Misc	`conf`	Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP. SAC Andrew Yi-Zong Ou, Maryam Rahmaniheris, Yu Jiang, Lui Sha, Zhicheng Fu, Shangping Ren
2018	J	`jnl`	Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. Yu Jiang, Han Liu, Houbing Song, Hui Kong, Rui Wang, Yong Guan, Lui Sha
2018	J	`jnl`	Sensor attack detection using history based pairwise inconsistency. Future Gener. Comput. Syst. Kang Yang, Rui Wang, Yu Jiang, Houbing Song, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi
2018	—	`conf`	VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation. ESEC/SIGSOFT FSE Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Heyuan Shi, Jiaguang Sun
2018	A*	`conf`	VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary. ASE Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Jiaguang Sun
2018	—	`conf`	Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. ICSE (Companion Volume) Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017	A	`conf`	A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. MMSys Mohammad Hosseini, Yu Jiang, Ali Yekkehkhany, Richard R. Berlin, Lui Sha
2017	J	`jnl`	A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport. CoRR Mohammad Hosseini, Yu Jiang, Ali Yekkehkhany, Richard R. Berlin, Lui Sha
2017	A*	`conf`	A language model for statements of software code. ASE Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu
2017	A*	`conf`	A static analysis tool with optimizations for reachability determination. ASE YueXing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2017	B	`conf`	Adaptive Clinical Data Communication for Remote Monitoring in Rural Ambulance Transport. CHASE Mohammad Hosseini, Richard R. Berlin, Yu Jiang, Lui Sha
2017	—	`conf`	Assertion Recommendation for Formal Program Verification. COMPSAC (1) Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun
2017	A	`conf`	Combining structural and timing errors in overclocked inexact speculative adders. DATE Xun Jiao, Vincent Camus, Mattia Cacciotti, Yu Jiang, Christian C. Enz, Rajesh K. Gupta
2017	J	`jnl`	Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. IEEE Trans. Ind. Informatics Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, Lui Sha
2017	A	`conf`	Dependable integrated clinical system architecture with runtime verification. ICCAD Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini, Jiaguang Sun
2017	B	`conf`	Formal Modeling and Automatic Code Synthesis for Robot System. ICECCS Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song
2017	A	`conf`	Modeling and integrating physical environment assumptions in medical cyber-physical system design. DATE Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha
2017	B	`conf`	Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. CBMS Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Maryam Rahmaniheris, Lui Sha
2017	J	`jnl`	Preventable Medical Errors Driven Modeling of Medical Best Practice Guidance Systems. J. Medical Syst. Andrew Y.-Z. Ou, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.
2017	A	`conf`	SLoT: A supervised learning model to predict dynamic timing errors of functional units. DATE Xun Jiao, Yu Jiang, Abbas Rahimi, Rajesh K. Gupta
2017	—	`conf`	Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. HSCC Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger
2017	A*	`conf`	Stochastic optimization of program obfuscation. ICSE Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun
2017	B	`conf`	Study of Software-Related Causes in the FDA Medical Device Recalls. ICECCS Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, Lui Sha
2017	J	`jnl`	Toward Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. IEEE Trans. Multim. Mohammad Hosseini, Yu Jiang, Richard R. Berlin, Lui Sha, Houbing Song
2017	A	`conf`	Toward safe interoperations in network connected medical cyber-physical systems using open-loop safe protocols. ICCAD Andrew Y.-Z. Ou, Maryam Rahmaniheris, Yu Jiang, Po-Liang Wu, Lui Sha
2017	J	`jnl`	Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances. CoRR Mohammad Hosseini, Yu Jiang, Richard R. Berlin, Lui Sha, Houbing Song
2017	—	`conf`	Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems. COMPSAC (1) Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Lui Sha
2017	J	`jnl`	Towards coordinated bandwidth adaptations for hundred-scale 3D tele-immersive systems. Multim. Syst. Mohammad Hosseini, Gregorij Kurillo, Seyed Rasoul Etesami, Yu Jiang
2017	J	`jnl`	Verification of Implementations of Cryptographic Hash Functions. IEEE Access Dexi Wang, Yu Jiang, Houbing Song, Fei He, Ming Gu, Jiaguang Sun
2016	J	`jnl`	A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. CoRR Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Shangping Ren, Lui Sha
2016	J	`jnl`	A Pathophysiological Model-Driven Communication for Dynamic Distributed Medical Best Practice Guidance Systems. J. Medical Syst. Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Shangping Ren, Lui Sha
2016	B	`conf`	A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient. CBMS Yu Jiang, Pengliu Tan, Houbing Song, Binhua Wan, Mohammad Hosseini, Lui Sha
2016	—	`conf`	An integrated Medical CPS for early detection of paroxysmal sympathetic hyperactivity. BIBM Zuxing Gu, Hong Song, Yu Jiang, Jeonghone Choi, Hongjiang He, Lui Sha, Ming Gu
2016	—	`conf`	Discrete Abstraction of Multiaffine Systems. HSB Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A. Henzinger, Yu Jiang, Christian Schilling
2016	A	`conf`	From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. RTAS Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha
2016	J	`jnl`	Invariant Clusters for Hybrid Systems. CoRR Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, Thomas A. Henzinger
2016	A*	`conf`	Model driven design of heterogeneous synchronous embedded systems. ASE Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun
2016	J	`jnl`	Model-Driven Design of Clinical Guidance Systems. CoRR Maryam Rahmaniheris, Yu Jiang, Lui Sha
2016	B	`conf`	Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha
2016	J	`jnl`	Sepsis Patient Detection and Monitor Based on Auto-BN. J. Medical Syst. Yu Jiang, Lui Sha, Maryam Rahmaniheris, Binhua Wan, Mohammad Hosseini, Pengliu Tan, Richard B. Berlin Jr.
2016	B	`conf`	Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. FM Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun
2016	J	`jnl`	Towards Coordinated Bandwidth Adaptations for Hundred-Scale 3D Tele-Immersive Systems. CoRR Mohammad Hosseini, Gregorij Kurillo, Seyed Rasoul Etesami, Yu Jiang
2016	—	`conf`	Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. ICCPS Chunhui Guo, Shangping Ren, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.
2016	—	`conf`	Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. D&P@MoDELS Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun
2016	—	`conf`	Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha
2016	B	`conf`	Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. SMC Andrew Y.-Z. Ou, Yu Jiang, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr.
2016	A*	`conf`	Verifying simulink stateflow model: timed automata approach. ASE Yixiao Yang, Yu Jiang, Ming Gu, Jia-Guang Sun
2016	C	`conf`	WILD: A workload-based learning model to predict dynamic delay of functional units. ICCD Xun Jiao, Yu Jiang, Abbas Rahimi, Rajesh K. Gupta
2015	J	`jnl`	Design and Optimization of Multiclocked Embedded Systems Using Formal Techniques. IEEE Trans. Ind. Electron. Yu Jiang, Hehua Zhang, Zonghui Li, Yangdong Deng, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2015	J	`jnl`	Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distributed Syst. Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun
2015	B	`conf`	Embedded System Design with Reliability-Centric Optimization. COMPSAC Yuanyuan Hou, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Zhiping Shi, Jie Zhang
2015	—	`conf`	SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces. ARM@Middleware Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Lui Sha
2015	J	`jnl`	SINk: A Middleware for Synchronization of Heterogeneous Software Interfaces. CoRR Mohammad Hosseini, Yu Jiang, Po-Liang Wu, Richard B. Berlin Jr., Lui Sha
2014	Misc	`conf`	Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. TASE Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2014	J	`jnl`	Symbolic Analysis of Programmable Logic Controllers. IEEE Trans. Computers Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2014	—	`conf`	Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. SIGSOFT FSE Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2014	Misc	`conf`	iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. TASE Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2013	J	`jnl`	An Effective Heuristic-Based Approach for Partitioning. J. Appl. Math. Xibin Zhao, Hehua Zhang, Yu Jiang, Songzheng Song, Xun Jiao, Ming Gu
2013	J	`jnl`	Bayesian-Network-Based Reliability Analysis of PLC Systems. IEEE Trans. Ind. Electron. Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun
2013	—	`conf`	Design and optimization of multi-clocked embedded systems using formal technique. ESEC/SIGSOFT FSE Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun
2013	—	`conf`	Sequential dependency and reliability analysis of embedded systems. ASP-DAC Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2013	—	`conf`	System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2013	B	`conf`	Verification and Implementation of the Protocol Standard in Train Control System. COMPSAC Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2012	J	`jnl`	New strategies for reliability analysis of Programmable Logic Controllers. Math. Comput. Model. Hehua Zhang, Yu Jiang, William N. N. Hung, Guowu Yang, Ming Gu, Jiaguang Sun
2012	—	`conf`	Reliability Analysis of PLC Systems by Bayesian Network. SERE Hehua Zhang, Yu Jiang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu
2012	—	`conf`	Uncertain Model and Algorithm for Hardware/Software Partitioning. ISVLSI Yu Jiang, Hehua Zhang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2011	C	`conf`	Domain-Driven Probabilistic Analysis of Programmable Logic Controllers. ICFEM Hehua Zhang, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu