Tushar Sharma
2 papers
· 2016–2021
· 2 conferences
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(5)
🐝
Cross-Pollinator
(8)
🌉
Interdisciplinary Bridge
🐣
Hot Topic Early Bird
Conferences
AAAI (1)
OSDI (1)
Top co-authors
Keywords
model quantization
(1)
post-training quantization
(1)
lottery ticket hypothesis
(1)
computer vision
(1)
formal verification
(1)
network security
(1)
network analysis
(1)
model pruning
(1)
edge computing
(1)
model checking
(1)
network verification
(1)
control plane
(1)
network configuration
(1)
network policy
(1)
network reachability
(1)
routing protocol
(1)
policy analysis
(1)
aerial image analysis
(1)
precision agriculture
(1)