معرفی
David Walker is a Professor at Princeton University in the Department of Computer Science. His research spans multiple areas including Programming Languages, Networking, Type Systems, and Semantics.
His recent work focuses on Network Verification, Logic Programming, and Type-Theoretic Synthesis. He has contributed to conferences such as PLDI, POPL, SPLASH, and ICFP, with research trends emphasizing Formal Methods, Distributed Systems, and Language Design.
Scientific Contributions:
- 2024 PLDI: Modular Control Plane Verification via Temporal Invariants
- 2023 SPLASH: SwitchLog and Saggitarius DSL
- 2022 PLDI: Safe Packet Pipeline Programming
- 2021 SPLASH: Data-Driven Invariant Inference
- 2020 POPL: Abstract Network Control Plane Interpretation
حوزههای پژوهشی
۰مقاله منتشرشده
