Algorithms
Local Partition in Rich Graphs
Discover[i]: Component-based Parameterized Reasoning for Distributed Applications
Distributed systems are hard to get right. There have been many notable efforts in formal reasoning for distributed systems: these efforts have focused on language design, automated or semi-automated verification, and, more recently, on automated…
![Video: Discover[i]: Component-based Parameterized Reasoning for Distributed Applications](https://www.microsoft.com/en-us/research/wp-content/uploads/2018/11/42373_Discoveri-Component-based-Parameterized-Reasoning_video_10_2019_1280x720-1024x576.jpg)
Parallel approach to sliding window sums
Delayed Impact of Fair Machine Learning
Fairness in machine learning has predominantly been studied in static classification settings without concern for how decisions change the underlying population over time. Conventional wisdom suggests that fairness criteria promote the long-term well-being of those…
Deep Generative Models for Imitation Learning and Fairness
In the first part of the talk, I will introduce Multi-agent Generative Adversarial Imitation Learning, a new framework for multi-agent imitation learning for general Markov games, where we build upon a generalized notion of inverse…
Algorithmic Social Intervention
Social and behavioral interventions are a critical tool for governments and communities to tackle deep-rooted societal challenges such as homelessness, disease, and poverty. However, real-world interventions are almost always plagued by limited resources and limited…
