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
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