Todd Millstein
10 papers
· 2015–2024
· 5 conferences
· across top CS/AI conferences
Achievements
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(15)
π§
Keyword Pioneer
π
Interdisciplinary Bridge
π
Conference Polyglot
(5)
π
Academic Marathon
(9)
π£
Hot Topic Early Bird
π
Cross-Pollinator
(8)
π
Keyword Champion
(2)
ποΈ
Keyword Collector
(61)
π
Century Club
(10)
π
Trend Setter
π
Conference Pioneer
Conferences
NSDI (5)
UAI (2)
ICML (1)
NIPS (1)
OSDI (1)
Top co-authors
Keywords
probabilistic inference
(2)
automated testing
(2)
network verification
(2)
graphical model
(2)
probabilistic programming
(2)
outlier detection
(1)
markov chain monte carlo
(1)
constraint solving
(1)
lifted inference
(1)
factor graph
(1)
knowledge compilation
(1)
discrete distribution
(1)
network security
(1)
inductive bia
(1)
test generation
(1)
constraint satisfaction
(1)
vulnerability detection
(1)
software testing
(1)
model checking
(1)
network analysis
(1)