Publication Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno USENIX Security Symposium | August 2025
Publication Liver MRI proton density fat fraction inference from contrast enhanced CT images using deep learning: A proof-of-concept study Md Nasir, Yixi Xu, Kyle Hasenstab, Alekhya Yechoor, Rahul Dodhia, Bill Weeks, Juan M. Lavista Ferres, Guilherme Moura Cunha PloS One | August 2025 Project
Publication Collective Agency in Art-making: Towards Community-centric Design of Text-to-Image (T2I) AI Tools Abdullah Hasan Safir, Noshin Tahsin, Pratyasha Saha, Dipannita Nandi, Zulkarin Jahangir, Cecily Morrison, Syed Ishtiaque Ahmed, Nusrat Jahan Mim 2025 Conference on AI, Ethics and Society | August 2025 Project
Publication SynthCraft: an AI partner for synthetic data generation to support data access and augmentation in healthcare Thomas Callender, Anders Boyd, Robert Davis, Silas Ruhrberg Estevez, Juan M. Lavista Ferres, Mihaela van der Schaar August 2025 Project
Publication What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury August 2025
Publication Streaming Algorithms for Network Design Chandra Chekuri, Rhea Jain, Sepideh Mahabadi, Ali Vakilian International Conference on Approximation Algorithms for Combinatorial Optimization Problems (APPROX) | August 2025
Publication Understanding, Protecting, and Augmenting Human Cognition with Generative AI: A Synthesis of the CHI 2025 Tools for Thought Workshop Lev Tankelevitch, Elena L. Glassman, Jessica He, Aniket Kittur, Mina Lee, Srishti Palani, Advait Sarkar, Gonzalo Ramos, Yvonne Rogers, Hari Subramonyam ArXiv | August 2025 Project
Publication New frontiers in AI for biodiversity research and conservation with multimodal language models Zhongqi Miao, Yuanhan Zhang, Zalan Fabian, Andres Hernandez Celis, Sara Beery, Chunyuan Li, Ziwei Liu, Amrita Gupta, Md Nasir, Wanhua Li, Jason Holmberg, Meredith Palmer, Kaitlyn Gaynor, Rahul Dodhia, Juan M. Lavista Ferres Methods in Ecology and Evolution | August 2025 Project
Publication Dorami: Privilege Separating Security Monitor on RISC-V TEEs Mark Kuhne, Stavros Volos, Shweta Shinde 34th USENIX Security Symposium | August 2025