Beckett, Ryan
- What do LLMs need to Synthesize Correct Router Configurations?
2023/07/11 by Rajdeep Mondal, Mondal, Rajdeep, Alan Tang +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, Namyar, Pooria, Behnaz Arzani +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 Hsu, Kuo-Feng, Beckett, Ryan, Chen, Ang +3 · 1 citation
#FOS: Computer and information sciences #Networking and Internet Architecture (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
- Eywa: Automating Model Based Testing using LLMs
2023/12/11 by Mondal, Rajdeep, Singha, Rathin, Millstein, Todd +3 · 1 citation
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Networking and Internet Architecture (cs.NI) #Software System Performance and Reliability #Software Testing and Debugging Techniques
- Towards Safer Heuristics With XPlain
2024/10/19 by Pantea Karimi, Solal Pirelli, Karimi, Pantea +13 · 1 citation
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)