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 Lipschitz Bandits with Stochastic Delayed Feedback Zhongxuan Liu, Yue Kang, Thomas C. M. Lee 2026 International Conference on Learning Representations | April 2026
Publication Reimagining Participatory Agile Development in Community-Industry Partnerships Calvin A. Liang, Emily Tseng, Elizabeth Fetterolf, Mary L. Gray CHI 2026 | April 2026
Publication From Binary Groundedness to Support Relations: Towards a Reader-Centred Taxonomy for Comprehension of AI Output Advait Sarkar, Christian Poelitz, Viktor Kewenig ACM CHI 2026 Workshop on Science and Technology for Augmenting Reading (CHI '26 STAR) | April 2026 Project
Publication Reasoning Beyond Labels: Measuring LLM Sentiment in Low-Resource, Culturally Nuanced Contexts Millicent Ochieng, Anja Thieme, Ignatius Ezeani, Risa Ueno, Samuel Chege Maina, Keshet Ronen, Javier González, Jacki O'Neill The 19th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2026) | March 2026
Publication RESPOND: Responsive Engagement Strategy for Predictive Orchestration and Dialogue Meng-Chen Lee, Costas Panay, Javier Hernandez, Sean Andrist, Dan Bohus, Anatoly Churikov, Andrew D. Wilson March 2026 Project
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
Publication Compression is all you need: Modeling Mathematics Vitaly Aksenov, Eve Bodnia, Michael Freedman, Michael Mulligan March 2026
Publication Memory Over Maps: 3D Object Localization Without Reconstruction Ruifa Zhou, Xander Yap, Jian Cao, Allison Lau, Boyang Sun, Marc Pollefeys March 2026
Publication Low-complexity neural network equalization for long-haul coherent transmission with cascaded semiconductor optical amplifiers S. Bogdanov, S. Sygletos, O. Sidelnikov, G. Gomes, M. Kamalian-Kopae, S. Turitsyn March 2026