Carmelo Cascone
2 papers · 2019–2021 · 1 venue · 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.
Venues
Top co-authors
Research topics
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)