David Shriver

17 papers A* 4Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Trojans in Artificial Intelligence (TrojAI) Final Report.
CoRR
Kristopher W. Reese, Taylor Kulp-McDowall, Michael Majurski, Timothy Blattner, Derek Juba, Peter Bajcsy, Antonio Cardone, Philippe Dessauw, Alden Dima, Anthony J. Kearsley, Melinda Kleczynski, Joel Vasanth, Walid Keyrouz, Chace Ashcraft, Neil Fendley, Ted Staley, Trevor Stout, Josh Carney, Greg Canal, William Redman, Aurora Schmidt, Cameron Hickert, William Paul, Jared Markowitz, Nathan Drenkow, David Shriver, Marissa Connor, Keltin Grimes, Marco Christiani, Hayden Moore, Jordan Widjaja, Kasimir Gabert, Uma Balakrishnan, Satyanadh Gundimada, John Jacobellis, Sandya Lakkur, Vitus Leung, Jon Roose, Casey Battaglino, Farinaz Koushanfar, Greg Fields, Xihe Gu, Yaman Jandali, Xinqiao Zhang, Tara Javidi, Akash Vartak, Tim Oates, Ben Erichson, Michael Mahoney, Rauf Izmailov, Xiangyu Zhang, Guangyu Shen, Siyuan Cheng, Shiqing Ma, Xiaofeng Wang, Haixu Tang, Di Tang, Xiaoyi Chen, Zihao Wang, Rui Zhu, Susmit Jha, Xiao Lin, Manoj Acharya, Weichao Zhou, Feisi Fu, Panagiota Kiourti, Chenyu Wang, Zijian Guo, H. M. Sabbir Ahmad, Wenchao Li, Chao Chen
2025 J jnl
A Guide to Failure in Machine Learning: Reliability and Robustness from Foundations to Practice.
CoRR
Eric Heim, Oren Wright, David Shriver
2025 A* conf
Concept-ROT: Poisoning Concepts in Large Language Models with Model Editing.
ICLR
Keltin Grimes, Marco Christiani, David Shriver, Marissa Catherine Connor
2024 J jnl
Concept-ROT: Poisoning Concepts in Large Language Models with Model Editing.
CoRR
Keltin Grimes, Marco Christiani, David Shriver, Marissa Connor
2024 J jnl
The SaTML '24 CNN Interpretability Competition: New Innovations for Concept-Level Interpretability.
CoRR
Stephen Casper, Jieun Yun, Joonhyuk Baek, Yeseong Jung, Minhwan Kim, Kiwan Kwon, Saerom Park, Hayden Moore, David Shriver, Marissa Connor, Keltin Grimes, Angus Nicolson, Arush Tagade, Jessica Rumbelow, Hieu Minh Nguyen, Dylan Hadfield-Menell
2023 J jnl
DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles.
IEEE Trans. Software Eng.
Meriel von Stein, David Shriver, Sebastian G. Elbaum
2023 — conf
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities.
ESEC/SIGSOFT FSE
Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2021 — conf
Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks.
ICSE (Companion Volume)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2021 — conf
DNNV: A Framework for Deep Neural Network Verification.
CAV (1)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2021 J jnl
DNNV: A Framework for Deep Neural Network Verification.
CoRR
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2021 A* conf
Distribution Models for Falsification and Verification of DNNs.
ASE
Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2021 A* conf
Reducing DNN Properties to Enable Falsification with Adversarial Attacks.
ICSE
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2020 — conf
Systematic Generation of Diverse Benchmarks for DNN Verification.
CAV (1)
Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum
2019 A* conf
Evaluating Recommender System Stability with Influence-Guided Fuzzing.
AAAI
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer, David S. Rosenblum
2019 J jnl
Refactoring Neural Networks for Verification.
CoRR
David Shriver, Dong Xu, Sebastian G. Elbaum, Matthew B. Dwyer
2018 — conf
Toward the development of richer properties for recommender systems.
ICSE (Companion Volume)
David Shriver
2017 — conf
At the End of Synthesis: Narrowing Program Candidates.
ICSE-NIER
David Shriver, Sebastian G. Elbaum, Kathryn T. Stolee