| 2025 | CVPR | High-Fidelity Lightweight Mesh Reconstruction from Point Clouds. | Chen Zhang, Wentao Wang, Ximeng Li, Xinyao Liao, Wanjuan Su, Wenbing Tao |
| 2025 | SETTA | Strategy-Aware Liquidity for Account-Based Blockchains. | Ximeng Li, Sensen Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhi-Ping Shi |
| 2024 | AAAI | IINet: Implicit Intra-inter Information Fusion for Real-Time Stereo Matching. | Ximeng Li, Chen Zhang, Wanjuan Su, Wenbing Tao |
| 2024 | FASE | Refinement Verification of OS Services based on a Verified Preemptive Microkernel. | Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi |
| 2023 | APSEC | Formal Verification of Interrupt Isolation for the TrustZone-based TEE. | Leping Zhang, Qianying Zhang, Xinyue Wang, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan |
| 2021 | SETTA | Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics. | Ximeng Li, Qianying Zhang, Guohui Wang, Zhiping Shi, Yong Guan |
| 2020 | APLAS | Formal Verification of Atomicity Requirements for Smart Contracts. | Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan |
| 2020 | APSEC | Formal Verification of Memory Isolation for the TrustZone-based TEE. | Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi |
| 2020 | ICFEM | Formalizing the Transaction Flow Process of Hyperledger Fabric. | Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan |
| 2019 | ICFEM | Towards Verifying Ethereum Smart Contracts at Intermediate Language Level. | Ximeng Li, Zhiping Shi, Qianying Zhang, Guohui Wang, Yong Guan, Ning Han |
| 2019 | TASE | A HOL Theory of the Differential for Matrix Functions. | Yuhan Nie, Zhiping Shi, Aixuan Wu, Ximeng Li, Guohui Wang, Yong Guan |
| 2017 | APLAS | Taming Message-Passing Communication in Compositional Reasoning About Confidentiality. | Ximeng Li, Heiko Mantel, Markus Tasch |
| 2016 | CCS | Future-dependent Flow Policies with Prophetic Variables. | Ximeng Li, Flemming Nielson, Hanne Riis Nielson |
| 2015 | Coordination | Klaim-DB: A Modeling Language for Distributed Database Applications. | Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson |
| 2015 | ESORICS | Factorization of Behavioral Integrity. | Ximeng Li, Flemming Nielson, Hanne Riis Nielson |
| 2009 | SNPD | Research on E-government Initiatives and Enabling IT. | Ximeng Li |