David Kai Zhang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2025–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Automatic Verification of Floating-Point Accumulation Networks. | David Kai Zhang, Alex Aiken |
| 2025 | SC | High-Performance Branch-Free Algorithms for Extended-Precision Floating-Point Arithmetic. | David Kai Zhang, Alex Aiken |
| 2025 | SC | KDRSolvers: Scalable, Flexible, Task-Oriented Krylov Solvers. | David Kai Zhang, Rohan Yadav, Alex Aiken, Fredrik Kjolstad, Sean Treichler |