| 2025 | ICLR | Concept-ROT: Poisoning Concepts in Large Language Models with Model Editing. | Keltin Grimes, Marco Christiani, David Shriver, Marissa Catherine Connor |
| 2021 | CAV | DNNV: A Framework for Deep Neural Network Verification. | David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2021 | ICSE | Reducing DNN Properties to Enable Falsification with Adversarial Attacks. | David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2021 | ICSE | Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks. | David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2020 | CAV | Systematic Generation of Diverse Benchmarks for DNN Verification. | Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum |
| 2019 | AAAI | Evaluating Recommender System Stability with Influence-Guided Fuzzing. | David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer, David S. Rosenblum |
| 2018 | ICSE | Toward the development of richer properties for recommender systems. | David Shriver |
| 2017 | ICSE | At the End of Synthesis: Narrowing Program Candidates. | David Shriver, Sebastian G. Elbaum, Kathryn T. Stolee |