Distributed Systems
Network Provenance
Operators of distributed systems often find themselves needing to answer a diagnostic or forensic question. Some part of the system is found to be in …
Privacy
Theory and Practice of Differential Privacy
Large, diverse datasets hold tremendous promise, if only we can derive statistical insights from them. But often, these datasets are siloed and withheld, because of …
Computational Social Science
Fairness in Machine Learning
Important decisions such as police deployment, loan approvals, hiring, and parole from incarceration are beginning to be made by machine learning algorithms. This has lent …
Data Science
Foundations of Adaptive Data Analysis
Classical tools for rigorously analyzing data make the assumption that the analysis is static: the models to be fit, and the hypotheses to be tested …
Computer Architecture
Improving GPU Performance and Programmability
In recent years, graphics processing units (GPUs) have thoroughly permeated consumer processor designs. It is now essentially impossible to find a smartphone, tablet or laptop …
Data Science
Measuring the World’s Well-Being
The World Well-Being Project (WWBP) is pioneering scientific techniques for measuring psychological well-being and physical health based on the analysis of language in social media. …
Data Science
Facilitating Trustworthy Data Science
When a data analysis result is published or shared, how do we know whether it is trustworthy? Conceptually, we must show that each step of …
Distributed Systems
DeDOS: Declarative Dispersion-Oriented Software
The goal of this project is to create fundamentally new defenses against distributed denial-of-service (DDoS) attacks that can provide far greater resilience to these attacks …
Formal Methods
The Science of Deep Specification
In our interconnected world, software bugs and security vulnerabilities pose enormous costs and risks. The Deep Specification project addresses this problem by showing how to …