Discovering New Runge-Kutta Methods Using Unstructured Numerical Search. - David K. Zhang (CoRR, 2019)

Sidecar: in-network performance enhancements in the age of paranoid transport protocols. - Gina Yuan; David K. Zhang; Matthew Sotoudeh; Michael Welzl; Keith Winstein (HotNets, 2022)

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 (NSDI, 2024)

Automatic Verification of Floating-Point Accumulation Networks. - David K. Zhang; Alex Aiken (CAV (3), 2025)