Samuel Drews

According to our database1, Samuel Drews authored at least 8 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Proving data-poisoning robustness in decision trees.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019
Efficient Synthesis with Probabilistic Constraints.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2017
FairSquare: probabilistic verification of program fairness.
Proc. ACM Program. Lang., 2017

Quantifying Program Bias.
CoRR, 2017

Learning Symbolic Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Repairing Decision-Making Programs Under Uncertainty.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Fairness as a Program Property.
CoRR, 2016

Effectively Propositional Interpolants.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016


  Loading...