Todd Millstein
11 papers · 2015–2026 · 5 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (20) π Conference Polyglot Β· Silver π Academic Marathon Β· Half π£ Hot Topic Early Bird π Interdisciplinary Bridge Β· Bronze
π§¬
Topic Evolution
π
Keyword Champion
π
Conference Pioneer
ποΈ
Keyword Collector
(70)
π
Century Club Β· Bronze
Venues
Top co-authors
Research topics
Machine Learning
(6)
Optimization & Theory
(5)
Artificial Intelligence
(3)
Computer Science
(2)
Deep Learning
(2)
Applications
(2)
Bayesian & Probabilistic Β· Artificial Intelligence
(2)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Architectures
(1)
Bayesian & Probabilistic Β· Machine Learning
(1)
Core AI
(1)
Core Methods
(1)
Learning Paradigms
(1)
Learning Types
(1)
Keywords
probabilistic inference
(2)
automated testing
(2)
model-based testing
(2)
graphical model
(2)
network verification
(2)
probabilistic programming
(2)
outlier detection
(1)
markov chain monte carlo
(1)
constraint solving
(1)
lifted inference
(1)
knowledge compilation
(1)
discrete distribution
(1)
software testing
(1)
inductive bia
(1)
network security
(1)
test generation
(1)
vulnerability detection
(1)
constraint satisfaction
(1)
model checking
(1)
hallucination mitigation
(1)
Papers
Eywa: Automating Model-Based Testing using LLMs
NSDI 2026
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
NeurIPS 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