Samuel Drews

Identifiers

No identifiers captured yet.

Papers (3)

1. Efficient Synthesis with Probabilistic Constraints cs.PL · 2019 · author #1
2. Quantifying Program Bias cs.PL · 2017 · author #3
3. Fairness as a Program Property cs.PL · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Aws Albarghouthi 3 shared papers
• Loris D'Antoni 3 shared papers
• Aditya Nori 2 shared papers