Tianyin Xu
- Chameleon: Adaptive Caching and Scheduling for Many-Adapter LLM Inference Environments
2024/11/24 by Nikoleta Iliakopoulou, Jovan Stojkovic, Iliakopoulou, Nikoleta +9 · 5 citations
Computer Science · Decision Sciences · #Advanced Data Storage Technologies #Distributed and Parallel Computing Systems #Data Quality and Management
- STRATUS: A Multi-agent System for Autonomous Reliability Engineering of Modern Clouds
2025/05/27 by Yinfang Chen, Jiaqi Pan, Chen, Yinfang +17 · 5 citations
Computer Science · #Cloud Computing and Resource Management #Cloud Data Security Solutions #Distributed #FOS: Computer and information sciences #Parallel #Software Reliability and Analysis Research #and Cluster Computing (cs.DC)
- Programmable System Call Security with eBPF
2023/02/20 by Jinghao Jia, Jia, Jinghao, Dan Williams +16 · 2 citations
Computer Science · Social Sciences · #Security and Verification in Computing #Access Control and Trust #Advanced Malware Detection Techniques
- Mining Container Image Repositories for Software Configuration and Beyond
2018/02/10 by Tianyin Xu, Darko Marinov, Xu, Tianyin +1 · 1 citation
Computer Science · Decision Sciences · #Data Stream Mining Techniques #FOS: Computer and information sciences #Scientific Computing and Data Management #Software Engineering (cs.SE) #Software System Performance and Reliability
- Transforming the Hybrid Cloud for Emerging AI Workloads
2024/11/20 by Deming Chen, Chen, Deming, Alaa Youssef +85 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Distributed #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #IoT and Edge/Fog Computing #Multiagent Systems (cs.MA) #Parallel #and Cluster Computing (cs.DC)
- Configuration Testing: Testing Configuration Values as Code and with\n Code
2019/05/28 by Tianyin Xu, Owolabi Legunsen, Xu, Tianyin +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
- Specula: Scaling formal specifications for autonomous model checking of system code
2026/07/28 by Qian Cheng, Saad Mohammad Rafid Pial, Ruize Tang +6 · 1 voice
#cs.SE #cs.AI #cs.DC #cs.OS
- Multi-Grained Specifications for Distributed System Model Checking and Verification
2024/09/22 by Lingzhi Ouyang, Xudong Sun, Ouyang, Lingzhi +11 · 2 citations
Computer Science · #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques
- An HCI View of Configuration Problems
2016/01/08 by Tianyin Xu, Xu, Tianyin, Vineet Pandey +3 · 1 citation
Computer Science · Decision Sciences · #FOS: Computer and information sciences #Human-Computer Interaction (cs.HC) #Simulation Techniques and Applications #Software Engineering (cs.SE) #Software Engineering Research #Spreadsheets and End-User Computing
- Towards a Systems Foundation for Agentic Cloud Management
2026/07/28 by Minghao Li, Ziqian Liu, Ziyu Mao +5
#cs.MA