Microsoft Research Special Projects
下载
Continental United States Distributed Energy Resources (DER) Dataset
2023年9月
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
2021年12月
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
2021年5月
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
2021年3月
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
2021年1月
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
2020年9月
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
2020年5月
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
2020年2月
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
2018年5月
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…