Carmelo Cascone
2 papers
· 2019–2021
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(9)
Conferences
NSDI (2)
Top co-authors
Keywords
program synthesis
(1)
software-defined networking
(1)
control plane
(1)
data plane
(1)
programmable nic
(1)
field programmable gate array
(1)
flow state
(1)
counterexample guided inductive synthesis
(1)
network function
(1)
stateful packet processing
(1)
extended finite state machine
(1)
inductive synthesis
(1)
network heterogeneity
(1)
counter-example guided
(1)
control plane synthesis
(1)