Brighten Godfrey
6 papers · 2013–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Half
๐
Interdisciplinary Bridge ยท Silver
๐
Renaissance Researcher
(5)
Top co-authors
Research topics
Keywords
latency optimization
(2)
congestion control
(2)
formal verification
(1)
fault tolerance
(1)
model checking
(1)
datacenter network
(1)
network verification
(1)
network throughput
(1)
traffic engineering
(1)
load balancing
(1)
network configuration
(1)
network policy
(1)
routing algorithm
(1)
network topology
(1)
microservice architecture
(1)
traffic modulation
(1)
network design
(1)
symbolic partitioning
(1)
policy verification
(1)
rate control
(1)
Papers
SLATE: Service Layer Traffic Engineering
NSDI 2026
Starfish: A Topology-Routing Co-Design for Small-Scale Data Centers
NSDI 2026
Plankton: Scalable network configuration verification through model checking
NSDI 2020
A Deep Reinforcement Learning Perspective on Internet Congestion Control
ICML 2019
PCC Vivace: Online-Learning Congestion Control
NSDI 2018
Ensuring Connectivity via Data Plane Mechanisms
NSDI 2013