Ryan Beckett
- What do LLMs need to Synthesize Correct Router Configurations?
2023/07/11 by Rajdeep Mondal, Alan Tang, Mondal, Rajdeep +7 · 17 citations
Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Networking and Internet Architecture (cs.NI) #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- Finding Adversarial Inputs for Heuristics using Multi-level Optimization
2023/11/21 by Pooria Namyar, Behnaz Arzani, Namyar, Pooria +13 · 3 citations
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Networking and Internet Architecture (cs.NI) #Physical Unclonable Functions (PUFs) and Hardware Security
- Contra: A Programmable System for Performance-aware Routing
2019/02/03 by Kuo-Feng Hsu, Hsu, Kuo-Feng, Ryan Beckett +9 · 1 citation
Computer Science · #FOS: Computer and information sciences #Networking and Internet Architecture (cs.NI) #cs.NI
- Test Coverage for Network Configurations
2022/09/26 by Xieyang Xu, Weixin Deng, Xu, Xieyang +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #Network Traffic and Congestion Control #Networking and Internet Architecture (cs.NI) #Software System Performance and Reliability #Software-Defined Networks and 5G
- Towards Safer Heuristics With XPlain
2024/10/19 by Pantea Karimi, Karimi, Pantea, Solal Pirelli +13 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Computational Geometry and Mesh Generation #Distributed #FOS: Computer and information sciences #Networking and Internet Architecture (cs.NI) #Parallel #Performance (cs.PF) #Robotic Path Planning Algorithms #and Cluster Computing (cs.DC)
- Kivi: Verification for Cluster Management
2023/11/06 by Bingzhe Liu, Liu, Bingzhe, Gangmuk Lim +5 · 1 citation
Computer Science · #Cloud Computing and Resource Management #Cloud Data Security Solutions #Distributed #FOS: Computer and information sciences #Parallel #Software System Performance and Reliability #and Cluster Computing (cs.DC)