Nate Foster
4 papers
· 2013–2021
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🏃
Academic Marathon
(8)
🐝
Cross-Pollinator
(3)
🐣
Hot Topic Early Bird
Conferences
NSDI (4)
Top co-authors
Keywords
robust optimization
(1)
program synthesis
(1)
software-defined networking
(1)
datacenter networking
(1)
control plane
(1)
traffic engineering
(1)
data plane
(1)
programmable switch
(1)
chain replication
(1)
coordination service
(1)
strong consistency
(1)
sub-rtt latency
(1)
path selection
(1)
network congestion
(1)
semi-oblivious routing
(1)
counterexample guided inductive synthesis
(1)
inductive synthesis
(1)
network heterogeneity
(1)
counter-example guided
(1)
control plane synthesis
(1)