Concepedia

David Walker

DW

Statistics

Publications

109

Citations

12.7K

H-Index

49

Active since

1979

Affiliations

Princeton University(Current)

Cornell University

Carnegie Mellon University

AT&T (United States)

Microsoft (United States)

David Walker is an author at Princeton University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationComputer EngineeringSoftware AnalysisComputer ArchitectureSystem SoftwareSoftware Engineering

Publications per year

1979–2022

109

Publications

109

P4

Pat Bosshart, Dan Daly, Glen Gibb et al. · ACM SIGCOMM Computer Communication Review · 2014 · 2.7K citations

Strawman Proposal, Engineering, Software-defined Networking +9

From system F to typed assembly language

Greg Morrisett, David Walker, Karl Crary et al. · ACM Transactions on Programming Languages and Systems · 1999 · 584 citations · Full text

Engineering, Compiler Technology, Verification +19

Nate Foster, Rob Harrison, Michael J. Freedman et al. · ACM SIGPLAN Notices · 2011 · 580 citations

Engineering, Software-defined Networking, Program Analysis +15

Abstractions for network update

Mark Reitblatt, Nate Foster, Jennifer Rexford et al. · 2012 · 577 citations · Full text

Engineering, Network Operation, Verification +18

Composing software-defined networks

Christopher Monsanto, Joshua Reich, Nate Foster et al. · 2013 · 446 citations

1–5 of 109