Yu Jiang Ph.D


Associate Professor

School of Software, Tsinghua University, China

Software System Security Assurance Group

Email: jy1989@mail.tsinghua.edu.cn

Address: 11-319, East-Main Building, Tsinghua

Group Website: www.wingtecher.com

Biography

I am an associate professor in the school of software, Tsinghua University, Beijing, China. I received the BS degree in software engineering from the Beijing University of Post and Telecommunication, China, in 2010.6. I got my Ph.D degree in computer science under the supervision of Prof. Jiaguang Sun from the Tsinghua University in 2015.1. I worked with Prof. Lui Sha as a Postdoc at the University of Illinois at Urbana-Champaign, IL, USA, between 2015.03--2016.08. I joined the school of software in Tsinghua University, as an assistant professor, between 2016.09--2019.11.

Research

Safety assured formal model-driven design of CPS

Aiming at the heterogeneous challenges of CPS, such as asynchronous and synchronous behaviors, and continuous and discretization behaviors, a formal model-driven design method is proposed, which realizes the construction of heterogeneous CPS models and code generation algorithms. This method reduces the difficulty of CPS software coding and improves the correctness of the design process. We apply the approach in the design of vehicle bus controller [TCPS'19, CPScom’19, TITS'18, ICCAD’17b, ASE‘17-Tool, HSCC'17, RTAS'16, FM'16a, FM'16b, ASE'16a-Tool, TPDS'15, TIE'15, FSE'14], and the design of medical cyber-physical system [SAC'17, ICCAD'17a, DATE'17c, TMM'17, BIBM'16, ICCPS'16, ICSE'16, TII'16].

Security and reliability analysis of embedded software

