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 Niyama : 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
Publication MSCCL++: Rethinking GPU Communication Abstractions for AI Inference Changho Hwang, Peng Cheng, Roshan Dathathri, Abhinav Jangda, Saeed Maleki, Madan Musuvathi, Olli Saarikivi, Aashaka Shah, Ziyue Yang, Binyang Li, Caio Rocha, Qinghua Zhou, Mahdieh Ghazimirsaeed, Sreevatsa Anantharamu, Jithin Jose ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2026
Publication OrbitalBrain: A Distributed Framework For Training ML Models in Space Om Chabra, Chenning Li, Kevin Hsieh, Santiago Segarra, Behnaz Arzani, Peder Olsen, Ranveer Chandra New Ideas in Networked Systems (NINeS) | February 2026
Publication Towards Fully-Controllable Packet Steering for AI Backend Networks with SRv6 Shaofeng Wu, Zhixiong Niu, Riff Jiang, Guohan Lu, Chen Tian, Hong Xu, Yongqiang Xiong MSR-TR-2026-6 | January 2026 Published by Microsoft
Publication Scaling medical imaging report generation with multimodal reinforcement learning Flora Liu, Sheng Zhang, Guanghui Qin, Yu Gu, Ying Jin, Sam Preston, Yanbo Xu, Wen-wai Yim, Sid Kiblawi, Tim Ossowski, Tristan Naumann, Mu Wei, Hoifung Poon January 2026
Publication Benchmarking Affordance Generalization with BusyBox Dean Fortier, Timothy Adamson, Tess Hellebrekers, Teresa LaScala, Kofi Ennin, Michael Murray, Andrey Kolobov, Galen Mullins Eval & Deploy Workshop at the 9th Conference on Robot Learning (CoRL 2025) | January 2026
Publication Composable Coresets for Constrained Determinant Maximization and Beyond Sepideh Mahabadi, Thuy-Duong Vuong AISTATS | January 2026 Spotlight
Publication SALAD-VAE: Semantic Audio Compression with Language-Audio Distillation Sebastian Braun, Hannes Gamper, Dimitra Emmanouilidou 2026 International Conference on Acoustics, Speech, and Signal Processing | January 2026
Publication Sublinear Metric Steiner Forest via Maximal Independent Set Sepideh Mahabadi, Mohammad Roghani, Jakub Tarnawski, Ali Vakilian Symposium on Discrete Algorithms (SODA) | January 2026