20 citations · 23 across the 4 of their papers we have counts for
5 papers
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
We introduce dataset multiplicity, a way to study how inaccuracies, uncertainty, and social bias in training datasets impact test-time predictions. The dataset multiplicity framewo…
Sketching Robot Programs On the Fly
David Porfirio, Laura Stegner, Maya Cakmak +3
Service robots for personal use in the home and the workplace require end-user development solutions for swiftly scripting robot tasks as the need arises. Many existing solutions p…
Qubit Mapping and Routing via MaxSAT
Abtin Molavi, Amanda Xu, Martin Diges +3
Near-term quantum computers will operate in a noisy environment, without error correction. A critical problem for near-term quantum computing is laying out a logical circuit onto a…
Fairness as a Program Property
Aws Albarghouthi, Loris D'Antoni, Samuel Drews +1
We explore the following question: Is a decision-making program fair, for some useful definition of fairness? First, we describe how several algorithmic fairness questions can be p…
Spatial Interpolants
Aws Albarghouthi, Josh Berdine, Byron Cook +1
We propose Splinter, a new technique for proving properties of heap-manipulating programs that marries (1) a new separation logic-based analysis for heap reasoning with (2) an inte…