David K. Zhang

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

Collaborative distances:

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

2025

Automatic Verification of Floating-Point Accumulation Networks.

David K. Zhang, Alex Aiken

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

2024

Sidekick: In-Network Assistance for Secure End-to-End Transport Protocols.

Gina Yuan, Matthew Sotoudeh, David K. Zhang, Michael Welzl, David Mazières, Keith Winstein

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2022

Sidecar: in-network performance enhancements in the age of paranoid transport protocols.

Gina Yuan, David K. Zhang, Matthew Sotoudeh, Michael Welzl, Keith Winstein

Proceedings of the 21st ACM Workshop on Hot Topics in Networks, 2022

2019

Discovering New Runge-Kutta Methods Using Unstructured Numerical Search.

David K. Zhang

CoRR, 2019