Yu Jiang

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 174

Top Venues

CoRR

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

ESEC/SIGSOFT FSE

ASE

Publications

Yuqiao Yang, Zhongjie Wu, Yongzhao Zhang, Ting Chen, Jun Li, Jie Yang, Wenhao Liu, Xiaosong Zhang, Ruicong Shi, Jingwei Li, Yu Jiang, Zhuo Su
UWBAD: Towards Effective and Imperceptible Jamming Attacks Against UWB Ranging Systems with COTS Chips. CoRR (2024)
Yu Jiang, Jie Liang, Fuchen Ma, Yuanliang Chen, Chijin Zhou, Yuheng Shen, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, Shanshan Li, Quan Zhang
When Fuzzing Meets LLMs: Challenges and Opportunities. SIGSOFT FSE Companion (2024)
Quan Zhang, Binqi Zeng, Chijin Zhou, Gwihwan Go, Heyuan Shi, Yu Jiang
Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications. SIGSOFT FSE Companion (2024)
Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Jingzhou Fu, Zhuo Su, Qing Liao, Bin Gu, Bodong Wu, Yu Jiang
Data Coverage for Guided Fuzzing. USENIX Security Symposium (2024)
Yongqiang Tian, Xueyan Zhang, Yiwen Dong, Zhenyang Xu, Mengxiao Zhang, Yu Jiang, Shing-Chi Cheung, Chengnian Sun
On the Caching Schemes to Speed Up Program Reduction. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Yuanhang Zhou, Jingxuan Sun, Fuchen Ma, Yuanliang Chen, Zhen Yan, Yu Jiang
Stop Pulling my Rug: Exposing Rug Pull Risks in Crypto Token to Investors. ICSE-SEIP (2024)
Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, Yu Jiang
Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program. EuroSys (2024)
Feng Luo, Ruijie Luo, Ting Chen, Ao Qiao, Zheyuan He, Shuwei Song, Yu Jiang, Sixing Li
SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network. ICSE (2024)
Jie Liang, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Jianzhong Liu, Yu Jiang
Dodrio: Parallelizing Taint Analysis Based Fuzzing via Redundancy-Free Scheduling. SIGSOFT FSE Companion (2024)
Haoran Liu, Zhouyang Jia, Shanshan Li, Yan Lei, Yue Yu, Yu Jiang, Xiaoguang Mao, Xiangke Liao
Cut to the Chase: An Error-Oriented Approach to Detect Error-Handling Bugs. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Yingwei Ma, Yue Liu, Yue Yu, Yuanliang Zhang, Yu Jiang, Changjian Wang, Shanshan Li
At Which Training Stage Does Code Data Help LLMs Reasoning? ICLR (2024)
Yuanhang Zhou, Fuchen Ma, Yuanliang Chen, Meng Ren, Yu Jiang
CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-aware Fuzzing. ACM Trans. Softw. Eng. Methodol. 33 (2) (2024)
Jinjing Shi, Zimeng Xiao, Heyuan Shi, Yu Jiang, Xuelong Li
QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems. CoRR (2024)
Jianzhong Liu, Yuheng Shen, Yiru Xu, Hao Sun, Yu Jiang
Horus: Accelerating Kernel Fuzzing through Efficient Host-VM Memory Access Procedures. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Jing Luo, Heyuan Shi, Yongchao Zhang, Runzhe Wang, Yuheng Shen, Yuao Chen, Xiaohai Shi, Rongkai Liu, Chao Hu, Yu Jiang
CVECenter: Industry Practice of Automated Vulnerability Management for Linux Distribution Community. SIGSOFT FSE Companion (2024)
Yiwei Hou, Lihua Guo, Chijin Zhou, Yiwen Xu, Zijing Yin, Shanshan Li, Chengnian Sun, Yu Jiang
An Empirical Study of Data Disruption by Ransomware Attacks. ICSE (2024)
Jingzhou Fu, Jie Liang, Zhiyong Wu, Yu Jiang
Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer. ICSE (2024)
Jie Liang, Zhiyong Wu, Jingzhou Fu, Yiyuan Bai, Qiang Zhang, Yu Jiang
WingFuzz: Implementing Continuous Fuzzing for DBMSs. USENIX ATC (2024)
Ying Fu, Teng Wang, Shanshan Li, Jinyan Ding, Shulin Zhou, Zhouyang Jia, Wang Li, Yu Jiang, Xiangke Liao
MissConf: LLM-Enhanced Reproduction of Configuration-Triggered Bugs. ICSE Companion (2024)
Jie Liang, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, Chengnian Sun, Yu Jiang
Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation. ICSE (2024)
Quan Zhang, Binqi Zeng, Chijin Zhou, Gwihwan Go, Heyuan Shi, Yu Jiang
Human-Imperceptible Retrieval Poisoning Attacks in LLM-Powered Applications. CoRR (2024)
Yu Jiang, Jie Liang, Fuchen Ma, Yuanliang Chen, Chijin Zhou, Yuheng Shen, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, ShanShan Li, Quan Zhang
When Fuzzing Meets LLMs: Challenges and Opportunities. CoRR (2024)
Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui, Yu Jiang
STCG: State-Aware Test Case Generation for Simulink Models. DAC (2023)
Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang
Finding Causally Different Tests for an Industrial Control System. ICSE (2023)
Wenhong Ma, Xiangzhen Xiao, Guoqi Xie, Nan Guan, Yu Jiang, Wanli Chang
Fault Tolerance in Time-Sensitive Networking with Mixed-Critical Traffic. DAC (2023)
Fuchen Ma, Meng Ren, Lerong Ouyang, Yuanliang Chen, Juan Zhu, Ting Chen, Yingli Zheng, Xiao Dai, Yu Jiang, Jiaguang Sun
Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury, Jiaguang Sun
Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations. USENIX Security Symposium (2023)
Zhuo Su, Dongyan Wang, Zehong Yu, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Wen Li, Aiguo Cui, Jia-Guang Sun
PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (4) (2023)
Jie Liang, Yaoguang Chen, Zhiyong Wu, Jingzhou Fu, Mingzhe Wang, Yu Jiang, Xiangdong Huang, Ting Chen, Jiashui Wang, Jiajia Li
Sequence-Oriented DBMS Fuzzing. ICDE (2023)
Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, Yu Jiang, Ting Chen, Huizhong Li, Jiaguang Sun
LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. NDSS (2023)
Chijin Zhou, Lihua Guo, Yiwei Hou, Zhenya Ma, Quan Zhang, Mingzhe Wang, Zhe Liu, Yu Jiang
Limits of I/O Based Ransomware Detection: An Imitation Based Attack. SP (2023)
Zijing Yin, Yiwen Xu, Fuchen Ma, Haohao Gao, Lei Qiao, Yu Jiang
Scanner++: Enhanced Vulnerability Detection of Web Applications with Attack Intent Synchronization. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Mingrui Zhang, Chijin Zhou, Jianzhong Liu, Mingzhe Wang, Jie Liang, Juan Zhu, Yu Jiang
Daisy: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis. ICSE-SEIP (2023)
Quan Zhang, Yongqiang Tian, Yifeng Ding, Shanshan Li, Chengnian Sun, Yu Jiang, Jiaguang Sun
CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. ISSTA (2023)
Fuchen Ma, Meng Ren, Fu Ying, Wanting Sun, Houbing Song, Heyuan Shi, Yu Jiang, Huizhong Li
V-Gas: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. ACM Trans. Internet Techn. 23 (3) (2023)
Quan Zhang, Chijin Zhou, Yiwen Xu, Zijing Yin, Mingzhe Wang, Zhuo Su, Chengnian Sun, Yu Jiang, Jia-Guang Sun
Building Dynamic System Call Sandbox with Partial Order Analysis. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang
Finding Causally Different Tests for an Industrial Control System. CoRR (2023)
Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Jingxuan Sun, Zhuo Su, Yu Jiang, Jiaguang Sun, Huizhong Li
Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos. CCS (2023)
Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang, Ting Chen, Jia-Guang Sun
Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. SP (2023)
Yongqiang Tian, Wuqi Zhang, Ming Wen, Shing-Chi Cheung, Chengnian Sun, Shiqing Ma, Yu Jiang
Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications. ACM Trans. Softw. Eng. Methodol. 32 (5) (2023)
Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, Bin Gu
Towards Better Semantics Exploration for Browser Fuzzing. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Mengxiao Zhang, Zhenyang Xu, Yongqiang Tian, Yu Jiang, Chengnian Sun
PPR: Pairwise Program Reduction. ESEC/SIGSOFT FSE (2023)
Zhuo Su, Dongyan Wang, Yixiao Yang, Zehong Yu, Wanli Chang, Wen Li, Aiguo Cui, Yu Jiang, Jiaguang Sun
MDD: A Unified Model-Driven Design Framework for Embedded Control Software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (10) (2022)
Chijin Zhou, Quan Zhang, Mingzhe Wang, Lihua Guo, Jie Liang, Zhe Liu, Mathias Payer, Yu Jiang
Minerva: browser API fuzzing with dynamic mod-ref analysis. ESEC/SIGSOFT FSE (2022)
Fuchen Ma, Zhenyang Xu, Meng Ren, Zijing Yin, Yuanliang Chen, Lei Qiao, Bin Gu, Huizhong Li, Yu Jiang, Jia-Guang Sun
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios. IEEE Trans. Software Eng. 48 (11) (2022)
Zijing Yin, Yiwen Xu, Chijin Zhou, Yu Jiang
Empirical Study of System Resources Abused by IoT Attackers. ASE (2022)
Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun
Semantic Learning and Emulation Based Cross-platform Binary Vulnerability Seeker. CoRR (2022)
Feilong Zuo, Zhengxiong Luo, Junze Yu, Ting Chen, Zichen Xu, Aiguo Cui, Yu Jiang
Vulnerability Detection of ICS Protocols via Cross-State Fuzzing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Dongning Ma, Xinqiao Zhang, Ke Huang, Yu Jiang, Wanli Chang, Xun Jiao
DEVoT: Dynamic Delay Modeling of Functional Units Under Voltage and Temperature Variations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (4) (2022)
Yongchao Zhang, Zhe Liu, Yu Jiang
The Classification and Detection of Malware Using Soft Relevance Evaluation. IEEE Trans. Reliab. 71 (1) (2022)
Zhuo Su, Dongyan Wang, Yixiao Yang, Yu Jiang, Wanli Chang, Liming Fang, Wen Li, Jia-Guang Sun
Code Synthesis for Dataflow-Based Embedded Software Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (1) (2022)
Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, Yu Jiang
Odin: on-demand instrumentation with on-the-fly recompilation. PLDI (2022)
Zhiyong Wu, Jie Liang, Mingzhe Wang, Chijin Zhou, Yu Jiang
Unicorn: detect runtime errors in time-series databases with hybrid input synthesis. ISSTA (2022)
Jianmin Guo, Quan Zhang, Yue Zhao, Heyuan Shi, Yu Jiang, Jia-Guang Sun
RNN-Test: Towards Adversarial Testing for Recurrent Neural Network Systems. IEEE Trans. Software Eng. 48 (10) (2022)
Jie Liang, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Yu Jiang, Jianzhong Liu, Zhe Liu, Jiaguang Sun
PATA: Fuzzing with Path Aware Taint Analysis. IEEE Symposium on Security and Privacy (2022)
Yiwen Xu, Zijing Yin, Yiwei Hou, Jianzhong Liu, Yu Jiang
MIDAS: Safeguarding IoT Devices Against Malware via Real-Time Behavior Auditing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Yuheng Shen, Yiru Xu, Hao Sun, Jianzhong Liu, Zichen Xu, Aiguo Cui, Heyuan Shi, Yu Jiang
Tardis: Coverage-Guided Embedded Operating System Fuzzing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Jiyuan Wang, Fuchen Ma, Yu Jiang
Poster: Fuzz Testing of Quantum Program. ICST (2021)
Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, Jiaguang Sun
RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. USENIX Annual Technical Conference (2021)
Fuchen Ma, Meng Ren, Ying Fu, Mingzhe Wang, Huizhong Li, Houbing Song, Yu Jiang
Security reinforcement for Ethereum virtual machine. Inf. Process. Manag. 58 (4) (2021)
Mingzhe Wang, Zhiyong Wu, Xinyi Xu, Jie Liang, Chijin Zhou, Huafeng Zhang, Yu Jiang
Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing. CoRR (2021)
Dongning Ma, Jianmin Guo, Yu Jiang, Xun Jiao
HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing. DAC (2021)
Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun
Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker. IEEE Trans. Software Eng. 47 (11) (2021)
Yuheng Shen, Hao Sun, Yu Jiang, Heyuan Shi, Yixiao Yang, Wanli Chang
Rtkaller: State-aware Task Generation for RTOS Fuzzing. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Yiwen Xu, Yu Jiang, Lu Yu, Juan Li
Brief Industry Paper: Catching IoT Malware in the Wild Using HoneyIoT. RTAS (2021)
Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang, Yu Jiang
IntelliGen: Automatic Driver Synthesis for FuzzTesting. CoRR (2021)
Quan Zhang, Yifeng Ding, Yongqiang Tian, Jianmin Guo, Min Yuan, Yu Jiang
AdvDoor: adversarial backdoor attack of deep learning system. ISSTA (2021)
Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu, Ting Chen, Yu Jiang
SCStudio: a secure and efficient integrated development environment for smart contracts. ISSTA (2021)
Yongqiang Tian, Wuqi Zhang, Ming Wen, Shing-Chi Cheung, Chengnian Sun, Shiqing Ma, Yu Jiang
Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network. CoRR (2021)
Mingrui Zhang, Jianzhong Liu, Fuchen Ma, Huafeng Zhang, Yu Jiang
IntelliGen: Automatic Driver Synthesis for Fuzz Testing. ICSE (SEIP) (2021)
Mingzhe Wang, Jie Liang, Chijin Zhou, Yuanliang Chen, Zhiyong Wu, Yu Jiang
Industrial Oriented Evaluation of Fuzzing Techniques. ICST (2021)
Jianmin Guo, Yue Zhao, Houbing Song, Yu Jiang
Coverage Guided Differential Adversarial Testing of Deep Learning Systems. IEEE Trans. Netw. Sci. Eng. 8 (2) (2021)
Jian Gao, Xin Yang, Yu Jiang, Houbing Song, Kim-Kwang Raymond Choo, Jiaguang Sun
Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT Devices. IEEE Trans. Ind. Informatics 17 (2) (2021)
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, Yan Cai
Empirical evaluation of smart contract testing: what is the best choice? ISSTA (2021)
Dongning Ma, Jianmin Guo, Yu Jiang, Xun Jiao
HDTest: Differential Fuzz Testing of Brain-Inspired Hyperdimensional Computing. CoRR (2021)
Meng Ren, Fuchen Ma, Zijing Yin, Ying Fu, Huizhong Li, Wanli Chang, Yu Jiang
Making smart contract development more secure and easier. ESEC/SIGSOFT FSE (2021)
Mingzhe Wang, Zhiyong Wu, Xinyi Xu, Jie Liang, Chijin Zhou, Huafeng Zhang, Yu Jiang
Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing. ICSE (SEIP) (2021)
Jie Liang, Yu Jiang, Mingzhe Wang, Xun Jiao, Yuanliang Chen, Houbing Song, Kim-Kwang Raymond Choo
DeepFuzzer: Accelerated Deep Greybox Fuzzing. IEEE Trans. Dependable Secur. Comput. 18 (6) (2021)
Yu Jiang, Mingzhe Wang, Zhuo Su, Yixiao Yang, Huihui Wang
Formal Design of Multi-Function Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. 22 (6) (2021)
Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui
HEALER: Relation Learning Guided Kernel Fuzzing. SOSP (2021)
Jing Huang, Renfa Li, Xun Jiao, Yu Jiang, Wanli Chang
Dynamic DAG Scheduling on Multiprocessor Systems: Reliability, Energy, and Makespan. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Chijin Zhou, Mingzhe Wang, Jie Liang, Zhe Liu, Yu Jiang
Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling. ASE (2020)
Jian Gao, Yiwen Xu, Yu Jiang, Zhe Liu, Wanli Chang, Xun Jiao, Jiaguang Sun
EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Xun Jiao, Dongning Ma, Wanli Chang, Yu Jiang
LEVAX: An Input-Aware Learning-Based Error Model of Voltage-Scaled Functional Units. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
Cong Wang, Mingrui Zhang, Yu Jiang, Huafeng Zhang, Zhenchang Xing, Ming Gu
Escape from escape analysis of Golang. ICSE (SEIP) (2020)
Zhengxiong Luo, Feilong Zuo, Yuheng Shen, Xun Jiao, Wanli Chang, Yu Jiang
ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation. DAC (2020)
Xun Jiao, Dongning Ma, Wanli Chang, Yu Jiang
TEVoT: Timing Error Modeling of Functional Units under Dynamic Voltage and Temperature Variations. DAC (2020)
Xiaotian Dai, Shuai Zhao, Yu Jiang, Xun Jiao, Xiaobo Sharon Hu, Wanli Chang
Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks. ICCAD (2020)
Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu
Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. ISSRE Workshops (2019)
Jianmin Guo, Yue Zhao, Xueying Han, Yu Jiang, Jiaguang Sun
RNN-Test: Adversarial Testing Framework for Recurrent Neural Network Systems. CoRR (2019)
Fuchen Ma, Ying Fu, Meng Ren, Mingzhe Wang, Yu Jiang, Kaixiang Zhang, Huizhong Li, Xiang Shi
: From Offline Detection to Online Reinforcement for Ethereum Virtual Machine. SANER (2019)
Yu Jiang, Mingzhe Wang, Xun Jiao, Houbing Song, Hui Kong, Rui Wang, Yongxin Liu, Jian Wang, Jiaguang Sun
Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design. iThings/GreenCom/CPSCom/SmartData (2019)
Heyuan Shi, Runzhe Wang, Ying Fu, Yu Jiang, Jian Dong, Kun Tang, Jiaguang Sun
Vulnerable Code Clone Detection for Operating System Through Correlation-Induced Learning. IEEE Trans. Ind. Informatics 15 (12) (2019)
Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. FORMATS (2019)
Han Liu, Zhiqiang Yang, Yu Jiang, Wenqi Zhao, Jiaguang Sun
Enabling clone detection for ethereum via smart contract birthmarks. ICPC (2019)
Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun
Vetting API usages in C programs with IMChecker. ICSE (Companion Volume) (2019)
Ying Fu, Meng Ren, Fuchen Ma, Yu Jiang, Heyuan Shi, Jiaguang Sun
EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. CoRR (2019)
Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs. TASE (2019)
Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. CoRR (2019)
Chijin Zhou, Mingzhe Wang, Jie Liang, Zhe Liu, Chengnian Sun, Yu Jiang
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization. ASE (2019)

Yu Jiang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yu Jiang