Programming languages and software engineering
Dataset Source Code
InferredBugs
InferredBugs is a metadata-rich dataset of bugs and fixes in Java and C# programming languages, extracted using Infer (for Java) and InferSharp (for C#). The dataset has been constructed by systematically analyzing open-source repositories, scrutinizing…
Publication
STEAM: Observability-Preserving Trace Sampling
Publication
Grace: Language Models Meet Code Edits
Microsoft Research Blog
Research Focus: Week of November 22, 2023
A new deep-learning compiler for dynamic sparsity; Tongue Tap could make tongue gestures viable for VR/AR headsets; Ranking LLM-Generated Loop Invariants for Program Verification; Assessing the limits of zero-shot foundation models in single-cell biology.
Microsoft Research Blog
Research Focus: Week of November 8, 2023
Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Generating both plausible and accurate full body avatar…
Video
VLDB 2023 Presentation for CORNET: Learning Table Formatting Rules By Example
Cornet: Learning Table Formatting Rules By Example. Mukul Singh, José Cambronero Sánchez, Sumit Gulwani, Vu Le, Carina Negreanu, Mohammad Raza, and Gust Verbruggen. Proc. VLDB Endow. 16, 10 (June 2023), 2632–2644. Link to PDF of…
