Programming languages and software engineering
Dataset Source Code
AutoVerus
Automatically synthesize proof annotations that help Verus prove the correctness of Rust code.
Tool
FStar Data Set v2
This dataset is the Version 2.0 of the FStar Data Set. This dataset’s primary objective is to train and evaluate Proof-oriented Programming with AI (PoPAI, in short). Given a specification of a program and proof…
Tool
FStar Data Set v1
This dataset contains programs and proofs in F* proof-oriented programming language. The data, proposed in Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming, is an archive of source code, build artifacts, and metadata assembled from eight…
Publication
Principal Type Inference under a Prefix (TR)
Microsoft Research Blog
Research Focus: Week of September 9, 2024
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:
Dataset Source Code
EASIER: Efficient Auto-scalable Scientific Infrastructure for Engineers and Researchers
EASIER is a domain specific language embedded in PyTorch to automatically scale physical simulations up and out. It just-in-time (JIT) distributes tensor dataflows that describe physical simulations to any number of workers and compiles them…