Programming languages and software engineering research area
Return to Microsoft Research Lab – Redmond

Research in Software Engineering (RiSE)

工具

2024年9月

This dataset is the Version 2.0 of the F…

Access for FStar Data Set v2

2024年9月

This dataset contains programs and proof…

Access for FStar Data Set v1

2024年6月

Microsoft MicroCode is an icon-based pro…

Github for MicroCode

2021年6月

Koka: a Functional Language with Effects…

Github for Koka

2020年11月

This self-hosted service developed for A…

Github for REST API Fuzz Testing

2020年11月

RESTler is the first stateful REST API f…

Github for RESTler-Fuzzer

2019年5月

The Bosque programming language is an ex…

Github for Bosque Programming Language

2018年5月

Z3 is a theorem prover from Microsoft Re…

Github for Z3 automated theorem prover

2018年5月

Github for F* language and verifier