Publication The Power of Migrations in Dynamic Bin Packing Konstantina Mellou, Marco Molinaro, Rudy Zhou ACM SIGMETRICS | June 2025 Project
Publication Rigor in AI: Doing Rigorous AI Work Requires a Broader, Responsible AI-Informed Conception of Rigor Alexandra Olteanu, Su Lin Blodgett, Agathe Balayn, Angelina Wang, Fernando Diaz, Flavio du Pin Calmon, Margaret Mitchell, Michael Ekstrand, Reuben Binns, Solon Barocas NeurIPS 2025 | June 2025
Publication Interaction, Process, Infrastructure: A Unified Framework for Human–Agent Collaboration Yun Wang, Yan Lu June 2025
Publication Enhancing Food Security with High-Quality Land-Use and Land-Cover Maps: A Local Model Approach Girmaw Abebe Tadesse, Caleb Robinson, Charles Mwangi, Esther Maina, Joshua Nyakundi, Luana Marotti, Gilles Quentin Hacheme, Hamed Alemohammad, Rahul Dodhia, Juan M. Lavista Ferres IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing | June 2025 Project
Publication PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, Nikhil Swamy 2025 Programming Language Design and Implementation | June 2025 Project
Publication From Elements to Design: A Layered Approach for Automatic Graphic Design Composition Jiawei Lin, Shizhao Sun, Danqing Huang, Ting Liu, Ji Li, Jiang Bian 2025 Computer Vision and Pattern Recognition | June 2025 Github
Publication Examining the Expanding Role of Synthetic Data Throughout the AI Development Pipeline Shivani Kapania, Stephanie Ballard, Alex Kessler, Jennifer Wortman Vaughan 8th ACM Conference on Fairness, Accountability, and Transparency (FAccT 2025) | June 2025
Publication Dynamic Region Ownership for Concurrency Safety Fridtjof Peer Stoldt, Brandt Bucher, Sylvan Clebsch, Matthew Johnson, Matthew J. Parkinson, Guido Van Rossum, Eric Snow, Tobias Wrigstad PACMPL | June 2025, Vol 9(PLDI) Project
Publication Auto-Test: Learning Semantic-Domain Constraints for Unsupervised Error Detection in Tables Qixu Chen, Yeye He (yeyehe), Raymond Chi-Wing Wong, Weiwei Cui, Song Ge, Haidong Zhang, Dongmei Zhang, Surajit Chaudhuri SIGMOD 2025 | June 2025
Publication Self-reflecting Large Language Models: A Hegelian Dialectical Approach Sara Abdali, Can Goksen, Michael Solodko, Saeed Amizadeh, Julie E. Maybee, Kazuhito Koishida June 2025