Costin Raiciu
7 papers
· 2012–2022
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🏃
Academic Marathon
(10)
🐝
Cross-Pollinator
(4)
❓
The Questioner
🚀
Conference Pioneer
Conferences
NSDI (7)
Top co-authors
Keywords
program verification
(1)
bug detection
(1)
remote direct memory access
(1)
datacenter networking
(1)
network throughput
(1)
symbolic execution
(1)
flow completion time
(1)
load balancing
(1)
p4 program
(1)
dataplane equivalence
(1)
traffic steering
(1)
edge-queued datagram service
(1)
receiver-driven credit scheme
(1)
datacenter network protocol
(1)
datacenter load balancing
(1)
stateless architecture
(1)
connection state
(1)
server backend
(1)
scale-out scaling
(1)