Research in Software Engineering (RiSE)

FStar Data Set v2

2024年9月

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 in F*, the objective of…

FStar Data Set v1

2024年9月

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 different F⋆-based open source projects…

MicroCode

2024年6月

Microsoft MicroCode is an icon-based programming language and editor for young learners to code with the BBC micro:bit V2. MicroCode allows you to program the micro:bit V2 with only an Arcade shield accessory – no other computer is required! If…

Koka

2021年6月

Koka: a Functional Language with Effects Koka is a strongly typed functional-style language with effect types and handlers.

REST API Fuzz Testing

2020年11月

This self-hosted service developed for Azure, including its orchestration engine and security tools (including MSR’s RESTler), enables developers to embed security tooling into their CI/CD workflows.

RESTler-Fuzzer

2020年11月

RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.

Bosque Programming Language

2019年5月

The Bosque programming language is an experiment in regularized design for a machine-assisted rapid and reliable software development.

Z3 automated theorem prover

2018年5月

Z3 is a theorem prover from Microsoft Research. It is licensed under the MIT license. Z3 can be built using Visual Studio, a Makefile or using CMake. It provides bindings for several programming languages including .NET, C, C++, Java, OCaml,…

F* language and verifier

2018年5月