Effectively Propositional Interpolants. - Samuel Drews; Aws Albarghouthi (CAV (2), 2016)

Fairness as a Program Property. - Aws Albarghouthi; Loris D'Antoni; Samuel Drews; Aditya V. Nori (CoRR, 2016)

Repairing Decision-Making Programs Under Uncertainty. - Aws Albarghouthi; Loris D'Antoni; Samuel Drews (CAV (1), 2017)

Learning Symbolic Automata. - Samuel Drews; Loris D'Antoni (TACAS (1), 2017)

Quantifying Program Bias. - Aws Albarghouthi; Loris D'Antoni; Samuel Drews; Aditya V. Nori (CoRR, 2017)

FairSquare: probabilistic verification of program fairness. - Aws Albarghouthi; Loris D'Antoni; Samuel Drews; Aditya V. Nori (Proc. ACM Program. Lang., 2017)

Efficient Synthesis with Probabilistic Constraints. - Samuel Drews; Aws Albarghouthi; Loris D'Antoni (CAV (1), 2019)

Proving Data-Poisoning Robustness in Decision Trees. - Samuel Drews; Aws Albarghouthi; Loris D'Antoni (Commun. ACM, 2023)