论文与出版物 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
论文与出版物 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
论文与出版物 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 项目
岗位 Member of Technical Staff, AI Platform Engineer Posted: 2025年7月11日 地点: Mountain View, CA, US 研究领域: Artificial intelligence, Programming languages and software engineering At Microsoft AI, AI is part of ever…
论文与出版物 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 项目
论文与出版物 Regex Decision Procedures in Extended RE# Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko, Juhan Ernits CAV 2025 | July 2025 编辑: R. Piskac and Z. Rakamaric Published in LNCS vol. 15933 项目
论文与出版物 NextCoder: Robust Adaptation of Code LMs to Diverse Code Edits Tushar Aggarwal*, Swayam Singh*, Abhijeet Awasthi, Aditya Kanade, Nagarajan Natarajan ICML 2025 | July 2025 访问
论文与出版物 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 项目
论文与出版物 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 项目