For the reliability and security issues of embedded software, a dynamic Bayesian network-based reliability analysis model for the ladder program used in programmable logic controller [DATE'17a,ICCD'16,TIE'14,TC'14,ASP-DAC'13,FSE'13,TIE’13] and a learning-based vulnerability search and fuzzing of cross-platform embedded firmware of IoT devices [EMSOFT‘19, TII'19a, FSE'18, ASE’18-Tool, TII'18] are proposed. Those methods reduce the difficulty of embedded software analysis and improve the correctness of the reliability calculation and the effectiveness of vulnerability detection.

Validation of AI integrated systems via cross-layer fuzzing

AI is becoming an integral part of future CPS systems such as self-driving cars and robotics. How to ensure the safety of these integrated systems has become a critical challenge. A defect detection and verification method for cross-layer software stack is proposed, where deep learning models [FSE'18-NewIdea, TNSE'20], c/c++ applications [Security‘19, ISSRE’19, FSE’18, ICSE‘18-Tool], Ethereum virtual machine [FSE'19-Tool, SANER'19], embedded operating system kernel [FSE'19, TII'19b] are supported by our current fuzzing work. The approach significantly improves the efficiency of software bug detection ability and the adversarial input generation ability for deep learning models. Funded by Huawei, we are carrying out more works on fuzzing and backdoor detection of AI components to ensure the trustworthy of the autonomous car.

Awards

  • Best SEIP Paper Nominee, ACM SIGSOFT International Conference on Software Engineering (ICSE)- Software Engineering in Practice: 2020
  • Best Paper Nominee, ACM SIGBED International Conference on Embedded Software (EMSOFT): 2019
  • Best Paper Award, IEEE International Conference on Industrial Internet (ICII): 2019
  • Best Paper Award, IEEE International Conference on Cyber-Physical and Social Computing (CPScom): 2019
  • Young Elite Scientists Sponsorship Program, CAST (China Association for Science and Technology): 2018
  • Microsoft Young Rising Star Program, Microsoft Aisa: 2017
  • Distinguished Dissertation Award, China Computer Federation (CCF): 2015
  • Outstanding Dissertation and Ph.D, Tsinghua University, China: 2015

Publications

2020

  • Zhengxiong Luo, Feilong Zuo, Yuheng Shen, Xun Jiao, Wanli Chang, and Yu Jiang*:"ICS Protocol Fuzzing: Coverage Guided Packet Crack and Generation".ACM Design Automation Conference(DAC), USA, 2020.
  • Xun Jiao, Dongning Ma, Wanli Chang, and Yu Jiang:"TEVoT: Timing Error Moodeling of Functional Units under Dynamic Voltage and Temperature Varirations".ACM Design Automation Conference(DAC), USA, 2020.
  • Cong Wang, Mingrui Zhang, Yu Jiang*, Huafeng Zhang, Zhenchang Xing, and Ming Gu:"Escape from Escape Analysis of Golang". ACM SIGSOFT International Conference on Software Engineering - Software Engineering in Practice(ICSE-SEIP, Best Paper Candidate), Korea, 2020.
  • Jianmin Guo, Yue Zhao, Houbing Song, Yu Jiang*:"Coverage Guided Differential Adversarial Testing of Deep Learning SYstems".IEEE Transactions on Network Science and Engineering(TNSE), 2020
  • Xun Jiao, Dongning Ma, Wanli Chang, and Yu Jiang:"LEVAX: An input-aware Learning-based Error Model of Voltage-Scaled Functional Units".IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(TCAD), 2020.

2019

  • Chijin Zhou, Mingzhe Wang, Jie Liang, Chengnian Sun, and Yu Jiang*: "VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization". ACM SIGSOFT International Conference on Automated Software Engineering (ASE-Tool), USA, 2019.
  • Zhengxiong Luo, Feilong Zuo, Yu Jiang*, Jian Gao, Xun Jiao, and Jiaguang Sun:"Polar: Function Code Aware Fuzz Testing of ICS Protocol".ACM SIGBED International Conference on Embedded Software(EMSOFT, Best Paper Candidate), USA, 2019.
  • Rui Wang, Houbing Song, Yu Jiang*, Kang Yang, Yong Guan, and Jiaguang Sun:"A Sensor Attack Detection Method in Intelligent Vehlicles with Multiple Sensors". IEEE International Conference on Industrial Internet(ICII, Best Paper Award), USA, 2019.
  • Jie Liang, Yuanliang Chen, Mingzhe Wang, Chijin Zhou, Yu Jiang*, Zijiang Yang, Chengnian Sun, and Jiaguang Sun:"Engineering a Better Fuzzer with Synergically Integrated Optimization".IEEE 30th International Symposium on Software Reliability Engineering(ISSRE), Germeny, 2018.
  • Ying Fu, Fuchen Ma, Meng Ren, Heyuan Shi, Xin Yang, Yu Jiang*:" EVMFuzzer: Detect EVM Vulnerabilities via Fuzz Testing".ACM 27th Symposium on the Foundations of Software Engineering (FSE-Tool), Estonia, 2019.
  • Heyuan Shi, Runzhe Wang, Ying Fu, Mingzhe Wang, Xiaohai Shi, Xun Jiao, Houbing Song, Yu Jiang*, and Jiaguang Sun:"Industry Practice of Coverage-Guided Enterprise Linux Kernel Fuzzing".ACM 27th Symposium on the Foundations of Software Engineering (FSE), Estonia, 2019.
  • Yu Jiang, Mingzhe Wang, Xun Jiao, Houbing Song, Rui Wang, Jiaguang Sun:"Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design".IEEE 12nd Internationl Conference on Cyber Physical and Social Computing (CPScom,Best Paper Award), USA, 2019.
  • Yuanliang Chen, Yu Jiang*, Fuchen Ma, Jie Liang, Mingzhe Wang, Chijin Zhou, Xun Jiao, and Zuo Su:" EnFuzz: Ensemble Fuzzing with Seed Synchronization among Diverse Fuzzers".USENIX Security Symposium (Security), USA, 2019.
  • Fuchen Ma, Ying Fu, Meng Ren, Mingzhe Wang, Yu Jiang*:" EVM*: From offline detection to Online Reinforcement for Ethereum Virtual Machine".IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER), China, 2019.
  • Jie Liang, Yu Jiang*, Mingzhe Wang, Xun Jiao, Yuanliang Chen, Houbing Song, and Kim-Kwang Raymond Choo:"DeepFuzzer: Accelerated Deep Greybox Fuzzing".IEEE Transactions on Dependable and Secure Computing System(TDSC),2019.
  • Jian Gao, Yu Jiang*, Xin Yang,Zhe Liu, Cong Wang, Xun Jiao, Zijiang Yang and Jiaguang Sun:" Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker ".IEEE Transactions on Software Engineering(TSE), 2019.
  • Heyuan Shi, Runzhe Wang, Ying Fu, Yu Jiang*, and Jiaguang Sun::"Vulnerable Code Clone Detection for Operating System through Correlation Induced Learning".IEEE Transactions on Industry Informatics(TII-b), 2019.
  • Jian Gao, Xin Yang, Yu Jiang* and Jiaguang Sun:" Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT Devices ".IEEE Transactions on Industry Informatics(TII-a), 2019.
  • Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun and Lui Sha:"Dependable Model Driven Development of CPS: From Stateflow Simulation to Verified Implementation".ACM Transactions on Cyber-Physical Systems (TCPS), 2019.

2018

  • Jie Liang, Yu Jiang*, Yuanliang Chen, Mingzhe Wang, Chijin Zhou and Jiaguang Sun:" PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode".IEEE/ACM Symposium on the Foundations of Software Engineering(FSE-a), USA, 2018.
  • Jian Gao, Xin Yang, Ying Fu, Yu Jiang*, Heyuan Shi and Jiaguang Sun:" VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker With Emulation".IEEE/ACM Symposium on the Foundations of Software Engineering(FSE-b), USA, 2018.
  • Jianmin Guo, Yu Jiang*, Yue Zhao and Jiaguang Sun:"DLFuzz: Differential Fuzzing Testing of Deep Learning Systems".IEEE/ACM Symposium on the Foundations of Software Engineering(FSE-New Idea), USA, 2018.
  • Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, and Jiaguang Sun:"EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch".IEEE/ACM Symposium on the Foundations of Software Engineering(FSE-Tool), USA, 2018.
  • Jian Gao, Xin Yang, Ying Fu, Yu Jiang* and Jiaguang Sun:"VulSeeker: A Semantic Learning Based Vulnerability Seeker For Cross-Platform Binary".ACM/IEEE 32nd International Conference on Automated Software Engineering (ASE-Tool), France, 2018.
  • Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, and Jiaguang Sun:"S-gram: Towards Semantic-Aware Security Auditing For Ethereum Smart Contracts".ACM/IEEE 32nd International Conference on Automated Software Engineering (ASE-New Idea), France, 2018.
  • Jie Liang, Mingzhe Wang, Yuanliang Chen, Yu Jiang*, Renwei Zhang:"Fuzzing Testing in Practice: Obstacles and Solutions",IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER), Italy, 2018.
  • Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang*, Xun Jiao, Han Liu, and Jiaguang Sun:"SAFL: Increasing and Accelerating Testing Coverage with Symbolic Execution and Guided Fuzzing",ACM/IEEE 40th International Conference on Software Engineering (ICSE-Tool-a), Sweden, 2018.
  • Cong Wang, Yu Jiang*, Xibin Zhao, Xiaoyu Song, Ming Gu and Jia-Guang Sun:"Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis",ACM/IEEE 40th International Conference on Software Engineering (ICSE-Tool-b), Sweden, 2018.
  • Jian Gao, Xin Yang, Yu Jiang*, Han Liu, Weiliang Ying, Wanting Sun and Ming Gu:" Managing Concurrent Testing of Data Race with ComRaDe".ACM Symposium on Software Testing and Analysis(ISSTA-Tool), Netherlands, 2018.
  • Andrew Y.-Z. Ou, Maryam Rahmaniheris, Yu Jiang*, Lui Sha, Zhicheng Fu and Shangping Ren:"SafeTrace: S Safety-Driven Requirement Traceability Framework on Device Interaction Hazards for MD-Pnp",ACM 33rd Sympoisum on Applied Computing(SAC), France, 2018.
  • Xun Jiao, Vahideh Akhlaghi, Yu Jiang, and Rajesh Gupta:"Energy-Efficient Neural Networks using Approximate Computation Reuse".ACM/IEEE 21th Design, Automation, and Test in Europe (DATE), Germany, 2018.
  • Rui Wang, Yingxia Wei, Yu Jiang*, Houbing Song, Xiaoyu Song, Xiaojuan Li, and Yong Guan:"From Off-line Towards Real-time Verification for Robot Systems".IEEE Transactions on Industry Informatics(TII), 2018.
  • Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun and Lui Sha:[Extension of FM'16]"Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller",IEEE Transactions on Intelligent Transportation Systems (T-ITS), 2018.

2017

  • Andrew Y.-Z. Ou, Maryam Rahmaniheris, Yu Jiang*, Po-Liang Wu and Lui Sha:"Toward Safe Interoperation in Network Connected Medical CPS Using Open-Loop Safe Protocol",ACM/IEEE 36th International Conference on Computer Aided Design(ICCAD-a), USA, 2017.
  • Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini and Jiaguang Sun :"Dependable Integrated Clinical System Architecture with Runtime Verification",ACM/IEEE 36th International Conference on Computer Aided Design(ICCAD-b), USA, 2017.
  • Yixiao Yang, Yu Jiang*, Han Liu, Jian Gao, Ming Gu and Jiaguang Sun:"A Language Model for Statement of Software Code".ACM/IEEE 32nd International Conference on Automated Software Engineering (ASE), USA, 2017.
  • Yuexing Wang, Yu Jiang*, Xiaoyu Song, Ming Gu and Jiaguang Sun:"A Static Analysis Tool with Optimization for Reachability Determination".ACM/IEEE 32nd International Conference on Automated Software Engineering (ASE-Tool), USA, 2017.
  • Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang, and Thomas Henzinger:"Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters".ACM/IEEE 20th International Conference on Hybrid Systems: Computation and Control (HSCC), USA, 2017.
  • Han Liu, Chengnian Sun, Zhengdong Su, Yu Jiang*, Ming Gu, and Jiaguang Sun:"Stochastic Optimization of Program Obfuscation",ACM/IEEE 39th International Conference on Software Engineering (ICSE), Argentina, 2017.
  • Xun Jiao, Yu Jiang, Abbas Rahimi, and Rajesh Gupta:"SLoT: A Supervised learning Model to Predict Dynamic Timing Errors of Functional Units".ACM/IEEE 20th Design, Automation, and Test in Europe (DATE-a), Switzerland, 2017.
  • Xun Jiao, Vincent Camus, Mattia Cacciotti, Yu Jiang, Christian Enz and Rajesh Gupta"Combining Structural and Timing Error in Overclocked Inexact Speculative Adders"ACM/IEEE 20th Design, Automation, and Test in Europe (DATE-b), Switzerland, 2017.
  • Zhicheng Fu, Chunhui Guo, Shangping Ren, Yu Jiang, and Lui Sha:"Modeling and Integrating Physical Environment Assumptions in Medical Cyber-Physical System Design".ACM/IEEE 20th Design, Automation, and Test in Europe (DATE-c), Switzerland, 2017.
  • Mohammad Hosseini, Yu Jiang, Richard R.Berlin, Lui Sha:"A Mobile Geo-Communication Dataset for Physiology-Aware DASH in Rural Ambulance Transport"ACM 8th Multimedia System Conference(MMSys), Taiwan, 2017.
  • Xun Jiao, Abbas Rahimi, Yu Jiang*, Jianguo Wang, Jose Pineda de Gyvez, and Rajesh Gupta:[Extension of ICCD'16]"CLIM: A Cross-level Workload-aware Timing Error Prediction Model for Functional Units".IEEE Transactions on Computers(TC), 2017.
  • Mohammad Hosseini, Yu Jiang*, Richard R.Berlin, Lui Sha:"Towards Physiology-Aware DASH: Bandwidth-Compliant Prioritized Clinical Multimedia Communication in Ambulances"IEEE Transactions on Multimedia(TMM), 2017.

2016

  • Zuxing Gu, Hong Song, Yu Jiang, Jeonghone Choi, Hongjiang He, Lui Sha, and Ming Gu:"An Integrated Medical CPS for Early Detection of Paroxysmal Sympathetic Hyperactivity"IEEE 10th International Conference on Bioinformatics and Biomedicine(BIBM), China, 2016
  • Yu Jiang, Han Liu, Hui Kong, Houbing Song, Ming Gu, Jiaguang Sun and Lui Sha:"Safety-Assured Formal Model-Driven Desing of the Multifunction Vehicle Bus Controller",Springer 21st International Symposium on Formal Methods(FM-a), Cyprus, 2016.
  • Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu and Jiaguang Sun:"Taming Interrupts For Verifying Industrial Multifunction Vehicle Bus Controllers".Springer 21st International Symposium on Formal Methods(FM-b), Cyprus, 2016.
  • Xun Jiao, Yu Jiang*, Abbas Rahimi, and Rajesh Gupta:"A Workload-Based Learning Model to Predict Dynamic Delay of Functional Units".IEEE 34th International Conference on Computer Design (ICCD), USA, 2016.
  • Huafeng Zhang, Yu Jiang*, Han Liu, Ming Gu and Jiaguang Sun:"Tsmart-BIPEX: An integrated Graphical Design Toolkit for Software System",ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS-Tool), France, 2016.
  • Yixiao Yang, Yu Jiang*, Ming Gu and Jiaguang Sun:"Verifying Simulink Stateflow Model-Timed Automata Approach".ACM/IEEE 31st International Conference on Automated Software Engineering (ASE-Tool-a), Singapore, 2016.
  • Huafeng Zhang, Yu Jiang*, Han Liu, Hehua Zhang, Ming Gu and Jiaguang Sun:"Model Driven Design of Heterogeneous Synchronous Embedded Systems",ACM/IEEE 31st International Conference on Automated Software Engineering (ASE-Tool-b), Singapore, 2016.
  • Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jiaguang Sun and Lui Sha:"Use Runtime Verification to Improve the Quality of Medical Care Practice",ACM/IEEE 38th International Conference on Software Engineering (ICSE): 112-122, USA, 2016.
  • Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jiaguang Sun and Lui Sha:"From Stateow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design".ACM/IEEE 22nd Real Time Technology and Applications Symposium (RTAS): 231-241, Austria, 2016.
  • Chunhui Guo, Shangping Ren, Yu Jiang, Poliang Wu, Richard B. Berlin Jr, MD and Lui Sha:"Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models",ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS): 1-10, Austria, 2016
  • Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, and Lui Sha:[Extension of ICSE'16]"Data-centered Runtime Verification of Wireless Medical Cyber-physical System".IEEE Transactions on Industry Informatics(TII), 2016.

2015

  • Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun: "Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks".IEEE Transactions on Parallel and Distributed Systems(TPDS) , 26(8)2220-2232(2015)
  • Yu Jiang, Hehua Zhang, Zonghui Li, Yangdong Deng, Xiaoyu Song, Ming Gu, and Jiaguang Sun: [Extension of FSE'13b]" Design and Optimization of Multi-clocked Embedded Systems using Formal Techniques",IEEE Transactions on Industrial Electronics(TIE), 62(2):1270-1278(2015)

2014

  • Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jiaguang Sun: "Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems",ACM 22nd Symposium on the Foundations of Software Engineering (FSE-Tool):711-714, Hongkong 2014
  • Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, Ming Gu, and Jiaguang Sun: [Extension of FSE'13a]"System Reliability Calculation Based on the Run-time Analysis of Ladder Program", IEEE Transactions on Industrial Electronics(TIE) (2014)
  • Hehua Zhang, Yu Jiang*, William N. N. Hung, Xiaoyu Song, Ming Gu and Jiangguang Sun: [Extension of ICFEM'11]"Symbolic Analysis of Programmable Logic Controllers",IEEE Transactions on Computers(TC), 63(10): 2563-2575 (2014)

2013

  • Hehua Zhang, Yu Jiang*, William N. N. Hung, Xiaoyu Song, Ming Gu and Jiangguang Sun:"Sequential Dependency and Reliability Analysis of Embedded System" ,IEEE/ACM 18th Asia and South Pacific Design Automation Conference (ASP-DAC): 423-428, Japan, 2013
  • Yu Jiang, Zhonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, and Jiaguang Sun:"Design and Optimization of Multi-clocked Embedded Systems Using Formal Technique",IEEE/ACM 21th Symposium on the Foundations of Software Engineering(FSE-a): 695-698, Sankt Peterburg, Russia, 2013
  • Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, Ming Gu, and Jiaguang Sun:"System Reliability Calculation Based on the Run-time Analysis of Ladder Program",IEEE/ACM 21th Symposium on the Foundations of Software Engineering(FSE-b):703-706, Sankt Peterburg, Russia, 2013
  • Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, and Jiaguang Sun: [Extension of SERE'12]"Bayesian Network Based Reliability Analysis of PLC Systems",IEEE Transactions on Industrial Electronics(TIE), 60(11): 5325-5336 (2013)

Projects

  • Trustworthy Embedded Software (PI-3,000,000$) : The project mainly focuses on using formal computation model to specify the design requirements and generate the code automatically, and applying runtime verification to further ensure the correctness of the whole system, especially for the software systems on the autonomous car and wireless base station.
  • Fuzz Testing of Deep Learning System (PI-60,000$):The project mainly focuses on using differential testing to generate the adversary input for the deep learning network and also scan the backdoor of the deep learning systems, especially for the systems of voice and face recognition.
  • Validation of ICS Embedded Firmware (PI-200,000$):The project mainly focuses on using clone detection and fuzzing to detect the vulnerability of the cross-platform binaries, especially for the binary on the embedded devices of the power control system.
  • Dynamic Analysis of System Software-II (PI-300,000$): The project mainly focuses on using thread scheduling algorithm to detect the concurrency errors of the Java Bytecodes, especially for the data races, deadlock, and atomicity violation of applications running on JVM.
  • Security Analysis of Linux Kernel (PI-100,000$):The project mainly focuses on using patch analysis and fuzzing techniques to detect the vulnerabilities of the Linux Kernel.
  • Test Generation for Verifying Control Software (PI-100,000$):The project mainly focuses on using search based technique to generate the test inputs for Simulink Model to maximize the parameter combination coverage and the branch coverage, especially for the model for robot control.
  • Security Analysis of Block Chain System (PI-30,000$):The project mainly focuses on using static analysis and dynamic analysis to automatically generate the contracts and inputs for the vulnerability detection of the Ethereum virtual machine.

Professional Service

Editor Board :

  • ELSEVIER Journal of Systems Architecture: Embedded Software Design(Associate Editor, CCF-B), 2020-now

TPC Member :

  • 43th ACM/IEEE International Conference on Software Engineering(ICSE),2021
  • 20th ACM/IEEE International Conference on Embedded Software(EMSOFT),2020
  • 57th ACM/IEEE Design Automation Conference(DAC), 2020
  • 10th ACM International Conference on Cyber-Physical System(ICCPS), 2020
  • 20th IEEE International Conference on Software Quality, Reliability, and Security(QRS), 2019, 2020
  • 12th IEEE International Conference on Software Testing, Verification and Validation(ICST), Industry Track, 2019, 2020
  • 22nd ACM International Conference on Model-Driven Engineering Languages and Systems(MODELS), 2019
  • 25th IEEE Real-Time and Embedded Technology and Applications Symposium(RTAS), 2019
  • 26th IEEE Asia-Pacific Software Engineering Conference(APSEC),2019
  • 33rd IEEE International Conference on Software Maintenance and Evolution(ICSME), Tool Track, 2017.
  • 22nd IEEE International Confercence on Computers and Communications(ISCC), 2017.etc.

Reviewer :

  • IEEE transactions on Parallel and Distributed Systems,
  • ACM transactions on Cyber-Physical Systems,
  • IEEE transactions on Industry Informatics, etc