Scholar

David Walker

Google Scholar ID: UEI2g60AAAAJ

Princeton University

Programming Languages

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

20,169

H-index

62

i10-index

117

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

1 items

CB-VER: A Stable Foundation for Modular Control Plane Verification

2026

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)