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 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…
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…
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 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 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.
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 is an open source software development kit (SDK) that makes voting more secure, transparent and accessible. Announced on at the Build developer conference (opens in new tab), ElectionGuard enables end-to-end verification of elections as well as support the publication of results from…
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…
