David Kai Zhang

According to our database, David Kai Zhang authored at least 5 papers between 2019 and 2025.

Collaborative distances:

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

2025

KDRSolvers: Scalable, Flexible, Task-Oriented Krylov Solvers.

David Kai Zhang, Rohan Yadav, Alex Aiken, Fredrik Kjolstad, Sean Treichler

Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, 2025

High-Performance Branch-Free Algorithms for Extended-Precision Floating-Point Arithmetic.

David Kai Zhang, Alex Aiken

Proceedings of the International Conference for High Performance Computing, 2025

Automatic Verification of Floating-Point Accumulation Networks.

David Kai Zhang, Alex Aiken

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

An explicit 16-stage Runge-Kutta method of order 10 discovered by numerical search.

David Kai Zhang

Numer. Algorithms, July, 2024

2019

Manipulating Elections by Selecting Issues.

Jasper Lu, David Kai Zhang, Zinovi Rabinovich, Svetlana Obraztsova, Yevgeniy Vorobeychik

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019