Limin Jia
2 papers
· 2018–2020
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(3)
🐣
Hot Topic Early Bird
Conferences
NSDI (2)
Top co-authors
Keywords
stateful network
(2)
first-order logic
(1)
network verification
(1)
network policy
(1)
test scheduling
(1)
correctness criterion
(1)
conflict detection
(1)
blackbox testing
(1)
scheduling algorithm
(1)
policy verification
(1)
read-write conflict
(1)
formal verification
(1)
symbolic model checking
(1)