论文与出版物 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
论文与出版物 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
论文与出版物 Don’t Let AI Agents YOLO Your Files: Information and Control in Agent-Native Filesystems Sam Zhong, Jun-Xuan Liao, Jing Liu, Mai Zheng, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau SOSP 2026 | April 2026
论文与出版物 WAREX: Web Agent Reliability Evaluation on Existing Benchmarks Su Kara, Fazle Faisal, Suman Nath Transactions on Machine Learning Research | April 2026
论文与出版物 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
论文与出版物 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
论文与出版物 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
论文与出版物 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, 第 13 卷(4): pp. 698-706 项目
论文与出版物 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
论文与出版物 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 项目