Jiaxiang Liu

31 papers A* 3B 3Misc 1Journal 13Unranked 10
YearRankTypeTitle / Venue / Authors
2026 — conf
A Formally Verified Procedure for Width Inference in FIRRTL.
ESOP (2)
Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Fu Song, Taolue Chen, David N. Jansen
2026 J jnl
A Formally Verified Procedure for Width Inference in FIRRTL.
CoRR
Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Taolue Chen, Fu Song, David N. Jansen
2026 J jnl
Can LLM Aid in Solving Constraints with Inductive Definitions?
CoRR
Weizhi Feng, Shidong Shen, Jiaxiang Liu, Taolue Chen, Fu Song, Zhilin Wu
2025 J jnl
Algebraic Linear Analysis for Number Theoretic Transform in Lattice-Based Cryptography.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Chun-Ming Chiu, Jiaxiang Liu, Ming-Hsien Tsai, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
2024 J jnl
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.
ACM Trans. Softw. Eng. Methodol.
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming
2024 — conf
Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.
ESORICS (4)
Li-Chang Lai, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2024 A* conf
Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once.
DAC
Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu
2023 J jnl
Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.
IACR Cryptol. ePrint Arch.
Li-Chang Lai, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2023 B conf
Boosting Multi-neuron Convex Relaxation for Neural Network Verification.
SAS
Xuezhou Tang, Ye Zheng, Jiaxiang Liu
2023 — conf
Certified Verification for Algebraic Abstraction.
CAV (3)
Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
2023 — conf
CoqCryptoLine: A Verified Model Checker with Certified Results.
CAV (2)
Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang
2023 — conf
llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs.
ESEC/SIGSOFT FSE
Ruiling Chen, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2022 J jnl
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.
CoRR
Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming
2022 J jnl
Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE.
IACR Cryptol. ePrint Arch.
Ming-Hsien Tsai, Yu-Fu Fu, Xiaomu Shi, Jiaxiang Liu, Bow-Yaw Wang, Bo-Yin Yang
2022 B conf
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.
SAS
Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu
2022 J jnl
Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs.
Math. Struct. Comput. Sci.
Gilles Dowek, Gaspard Férey, Jean-Pierre Jouannaud, Jiaxiang Liu
2022 — conf
MpBP: verifying robustness of neural networks with multi-path bound propagation.
ESEC/SIGSOFT FSE
Ye Zheng, Jiaxiang Liu, Xiaomu Shi
2022 J jnl
Multi-path Back-propagation Method for Neural Network Verification.
Int. J. Softw. Informatics
Ye Zheng, Xiaomu Shi, Jiaxiang Liu
2022 J jnl
Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Vincent Hwang, Jiaxiang Liu, Gregor Seiler, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2021 — conf
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver.
CAV (2)
Xiaomu Shi, Yu-Fu Fu, Jiaxiang Liu, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2019 — conf
An Empirical Study on API-Misuse Bugs in Open-Source C Programs.
COMPSAC (1)
Zuxing Gu, Jiecheng Wu, Jiaxiang Liu, Min Zhou, Ming Gu
2019 Misc conf
IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs.
TASE
Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu
2019 A* conf
Signed Cryptographic Program Verification with Typed CryptoLine.
CCS
Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2019 A* conf
Verifying Arithmetic in Cryptographic C Programs.
ASE
Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang
2017 J jnl
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.
IEEE Trans. Ind. Electron.
Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
2016 — —
Confluence properties of rewrite rules by decreasing diagrams. (Propriétés de confluence des règles de réécriture par des diagrammes décroissants).
Jiaxiang Liu
2015 B conf
Confluence of Layered Rewrite Systems.
CSL
Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa
2015 J jnl
Confluence of Layered Rewrite Systems.
CoRR
Jean-Pierre Jouannaud, Jiaxiang Liu, Mizuhito Ogawa
2014 — conf
Confluence by Critical Pair Analysis.
RTA-TLCA
Jiaxiang Liu, Nachum Dershowitz, Jean-Pierre Jouannaud
2014 — conf
Confluence: The Unifying, Expressive Power of Locality.
Specification, Algebra, and Software
Jiaxiang Liu, Jean-Pierre Jouannaud
2012 J jnl
From diagrammatic confluence to modularity.
Theor. Comput. Sci.
Jean-Pierre Jouannaud, Jiaxiang Liu