Microsoft Research Special Projects
Downloads
Continental United States Distributed Energy Resources (DER) Dataset
September 2023
We present a dataset of distributed energy resources (DERs) for the contiguous U.S. using only publicly available data. The primary focus of the dataset is on distribution-level utility-scale and distributed solar and storage, given their widespread deployment and significant growth…
ShowWhy
December 2021
ShowWhy is an interactive application that guides users through the process of answering a causal question using observational data. In use, it has the potential to empower domain experts (who may not be data scientists) to develop a higher standard…
DoWhy: A library for causal inference
May 2021
As computing systems are more frequently and more actively intervening in societally critical domains such as healthcare, education and governance, it is critical to correctly predict and understand the causal effects of these interventions. Without an A/B test, conventional machine…
Synthetic data showcase
March 2021
Generates synthetic data and user interfaces for privacy-preserving data sharing and analysis. In many cases, the best way to share sensitive datasets is not to share the actual sensitive datasets, but user interfaces to derived datasets that are inherently anonymous.…
Lean 4
January 2021
Lean 4 programming language and theorem prover Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and…
OneFuzz
September 2020
OneFuzz enables continuous developer-driven fuzzing to proactively harden software prior to release. With a single command, which can be baked into CICD, developers can launch fuzz jobs from a few virtual machines to thousands of cores.
vOW4SIKE
May 2020
The vOW4SIKE project provides C code that implements the parallel collision search algorithm by van Oorschot and Wiener (vOW). The algorithm can be instantiated for generic collision finding and for solving the supersingular isogeny problem in the context of the…
ElectionGuard
February 2020
ElectionGuard is an open source software development kit (SDK) that makes voting more secure, transparent and accessible. Announced on at the Build developer conference, ElectionGuard enables end-to-end verification of elections as well as support the publication of results from ballot comparison audits. The…
Lean interactive theorem prover
May 2018
Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain…