EDBT 2026 Demo / reviewers in the wild / expert
Carl Kwan
dblp:228/8045
· DBLP profile ↗
4ranked-venue papers
4as first author
4since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 3 first-author · 3 since 2021Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Security and privacy · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Verifying Jolt zkVM Lookup Semantics
Carl Kwan, Quang Dao, Justin Thaler |
FC | 1 |
| 2025 | A Formal Y86 Simulator with CHERI Features
Carl Kwan, Yutong Xin, William D. Young |
FMCAD | 1 |
| 2024 | Automatic Verification of Right-Greedy Numerical Linear Algebra Algorithms
Carl Kwan, Warren A. Hunt Jr. |
FMCAD | 1 |
| 2024 | Formalizing the Cholesky Factorization Theorem
Carl Kwan, Warren A. Hunt Jr. |
ITP | 1 |