Samuel Drews

Graduate Student

University of Wisconsin-Madison

About

I am a graduate student in the Programming Languages group at the University of Wisconsin-Madison. I began my program in Fall 2015 and have been working on projects with Aws Albarghouthi and Loris D’Antoni.

Interests

Static Analysis
Algorithmic Fairness
Cool Math
Classical Music

Education

BS in Computer Science and Mathematics, 2015

University of Wisconsin-Madison

Publications

PLDI20 Proving Data-Poisoning Robustness in Decision Trees

Details PDF
CAV19 Efficient Synthesis with Probabilistic Constraints

Details PDF Slides
OOPSLA17 Probabilistic Verification of Program Fairness

Details PDF Slides Video
CAV17 Repairing Decision-Making Programs Under Uncertainty

Details PDF Slides Video
TACAS17 Learning Symbolic Automata
Best paper award nominee
Details PDF Slides
FATML16 Fairness as a Program Property

Details PDF Slides Video
CAV16 Effectively Propositional Interpolants

Details PDF Slides

Contact

sdrews (at) cs (dot) wisc (another dot) edu
Computer Sciences 6364, University of Wisconsin-Madison, Madison, WI 53706