Hello everyone,
I will be giving a practice talk for CAV on Monday (tomorrow) at noon in CS 2310. If you can attend, I would greatly appreciate your feedback. Thanks!
Sam
Title: Repairing Decision-Making Programs under Uncertainty
Abstract: The world is uncertain. Programs can be wrong. We address the problem of repairing a program under uncertainty,
where program inputs are drawn from a probability distribution. The goal of the repair is to construct a new program that satisfies a probabilistic Boolean _expression_. Our work focuses on loop-free decision-making programs, e.g., classifiers, that return a
Boolean- or finite-valued result. Specifically, we propose distribution-guided inductive synthesis, a novel program repair technique that iteratively (i) samples a finite set of inputs from a probability distribution defining the precondition, (ii) synthesizes
a minimal repair to the program over the sampled inputs using an SMT-based encoding, and (iii) verifies that the resulting program is correct and is semantically close to the original program. We formalize our algorithm and prove its correctness by rooting
it in computational learning theory. For evaluation, we focus on repairing machine learning classifiers with the goal of making them unbiased (fair). Our implementation and evaluation demonstrate our approach's ability to repair a range of programs.
![[Computer Systems Lab]](http://www.cs.wisc.edu/pics/csl_logo.gif){kind=logo}