Samuel Drews
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2016–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | PLDI | Proving data-poisoning robustness in decision trees. | Samuel Drews, Aws Albarghouthi, Loris D'Antoni |
| 2019 | CAV | Efficient Synthesis with Probabilistic Constraints. | Samuel Drews, Aws Albarghouthi, Loris D'Antoni |
| 2017 | CAV | Repairing Decision-Making Programs Under Uncertainty. | Aws Albarghouthi, Loris D'Antoni, Samuel Drews |
| 2017 | TACAS | Learning Symbolic Automata. | Samuel Drews, Loris D'Antoni |
| 2016 | CAV | Effectively Propositional Interpolants. | Samuel Drews, Aws Albarghouthi |