论文与出版物 Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy 2025 International Conference on Software Engineering | April 2025 Dataset (V1) – https://huggingface.co/datasets/microsoft/FStarDataSet | (V2) – https://huggingface.co/datasets/microsoft/FStarDataSet-V2 项目
论文与出版物 Smart Casual Verification of CCF’s Distributed Consensus and Consistency Protocols Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks 2025 Networked Systems Design and Implementation | April 2025 项目
论文与出版物 LLM Assistance for Memory Safety Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy 47th International Conference on Software Engineering (ICSE) | April 2025
论文与出版物 RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi 47th International Conference on Software Engineering (ICSE) | April 2025
论文与出版物 Balance Reward and Safety Optimization for Safe Reinforcement Learning: A Perspective of Gradient Manipulation Shangding Gu, Hong Cheng, Hang Dong, Bo Qiao, Si Qin, Qingwei Lin 林庆维 December 2024
论文与出版物 SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R Govindarajan, Uday Bondhugula 2024 Symposium on Operating Systems Principles | November 2024 项目
论文与出版物 Counter-Empirical Attacking based on Adversarial Reinforcement Learning for Time-Relevant Scoring System Xiangguo Sun, Hong Cheng, Hang Dong, Bo Qiao, Si Qin, Qingwei Lin 林庆维 TKDE’24 | November 2024
论文与出版物 Leveraging LLMs for Program Verification Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma Formal Methods in Computer-Aided Design (FMCAD) | October 2024
论文与出版物 Principal Type Inference under a Prefix Daan Leijen, Wenjia Ye MSR-TR-2024-34 | September 2024 作者:Microsoft A Fresh Look at Static Overloading. This is an initial draft, any feedback is welcome. 项目
微软研究院博客 Research Focus: Week of September 9, 2024 2024年9月12日 | Sara Abdali, Sefik Emre Eskimez, Xiaofei Wang, Manthan Thakker, Jinyu Li, Sheng Zhao, Naoyuki Kanda, Carmen Badea, Christian Bird, Tom Zimmermann, Rob DeLine, Nicole Forsgren, Denae Ford Robinson, Xenofon Foukas Investigating vulnerabilities in LLMs; A novel total-duration-aware (TDA) duration model for text-to-speech (TTS); Generative expert metric system through iterative prompt priming; Integrity protection in 5G fronthaul networks: