Publication MemExplorer: Navigating the Heterogeneous Memory Design Space for Agentic Inference NPUs Haoran Wu, Zeyu Cao, Yao Lai, Binglei Lou, Jiayi Nie, Can Xiao, T. Adeniran, Przemyslaw Forys, Kauser Johar, Catriona R Wright, Junyi Liu, Kai Shi, Nicholas D. Lane, R. Antonova, Jianyi Cheng, Timothy Jones, Aaron Zhao, Robert Mullins April 2026 arXiv | April 2026
Publication Don’t Let AI Agents YOLO Your Files: Shifting Information and Control to Filesystems for Agent Safety and Autonomy Shawn Zhong, Junxuan Liao, Jing Liu, Mai Zheng, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau April 2026 arXiv | April 2026
Publication RadarSplat-RIO: Indoor Radar-Inertial Odometry with Gaussian Splatting-Based Radar Bundle Adjustment Pou-Chun Kung, Yuan Tian, Zhengqin Li, Yue Liu, Eric Whitmire, Wolf Kienzle, Hrvoje Benko April 2026 arXiv | April 2026
Publication WAREX: Web Agent Reliability Evaluation on Existing Benchmarks Su Kara, Fazle Faisal, Suman Nath Transactions on Machine Learning Research | April 2026
Publication Optimal Kinodynamic Motion Planning Through Anytime Bidirectional Heuristic Search with Tight Termination Condition Yi Wang, Bingxian Mu, Shahab Shokouhi, May-Win L. Thein April 2026 arXiv | April 2026
Publication Nanvix: A Multikernel OS Design for High-Density Serverless Deployments Carlos Segarra, Pedro Henrique Penna, Enrique Saurez, Íñigo Goiri, Peter R. Pietzuch, Shan Lu, Rodrigo Fonseca April 2026 arXiv | April 2026
Publication PSIRNet: Deep Learning-based Free-breathing Rapid Acquisition Late Enhancement Imaging A. Atalik, Hui Xue, R. Davies, T. Treibel, Daniel K. Sodickson, Michael Hansen, Peter Kellman April 2026 arXiv | April 2026
Publication Property-Driven Analysis of Glasses for Data Storage via Femtosecond Laser Writing Takashi Lawson, Rokas Drevinskas, Masaaki Sakakura, Charles E. Whittaker, Austin Donnelly, Benn Thomsen, Richard Black Optica | April 2026, Vol 13(4): pp. 698-706 Project
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