David Shriver

Registered user since Tue 9 Feb 2021

Name:David Shriver
Bio:

I am a computer science Ph.D. student at the University of Virginia, advised by Sebastian Elbaum and Matt Dwyer, and a member of LESS lab. I have a BS in computer engineering and a Masters in computer science from UNL. My Masters work was on assessing the quality and stability of recommender systems. My current research interests are in analysis, testing, and verification of machine learning systems, especially in the context of cyber-physical systems.

Country:United States
Affiliation:University of Virginia
Personal website:https://dlshriver.com
Research interests:Verification, Machine Learning, Software Engineering

Contributions

ASE 2021 Author of Distribution Models for Falsification and Verification of DNNs within the Research Papers-track
Author of Distribution Models for Falsification and Verification of DNNs within the Artifact Evaluation-track
ISSTA 2021 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICSE 2021 Author of Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks within the AE - Artifact Evaluation-track
Author of Reducing DNN Properties to Enable Falsification with Adversarial Attacks within the Technical Track-track
* ICSE 2018 * Author of Poster W28: Toward the Development of Richer Properties for Recommender Systems within the Posters -track