Neurosymbolic Networking
Contents

From the community

Community reading list

Related work connects learning, domain knowledge, and formal reasoning across networked systems and AI applications. Contributions from all research groups are welcome, including your own work.

Published papers

  1. NSDI 2027

    On the Role of LLMs in Designing the Architecture of Networked Systems 

    Pratyush Sahu, Rahul Bothra, Venkat Arun, Brighten Godfrey, Akshay Narayan, and Ahmed Saeed

  2. SIGCOMM 2026

    AIDA: Accelerating Root Cause Analysis for Multi-Vendor Device Failures with LLM-Powered Reasoning 

    Haoran Xu, Xuan Zeng, Xumiao Zhang, Xiaoxi Zhang, Yang Lv, Peng Zhang, Deke Guo, and Ennan Zhai

  3. SIGCOMM 2026

    Networked Agent Memory and Causality Representation: Experiences towards Interpretable Cloud-Scale Root-Causing 

    Yanyu Ren, Xianshang Lin, Chenxu Wang, Li Chen, Shuai Wang, Kaihui Gao, Dan Li, Yunfeng Bai, Chen Tian, Xinlei Zhang, Yungang Li, Tao Lin, and Ennan Zhai

  4. SIGMETRICS 2026

    MeshAgent: Enabling Reliable Network Management with Large Language Models 

    Yajie Zhou, Kevin Hsieh, Sathiya Kumaran Mani, Srikanth Kandula, and Zaoxing Liu

  5. NSDI 2026

    UNUM: A New Framework for Network Control 

    Jiayi Chen, Nihal Sharma, Debajit Chakraborty, Saurabh Agarwal, Jeffrey Zhou, Aditya Akella, and Sanjay Shakkottai

  6. NSDI 2026

    Towards Performance Robustness for Microservices 

    Divyanshu Saxena, Gaurav Vipat, Jiaxin Lin, Jingbo Wang, Isil Dillig, Sanjay Shakkottai, and Aditya Akella

  7. NSDI 2026

    Eywa: Automating Model-Based Testing using LLMs 

    Rajdeep Mondal, Rathin Singha, Todd Millstein, George Varghese, Ryan Beckett, and Siva Kesava Reddy Kakarla

  8. EuroSys 2026

    Canopy: Property-Driven Learning for Congestion Control 

    Chenxi Yang, Divyanshu Saxena, Rohit Dwivedula, Kshiteej Mahajan, Swarat Chaudhuri, and Aditya Akella

  9. ICLR 2026 Workshop

    Enforcing Temporal Constraints for LLM Agents 

    Adharsh Kamath, Sishen Zhang, Changming Xu, Shubham Ugare, Gagandeep Singh, and Sasa Misailovic

  10. NSDI 2026

    Syntra: Synthesizing Cross-Layer Controllers for Low-Latency Video Streaming 

    Jia Pan, Anup Agarwal, Işıl Dillig, and Venkat Arun

  11. Carnegie Mellon University 2026

    Constrained Creativity for SysOps Agents 

    Sayan Sinha, Vipul Harsh, Yajie Zhou, Marko Morrison, B. Aditya Prakash, Vyas Sekar, and Hui Zhang

  12. NSDI 2025

    CEGS: Configuration Example Generalizing Synthesizer 

    Jianmin Liu, Li Chen, Dan Li, and Yukai Miao

  13. SIGMETRICS 2024

    NetDiffusion: Network Data Augmentation Through Protocol-Constrained Traffic Generation 

    Xi Jiang, Shinan Liu, Aaron Gember-Jacobson, Arjun Nitin Bhagoji, Paul Schmitt, Francesco Bronzino, and Nick Feamster

  14. SIGCOMM 2021

    Verifying Learning-Augmented Systems 

    Tomer Eliyahu, Yafim Kazak, Guy Katz, and Michael Schapira

Preprints

  1. Preprint, June 2026

    APEX: A Network-Native Time-Series Foundation Model for Forecasting and Anomaly Detection for Wireless Edge Operations 

    Swadhin Pradhan, Niloo Bahadori, and Peiman Amini

  2. Preprint, May 2026

    TraceCodec: A Compiler-Backed Neural Codec for Stateful Multi-Flow Network Traffic Traces 

    Junhui Ding, Xinchen Zhang, Xiaohui Xie, and Shinan Liu

  3. Preprint, March 2026

    PLUME: Building a Network-Native Foundation Model for Wireless Traces via Protocol-Aware Tokenization 

    Swadhin Pradhan, Shazal Irshad, and Jerome Henry