Xiaomu Shi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | A Formally Verified Procedure for Width Inference in FIRRTL. | Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Fu Song, Taolue Chen, David N. Jansen |
| 2024 | ESORICS | Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking. | Li-Chang Lai, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2023 | CAV | Certified Verification for Algebraic Abstraction. | Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang |
| 2023 | CAV | CoqCryptoLine: A Verified Model Checker with Certified Results. | Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang |
| 2021 | CAV | CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver. | Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2019 | CCS | Signed Cryptographic Program Verification with Typed CryptoLine. | Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang |
| 2015 | SETTA | Towards Verified Faithful Simulation. | Vania Joloboff, Jean-Franois Monin, Xiaomu Shi |
| 2013 | ITP | Handcrafted Inversions Made Operational on Operational Semantics. | Jean-Franois Monin, Xiaomu Shi |
| 2011 | CPP | First Steps towards the Certification of an ARM Simulator Using Compcert. | Xiaomu Shi, Jean-Franois Monin, Frdric Tuong, Frdric Blanqui |