Millstein, Todd

Network configuration synthesis with abstract topologies

Beckett, R., Mahajan, R., Millstein, T., Padhye, J., & Walker, D. (2017) · Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation

Software-Defined Networks and 5GNetwork Traffic and Congestion Control

Cited by 62

Lessons from the evolution of the batfish configuration analysis tool

Brown, M., Fogel, A., Halperin, D., Heorhiadi, V., Mahajan, R., & Millstein, T. (2023) · Proceedings of the ACM SIGCOMM 2023 Conference

Software-Defined Networks and 5GFormal Methods in Verification

Cited by 40

Tackling ambiguity in user intent for LLM-based network configuration synthesis

Mondal, R., Bjorner, N., Millstein, T., Tang, A., & Varghese, G. (2025) · Proceedings of the 24th ACM Workshop on Hot Topics in Networks

Software-Defined Networks and 5GSoftware Engineering Research

Cited by 2