Samuel Drews

11 papers A* 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
Proving Data-Poisoning Robustness in Decision Trees.
Commun. ACM
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2020 A* conf
Proving data-poisoning robustness in decision trees.
PLDI
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2019 — conf
Efficient Synthesis with Probabilistic Constraints.
CAV (1)
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2019 J jnl
Efficient Synthesis with Probabilistic Constraints.
CoRR
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2019 J jnl
Proving Data-Poisoning Robustness in Decision Trees.
CoRR
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2017 J jnl
FairSquare: probabilistic verification of program fairness.
Proc. ACM Program. Lang.
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
2017 — conf
Learning Symbolic Automata.
TACAS (1)
Samuel Drews, Loris D'Antoni
2017 J jnl
Quantifying Program Bias.
CoRR
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
2017 — conf
Repairing Decision-Making Programs Under Uncertainty.
CAV (1)
Aws Albarghouthi, Loris D'Antoni, Samuel Drews
2016 — conf
Effectively Propositional Interpolants.
CAV (2)
Samuel Drews, Aws Albarghouthi
2016 J jnl
Fairness as a Program Property.
CoRR
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori