| 2023 | CCS | Phoenix: Detect and Locate Resilience Issues in Blockchain via Context-Sensitive Chaos. | Fuchen Ma, Yuanliang Chen, Yuanhang Zhou, Jingxuan Sun, Zhuo Su, Yu Jiang, Jiaguang Sun, Huizhong Li |
| 2023 | ISSTA | CoopHance: Cooperative Enhancement for Robustness of Deep Learning Systems. | Quan Zhang, Yongqiang Tian, Yifeng Ding, Shanshan Li, Chengnian Sun, Yu Jiang, Jiaguang Sun |
| 2023 | NDSS | LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. | Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, Yu Jiang, Ting Chen, Huizhong Li, Jiaguang Sun |
| 2022 | SP | PATA: Fuzzing with Path Aware Taint Analysis. | Jie Liang, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Yu Jiang, Jianzhong Liu, Zhe Liu, Jiaguang Sun |
| 2021 | USENIX | RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. | Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, Jiaguang Sun |
| 2019 | APSEC | Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis. | Yuexing Wang, Min Zhou, Ming Gu, Jiaguang Sun |
| 2019 | ICSE | Vetting API usages in C programs with IMChecker. | Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun |
| 2019 | ISSRE | Engineering a Better Fuzzer with Synergically Integrated Optimizations. | Jie Liang, Yuanliang Chen, Mingzhe Wang, Yu Jiang, Zijiang Yang, Chengnian Sun, Xun Jiao, Jiaguang Sun |
| 2019 | ISSTA | VFQL: combinational static analysis as query language. | Guang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun |
| 2019 | ISSTA | Go-clone: graph-embedding based clone detector for Golang. | Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun |
| 2018 | APSEC | Scalable Verification Framework for C Program. | Guang Chen, Dexi Wang, Tianchi Li, Chao Zhang, Ming Gu, Jiaguang Sun |
| 2018 | APSEC | Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path. | Guang Chen, Min Zhou, Jiaguang Sun, Xiaoyu Song |
| 2018 | ICSE | Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. | Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2018 | ICSE | SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. | Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun |
| 2017 | COMPSAC | A Constraint-Pattern Based Method for Reachability Determination. | Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2017 | COMPSAC | Assertion Recommendation for Formal Program Verification. | Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun |
| 2017 | ICCAD | Dependable integrated clinical system architecture with runtime verification. | Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini, Jiaguang Sun |
| 2017 | IJCAI | Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. | Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun |
| 2017 | ICSE | Stochastic optimization of program obfuscation. | Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun |
| 2016 | COMPSAC | Automatic Fix for C Integer Errors by Precision Improvement. | Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2016 | FM | Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. | Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha |
| 2016 | FM | Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. | Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun |
| 2016 | MODELS | C Code Verification based on the Extended Labeled Transition System Model. | Dexi Wang, Chao Zhang, Guang Chen, Ming Gu, Jiaguang Sun |
| 2016 | MODELS | Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. | Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun |
| 2014 | CVPR | Transfer Joint Matching for Unsupervised Domain Adaptation. | Mingsheng Long, Jianmin Wang, Guiguang Ding, Jiaguang Sun, Philip S. Yu |
| 2014 | ICDE | Matching heterogeneous events with patterns. | Xiaochen Zhu, Shaoxu Song, Jianmin Wang, Philip S. Yu, Jiaguang Sun |
| 2014 | TASE | Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. | Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2013 | ASPDAC | Sequential dependency and reliability analysis of embedded systems. | Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun |
| 2013 | COMPSAC | Verification and Implementation of the Protocol Standard in Train Control System. | Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun |
| 2013 | CVPR | Transfer Sparse Coding for Robust Image Representation. | Mingsheng Long, Guiguang Ding, Jianmin Wang, Jiaguang Sun, Yuchen Guo, Philip S. Yu |
| 2013 | ICCV | Transfer Feature Learning with Joint Distribution Adaptation. | Mingsheng Long, Jianmin Wang, Guiguang Ding, Jiaguang Sun, Philip S. Yu |
| 2012 | CIKM | Automatic image annotation using tag-related random search over visual neighbors. | Zijia Lin, Guiguang Ding, Mingqing Hu, Jianmin Wang, Jiaguang Sun |
| 2012 | TASE | Modeling and Validation of PLC-Controlled Systems: A Case Study. | Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga |
| 2011 | TASE | Proving Computational Geometry Algorithms in TLA+2. | Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2008 | SAC | Towards trace semantics for WS-CDL with alignments. | Yahui Lu, Li Zhang, Jiaguang Sun |
| 2007 | ICDS | A Phase-Based Self-Tuning Algorithm for Reconfigurable Cache. | Manman Peng, Jiaguang Sun, Yuming Wang |
| 2007 | SAC | A machine learning approach to semi-automating workflow staff assignment. | Yingbo Liu, Jianmin Wang, Jiaguang Sun |
| 2007 | SNPD | Automated Test Data Generation Algorithm Based On Reversed Binary Tree. | Junyi Li, Jiaguang Sun |
| 2006 | CSCWD | A Distributed Domain Administration of RBAC Model in Collaborative Environments. | Yahui Lu, Li Zhang, Yinbo Liu, Jiaguang Sun |
| 2006 | ICCD | Generating Compact Robust and Non-Robust Tests for Complete Coverage of Path Delay Faults Based on Stuck-at Tests. | Dong Xiang, Kaiwei Li, Hideo Fujiwara, Jiaguang Sun |
| 2006 | ISPEC | Using | Yahui Lu, Li Zhang, Yinbo Liu, Jiaguang Sun |
| 2006 | ISVC | Optimal Parameterizations of Bzier Surfaces. | Yi-Jun Yang, Jun-Hai Yong, Hui Zhang, Jean-Claude Paul, Jiaguang Sun |
| 2006 | ISVC | Constrained Delaunay Triangulation Using Delaunay Visibility. | Yi-Jun Yang, Hui Zhang, Jun-Hai Yong, Wei Zeng, Jean-Claude Paul, Jiaguang Sun |
| 2005 | CIS | Integrating Collaborate and Content-Based Filtering for Personalized Information Recommendation. | Zhiyun Xin, Jizhong Zhao, Ming Gu, Jiaguang Sun |
| 2005 | ISCAS | Segmented channel routing with pin rearrangements via satisfiability. | Fei He, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun |
| 2005 | NPC | Secure Anonymous Communication with Conditional Traceability. | Zhaofeng Ma, Xibin Zhao, Zhi Guo, Ming Gu, Jiaguang Sun |