Profile picture.

David Shriver

I am currently a PhD student at the University of Virginia, and a member of LESS Lab. My research interests are in ensuring correctness of machine learning systems. In particular, I am interested in analysis, testing, and verification of neural networks, especially in the context of cyber-physical systems.

I'm on the job market!

Education

Ph.D., Computer Science

Dec 2022
University of Virginia

Advised by: Matt Dwyer and Sebastian Elbaum

M.S., Computer Science

May 2018
University of Nebraska-Lincoln

Advised by: Sebastian Elbaum

B.S., Computer Engineering

May 2016
University of Nebraska-Lincoln

Positions Held

Research Intern

Langley Research Center, NASA

June 2021 — August 2021

Research Assistant

Department of Computer Science, University of Virginia

August 2018 — Present

Research Assistant

Department of Computer Science and Engineering, University of Nebraska-Lincoln

March 2014 — July 2018

Tools and Artifacts

dnnf

:

A tool for deep neural network falsification.

https://github.com/dlshriver/DNNF

dnnv-benchmarks

:

A collection of DNN verification benchmarks.

https://github.com/dlshriver/dnnv-benchmarks

[Github]

dnnv

:

A framework for verifying deep neural networks.

https://github.com/dlshriver/DNNV

Publications

Distribution Models for Falsification and Verification of DNNs


Felipe Toledo, David Shriver, Sebastian Elbaum, Matthew B. Dwyer

International Conference on Automated Software Engineering (ASE)
2021

DNNV: A Framework for Deep Neural Network Verification


David Shriver, Sebastian Elbaum, Matthew B. Dwyer

Computer Aided Verification
2021

[Paper] [Tool] [Video]

Reducing DNN Properties to Enable Falsification with Adversarial Attacks


David Shriver, Sebastian Elbaum, Matthew B. Dwyer

International Conference on Software Engineering (ICSE)
2021

Systematic Generation of Diverse Benchmarks for DNN Verification


Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian Elbaum

Computer Aided Verification
2020

[Paper]

Refactoring Neural Networks for Verification


David Shriver, Dong Xu, Sebastian Elbaum, Matthew B. Dwyer

arXiv preprint arXiv:1908.08026
2019

[Paper]

Evaluating Recommender System Stability with Influence-Guided Fuzzing


David Shriver, Sebastian Elbaum, Matthew B. Dwyer, David S. Rosenblum

AAAI Conference on Artificial Intelligenc
2019

Toward the development of richer properties for recommender systems


David Shriver

International Conference on Software Engineering: Companion Proceedings
2018

Assessing the Quality and Stability of Recommender Systems


David Shriver

University of Nebraska-Lincoln
2018

[Paper]

At the End of Synthesis: Narrowing Program Candidates


David Shriver, Sebastian G. Elbaum, Kathryn T. Stolee

International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track
2017

[Paper]

Awards and Honors

• John A. Stankovic Outstanding Graduate Research Award, May 2022
• University of Nebraska-Lincoln, Highest Distinction, May 2016
• University of Nebraska-Lincoln, Computer Engineering Outstanding Undergraduate Senior, 2016

Service

• Artifact Evaluation Reviewer ISSTA 2021
• Co-reviewer ISSTA 2021
• Co-reviewer ICSE 2020