Write a Blog >>
MSR 2021
Mon 17 - Wed 19 May 2021
co-located with ICSE 2021
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://davidshriver.me
Research interests:Verification, Machine Learning, Software Engineering

Contributions

ICSE 2021 Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks
Reducing DNN Properties to Enable Falsification with Adversarial Attacks
Show activities from other conferences

ICSE 2021-profile
View general profile