Publication NetArena: Dynamic Benchmarks for AI Agents in Network Automation Yajie Zhou, Jiajun Ruan, Eric S. Wang, Sadjad Fouladi, Francis Y. Yan, Kevin Hsieh, Zaoxing Liu ICLR 2026 | April 2026 Ranked 1st on the "Coding Agent" benchmark in Berkeley's AgentX competition
Publication VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus Chuyue Sun, Yican Sun, Ethan Zhang, Daneshvar Amrollahi, Shuvendu Lahiri, Shan Lu, David Dill, Clark Barrett International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | April 2026 Project
Publication CXL in Cloud Practice: Practical Lessons for Incrementally Scaling Deployment Daniel S. Berger, Karthik Kumar, Midhul Vuppalapati, Chet Douglas, Jesse Sathre, Ian N. Robinson, Prateek Tandon, Mark D. Hill IEEE Transactions on Computers | April 2026, Vol 75: pp. 1234-1246
Publication HPCCFA: Leveraging Hardware Performance Counters for Control Flow Attestation Claudius Pott, Luca Wilke, Jan Wichelmann, Thomas Eisenbarth March 2026 arXiv | March 2026
Publication DreamControl-v2: Simpler and Scalable Autonomous Humanoid Skills via Trainable Guided Diffusion Priors Sudarshan S. Harithas, Sangkyung Kwak, Pushkal Katara, Srujan Deolasee, Dvij Kalaria, Srinath Sridhar, Jonathan Huang March 2026 arXiv | March 2026
Publication DFLOP: A Data-driven Framework for Multimodal LLM Training Pipeline Optimization H. An, Sihyun Kim, Chaerim Lim, Hyunjoong Kim, Rathijit Sen, Sangmin Jung, Hye Yoon Lee, Dongwook Kim, Takki Yu, Jinkyu Jeong, Youngsok Kim, Kwanghyun Park March 2026 arXiv | March 2026
Publication Planning over MAPF Agent Dependencies via Multi-Dependency PIBT Zixian Jiang, Yulun Zhang, Rishi Veerapaneni, Jiaoyang Li March 2026 arXiv | March 2026
Publication Extreme-MIMO Field Trials in 7 GHz Band: Unlocking the Potential of New Spectrum for 6G Seunghyun Lee, Jungmin Yoon, Sangwon Jung, Younghan Nam, Gary Xu, Chan-Byoung Chae, Juho Lee, Jianzhong Zhang March 2026 arXiv | March 2026
Publication CaP-X: A Framework for Benchmarking and Improving Coding Agents for Robot Manipulation Max Fu, Justin Yu, Karim El-Refai, Ethan Kou, Haoru Xue, Huang Huang, Wenli Xiao, Guanzhi Wang, Fei-Fei Li, Guanya Shi, Jiajun Wu, Shankar Sastry, Yuke Zhu, Ken Goldberg, LinxiJimFan March 2026 arXiv | March 2026
Publication QoServe : Breaking the Silos of LLM Inference Serving Kanishk Goel, Jayashree Mohan, Nipun Kwatra, Ravi Shreyas Anupindi, Ramachandran Ramjee Architectural Support for Programming Languages and Operating Systems (ASPLOS) 2026 | March 2026 Project