Carl Kwan

According to our database, Carl Kwan authored at least 8 papers between 2018 and 2025.

Collaborative distances:

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

2025

RV32I in ACL2.

Carl Kwan

Proceedings of the Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications, July, 2025

A Formal Y86 Simulator with CHERI Features.

Carl Kwan, Yutong Xin, William D. Young

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

Verifying Jolt zkVM Lookup Semantics.

Carl Kwan, Quang Dao, Justin Thaler

Proceedings of the Financial Cryptography and Data Security, 2025

2024

Formalizing the Cholesky Factorization Theorem.

Carl Kwan, Warren A. Hunt Jr.

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

Automatic Verification of Right-Greedy Numerical Linear Algebra Algorithms.

Carl Kwan, Warren A. Hunt Jr.

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2022

Towards Formalized Matrix Analysis and Algorithms.

Carl Kwan

Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), 2022

2018

Convex Functions in ACL2(r).

Carl Kwan, Mark R. Greenstreet

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r).

Carl Kwan, Mark R. Greenstreet

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018