Mukul Prasad
2 papers
· 2017–2022
· 2 conferences
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(5)
🐝
Cross-Pollinator
(4)
🌉
Interdisciplinary Bridge
Conferences
AUTOML (1)
NSDI (1)
Top co-authors
Keywords
masked language model
(1)
tabular datum
(1)
network verification
(1)
software defined networking
(1)
data plane
(1)
forwarding behavior
(1)
reachability invariant
(1)
real-time checking
(1)
semantic encoding
(1)
real-time verification
(1)
packet forwarding
(1)
sdn network
(1)
quasi-linear algorithm
(1)
ordinal encoding
(1)
automl platform
(1)