| 2025 | EuroSys | Multi-Grained Specifications for Distributed System Model Checking and Verification. | Lingzhi Ouyang, Xudong Sun, Ruize Tang, Yu Huang, Madhav Jivrajani, Xiaoxing Ma, Tianyin Xu |
| 2025 | ICLR | Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning. | Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma |
| 2025 | IJCAI | Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving. | Bingzhe Zhou, Hannan Wang, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma |
| 2025 | USENIX | Converos: Practical Model Checking for Verifying Rust OS Kernel Concurrency. | Ruize Tang, Minghua Wang, Xudong Sun, Lin Huang, Yu Huang, Xiaoxing Ma |
| 2024 | EuroSys | SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration. | Ruize Tang, Xudong Sun, Yu Huang, Yuyang Wei, Lingzhi Ouyang, Xiaoxing Ma |
| 2024 | ICSE | TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts. | Hui Gao, Hongyu Kuang, Wesley K. G. Assuno, Christoph Mayr-Dorn, Guoping Rong, He Zhang, Xiaoxing Ma, Alexander Egyed |
| 2024 | QRS | Symbolic Execution with Test Cases Generated by Large Language Models. | Jiahe Xu, Jingwei Xu, Taolue Chen, Xiaoxing Ma |
| 2023 | ICLR | Softened Symbol Grounding for Neuro-symbolic Systems. | Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian L |
| 2023 | ICLR | Learning with Logical Constraints but without Shortcut Satisfaction. | Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian L |
| 2023 | ICSE | Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective. | Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, Jian Lu |
| 2023 | ICSE | Data Quality Matters: A Case Study of Obsolete Comment Detection. | Shengbin Xu, Yuan Yao, Feng Xu, Tianxiao Gu, Jingwei Xu, Xiaoxing Ma |
| 2023 | SETTA | Leveraging TLA | Lingzhi Ouyang, Yu Huang, Binyu Huang, Xiaoxing Ma |
| 2022 | KDD | Fair Representation Learning: An Alternative to Mutual Information. | Ji Liu, Zenan Li, Yuan Yao, Feng Xu, Xiaoxing Ma, Miao Xu, Hanghang Tong |
| 2022 | SRDS | Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction. | Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma |
| 2021 | ICSE | Synthesizing Object State Transformers for Dynamic Software Updates. | Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma |
| 2021 | ICSE | PASTA: Synthesizing Object State Transformers for Dynamic Software Updates. | Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma |
| 2020 | ICSE | Testing file system implementations on layered models. | Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2020 | ICSE | Dissector: input validation for deep learning applications by crossing-layer dissection. | Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2020 | ICSE | ComboDroid: generating high-quality test inputs for Android apps via use case combinations. | Jue Wang, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu |
| 2019 | APSEC | VISION: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis. | Ziqi Chen, Huiyan Wang, Chang Xu, Xiaoxing Ma, Chun Cao |
| 2019 | COMPSAC | ParaAim: Testing Android Applications Parallel at Activity Granularity. | Chun Cao, Jing Deng, Ping Yu, Zhiyong Duan, Xiaoxing Ma |
| 2019 | ICSE | Practical GUI testing of Android applications via model abstraction and refinement. | Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su |
| 2019 | ICSE | Structural coverage criteria for neural networks could be misleading. | Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao |
| 2019 | QRS | WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties. | Da Li, Huiyan Wang, Chang Xu, Fengmin Shi, Xiaoxing Ma, Jian Lu |
| 2018 | COMPSAC | Improving Cluster Resource Efficiency with Oversubscription. | Jie Chen, Chun Cao, Ying Zhang, Xiaoxing Ma, Haiwei Zhou, Chengwei Yang |
| 2018 | COMPSAC | An Assertion Framework for Mobile Robotic Programming with Spatial Reasoning. | Hao Sun, Xiaoxing Ma, Tiansi Dong, Armin B. Cremers, Chun Cao |
| 2018 | ECOOP | Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis. | Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu |
| 2018 | ICSE | Synthesizing relation-aware entity transformation by examples. | Jiarong Wu, Yanyan Jiang, Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Jian Lu |
| 2018 | QRS | Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing. | Dawei Cheng, Chun Cao, Chang Xu, Xiaoxing Ma |
| 2018 | QRS | SynEva: Evaluating ML Programs by Mirror Program Synthesis. | Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2017 | COMPSAC | Xdroid: Testing Android Apps with Dependency Injection. | Chun Cao, Chenglin Meng, Hongjun Ge, Ping Yu, Xiaoxing Ma |
| 2017 | ICSE | Synthesizing object transformation for dynamic software updating. | Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian L |
| 2016 | APSEC | Improving Reliability of Dynamic Software Updating Using Runtime Recovery. | Tianxiao Gu, Zelin Zhao, Xiaoxing Ma, Chang Xu, Chun Cao, Jian Lu |
| 2016 | APSEC | Effectively Manifesting Concurrency Bugs in Android Apps. | Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, Jian Lu |
| 2016 | APSEC | Testing Android Apps via Guided Gesture Event Generation. | Xiangyu Wu, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu |
| 2016 | APSEC | CURE: Automated Patch Generation for Dynamic Software Update. | Zelin Zhao, Tianxiao Gu, Xiaoxing Ma, Chang Xu, Jian Lu |
| 2016 | COMPSAC | Apsaras: Efficient Allocation of Physical Devices for Android Testing. | Tianchi Liu, Chun Cao, Jie Chen, Ziling Lu, Xiaoxing Ma |
| 2016 | HPCC | SLA-Aware and Green Resource Management of IaaS Clouds. | Shuo Cheng, Chun Cao, Ping Yu, Xiaoxing Ma |
| 2016 | QRS | Verifying Distributed Controllers with Local Invariants. | Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, Chang Xu |
| 2015 | APSEC | ABC: Accelerated Building of C/C++ Projects. | Ying Zhang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Ping Yu |
| 2015 | COMPSAC | Concolic Metamorphic Debugging. | Hao Jin, Yanyan Jiang, Na Liu, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2015 | COMPSAC | CoseDroid: Effective Computation- and Sensing-Offloading for Android Apps. | Xiangyu Wu, Chang Xu, Ziling Lu, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu |
| 2015 | QRS | An Event-Based Formal Framework for Dynamic Software Update. | Shengwei An, Xiaoxing Ma, Chun Cao, Ping Yu, Chang Xu |
| 2014 | APSEC | User Guided Automation for Testing Mobile Apps. | Xiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2014 | APSEC | GAIN: GPU-Based Constraint Checking for Context Consistency. | Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu |
| 2014 | APSEC | SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning. | Wang Xi, Chang Xu, Wenhua Yang, Ping Yu, Xiaoxing Ma, Jiang Lu |
| 2014 | APWEB | Measuring User Similarity with Trajectory Patterns: Principles and New Metrics. | Xihui Chen, Ruipeng Lu, Xiaoxing Ma, Jun Pang |
| 2014 | ICSE | CARE: cache guided deterministic replay for concurrent Java programs. | Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2013 | APSEC | Automated Management of Dynamic Component Dependency for Runtime System Reconfiguration. | Ping Su, Chun Cao, Xiaoxing Ma, Jian Lu |
| 2013 | Middleware | DPAC: an infrastructure for dynamic program analysis of concurrency Java programs. | Yanyan Jiang, Chang Xu, Xiaoxing Ma |
| 2012 | APSCC | Towards Dynamic Evolution of Service Choreographies. | Wei Song, Gongxuan Zhang, Yang Zou, Qiliang Yang, Xiaoxing Ma |
| 2012 | APSEC | Javelus: A Low Disruptive Approach to Dynamic Software Updates. | Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, Jian Lu |
| 2012 | APSEC | Resynchronizing Model-Based Self-Adaptive Systems with Environments. | Linghao Zhang, Chang Xu, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, Jian Lu |
| 2012 | COMPSAC | ConsView: Towards Application-Specific Consistent Context Views. | Haibin Yang, Chang Xu, Xiaoxing Ma, Linghao Zhang, Chun Cao, Jian Lu |
| 2012 | ICPADS | Capturing Tag Dynamics by Prediction for Pervasive Internet-of-Things Applications. | Yu Huang, Xiaoxing Ma, Yiling Yang |
| 2012 | PERCOM | Formal specification and runtime detection of temporal properties for asynchronous context. | Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu |
| 2011 | ICWS | Refactoring and Publishing WS-BPEL Processes to Obtain More Partners. | Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Hao Hu, Qiliang Yang, Jian L |
| 2011 | Mobiquitous | Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing. | Chang Xu, Xiaoxing Ma, Chun Cao, Jian Lu |
| 2009 | PERCOM | Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context. | Yu Huang, Xiaoxing Ma, Jiannong Cao, XianPing Tao, Jian Lu |
| 2009 | VINCI | Constructing Confluent Context-sensitive Graph Grammars from Non-confluent Productions for Parsing Efficiency. | Yang Zou, Jian L, Xiaoqin Zeng, Xiaoxing Ma, Qiliang Yang |
| 2008 | ICWS | Toward a Model-Based Approach to Dynamic Adaptation of Composite Services. | Wei Song, Xiaoxing Ma, Wanchun Dou, Jian L |
| 2007 | ISPA | A Mutual Exclusion Algorithm for Mobile Agents-Based Applications. | Chun Cao, Jiannong Cao, Xiaoxing Ma, Jian L |
| 2007 | SAC | Applying ontology in architecture-based self-management applications. | Yu Zhou, Jian Pan, Xiaoxing Ma, Bin Luo, XianPing Tao, Jian Lu |
| 2007 | SEKE | Constructing Self-Adaptive Systems with Polymorphic Software Architecture. | Xiaoxing Ma, Yu Zhou, Jian Pan, Ping Yu, Jian Lu |
| 2003 | SEKE | A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture. | Xiaoxing Ma, Jian Lu, Jiannong Cao, Alvin T. S. Chan, Kang Zhang |
| 2002 | ICPP | WebGOP: A Framework for Architecting and Programming Dynamic Distributed Web Applications. | Xiaoxing Ma, Alvin T. S. Chan, Jian Lu |