Samuel Drews

According to our database, Samuel Drews authored at least 8 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Proving Data-Poisoning Robustness in Decision Trees.

Samuel Drews, Aws Albarghouthi, Loris D'Antoni

Commun. ACM, February, 2023

2019

Efficient Synthesis with Probabilistic Constraints.

Samuel Drews, Aws Albarghouthi, Loris D'Antoni

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2017

FairSquare: probabilistic verification of program fairness.

Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori

Proc. ACM Program. Lang., 2017

Quantifying Program Bias.

Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori

CoRR, 2017

Learning Symbolic Automata.

Samuel Drews, Loris D'Antoni

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Repairing Decision-Making Programs Under Uncertainty.

Aws Albarghouthi, Loris D'Antoni, Samuel Drews

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Fairness as a Program Property.

Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori

CoRR, 2016

Effectively Propositional Interpolants.

Samuel Drews, Aws Albarghouthi

Proceedings of the Computer Aided Verification - 28th International Conference, 2016