About SEG
SEG News
SEG Seminar
Internal Site
Hot Link
Contact SEG
[Accepted] [2022] [2021] [2020] [2019]
Selected Publications
    International Journal
  • Jiawan Wang, Lei Bu, Shaopeng Xing, Xuandong Li. Path-Oriented Derivative-Free Approach for Safety falsification of Nonlinear and Nondeterministic CPS.  In  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, download
  • Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li. Machine Learning Steered Symbolic Execution Framework for Complex Software Code.  In  Formal Aspects of Computing, download
  • Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu. Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.  In  TOCS, download
  • Chinese Journal
    International Conference & Workshop
  • Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Linzhang Wang, Xuandong Li, Guoqing Harry Xu. Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code.  In  PLDI2021, download
  • Meng Sha, Xin Chen, Yuzhe Ji, Qingye Zhao, Enyi Tang, Xuandong Li. Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via approximations.  In  DAC, download
  • Tongtong Xu, Minxue Pan, Yu Pei, Guiyin Li, Xia Zeng, Yuetang Deng, Xuandong Li. Guider: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps.  In  ISSTA, download
  • Qingye Zhao, Xin Chen, Yifan Zhang, Meng Sha, ZhengFeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li. Synthesizing ReLU Neural Networks with Two Hidden Layers as Barrier Certificates for Hybrid Systems.  In  HSCC, download
  • Zhong Li, Minxue Pan, Tian Zhang, Xuandong Li. Testing DNN-based Autonomous Driving Systems under Critical Environmental Conditions.  In  ICML2021, download
  • Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu. JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace.  In  PLDI, download
  • 肖安祥, 张硕骁, 汤恩义, 陈 鑫, 王林章。一种经验库制导的浮点程序优化加速策略。 计算机学报, download