Todd Millstein
10 papers · 2015–2024 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
🏃 Academic Marathon (9) 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (5) 🐣 Hot Topic Early Bird
🏃
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)
Papers
MESSI: Behavioral Testing of BGP Implementations
NSDI 2024
Scaling integer arithmetic in probabilistic programs
UAI 2023
SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers
NSDI 2022
Counterexample-Guided Learning of Monotonic Neural Networks
NIPS 2020
Finding Network Misconfigurations by Automatic Template Inference
NSDI 2020
Generating and Sampling Orbits for Lifted Probabilistic Inference
UAI 2019
Sound Abstraction and Decomposition of Probabilistic Programs
ICML 2018
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation
OSDI 2016
A General Approach to Network Configuration Analysis
NSDI 2015
Analyzing Protocol Implementations for Interoperability
NSDI 2015