Raghothaman, Mukund

Syntax-guided synthesis

Alur, R., Bodik, R., Juniwal, G., Martin, M. M. K., Raghothaman, M., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E., & Udupa, A. (2013) · 2013 Formal Methods in Computer-Aided Design

Logic, programming, and type systemsFormal Methods in Verification

Cited by 656

Localized explanations for automatically synthesized network configurations

Nazari, A., Zhang, Y., Raghothaman, M., & Chen, H. (2024) · Proceedings of the 23rd ACM Workshop on Hot Topics in Networks

Software-Defined Networks and 5GExplainable Artificial Intelligence (XAI)

Cited by 5