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 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
Tool NextCoder Enhancing the ability of coding models to handle diverse editing requirements. Access Publication
Publication TablePilot: Recommending Human-Preferred Tabular Data Analysis with Large Language Models Deyin Yi, Yihao Liu, Lang Cao, Mengyu Zhou, Haoyu Dong, Shi Han, Dongmei Zhang The 63rd Annual Meeting of the Association for Computational Linguistics (ACL ’25) | July 2025 Project
Publication PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025 Distinguished Artifact Award Project
Publication Regex Decision Procedures in Extended RE# Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko, Juhan Ernits CAV 2025 | July 2025 Editor(s): R. Piskac and Z. Rakamaric Published in LNCS vol. 15933 Project
Publication NextCoder: Robust Adaptation of Code LMs to Diverse Code Edits Tushar Aggarwal*, Swayam Singh*, Abhijeet Awasthi, Aditya Kanade, Nagarajan Natarajan ICML 2025 | July 2025 Access
Publication Reduction Fusion for Optimized Distributed Data-Parallel Computations via Inverse Recomputation Haoxiang Lin, Yang Wang, Yanjie Gao, Hongyu Zhang, Ming Wu, Mao Yang FSE 2025 | June 2025 The ACM International Conference on the Foundations of Software Engineering, Ideas, Visions and Reflections Track Project
Publication dl²: Detecting Communication Deadlocks in Deep Learning Jobs Yanjie Gao, Jiyu Luo, Haoxiang Lin, Hongyu Zhang, Ming Wu, Mao Yang FSE 2025 | June 2025 The ACM International Conference on the Foundations of Software Engineering, Industry Track Project
Publication An Empirical Study of Issues in Large Language Model Training Systems Yanjie Gao, Ruiming Lu, Haoxiang Lin, Yueguo Chen FSE 2025 | June 2025 The ACM International Conference on the Foundations of Software Engineering, Industry Track Project
