Jiaxiang Liu

According to our database, Jiaxiang Liu authored at least 24 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks.

Jiaxiang Liu, Yunhan Xing, Xiaomu Shi, Fu Song, Zhiwu Xu, Zhong Ming

ACM Trans. Softw. Eng. Methodol., June, 2024

Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once.

Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

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

IACR Cryptol. ePrint Arch., 2023

llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs.

Ruiling Chen, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Boosting Multi-neuron Convex Relaxation for Neural Network Verification.

Xuezhou Tang, Ye Zheng, Jiaxiang Liu

Proceedings of the Static Analysis - 30th International Symposium, 2023

CoqCryptoLine: A Verified Model Checker with Certified Results.

Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Certified Verification for Algebraic Abstraction.

Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs.

Gilles Dowek, Gaspard Férey, Jean-Pierre Jouannaud, Jiaxiang Liu

Math. Struct. Comput. Sci., August, 2022

Verified NTT Multiplications for NISTPQC KEM Lattice Finalists: Kyber, SABER, and NTRU.

Vincent Hwang, Jiaxiang Liu, Gregor Seiler, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022

Multi-path Back-propagation Method for Neural Network Verification.

Ye Zheng, Xiaomu Shi, Jiaxiang Liu

Int. J. Softw. Informatics, 2022

Automatic Certified Verification of Cryptographic Programs with COQCRYPTOLINE.

Ming-Hsien Tsai, Yu-Fu Fu, Xiaomu Shi, Jiaxiang Liu, Bow-Yaw Wang, Bo-Yin Yang

IACR Cryptol. ePrint Arch., 2022

MpBP: verifying robustness of neural networks with multi-path bound propagation.

Ye Zheng, Jiaxiang Liu, Xiaomu Shi

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.

Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu

Proceedings of the Static Analysis - 29th International Symposium, 2022

2021

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2019

IMSpec: An Extensible Approach to Exploring the Incorrect Usage of APIs.

Zuxing Gu, Min Zhou, Jiecheng Wu, Yu Jiang, Jiaxiang Liu, Ming Gu

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Verifying Arithmetic in Cryptographic C Programs.

Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

An Empirical Study on API-Misuse Bugs in Open-Source C Programs.

Zuxing Gu, Jiecheng Wu, Jiaxiang Liu, Min Zhou, Ming Gu

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

Signed Cryptographic Program Verification with Typed CryptoLine.

Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Ming-Hsien Tsai, Bow-Yaw Wang, Bo-Yin Yang

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2017

Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude.

Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun

IEEE Trans. Ind. Electron., 2017

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

PhD thesis, 2016

2015

Confluence of Layered Rewrite Systems.

Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Confluence by Critical Pair Analysis.

Jiaxiang Liu, Nachum Dershowitz, Jean-Pierre Jouannaud

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

Confluence: The Unifying, Expressive Power of Locality.

Jiaxiang Liu, Jean-Pierre Jouannaud

Proceedings of the Specification, Algebra, and Software, 2014

2012

From diagrammatic confluence to modularity.

Jean-Pierre Jouannaud, Jiaxiang Liu

Theor. Comput. Sci., 2012