• Publications
  • Influence
DeepTest: Automated Testing of Deep-Neural-Network-Driven Autonomous Cars
TLDR
We design, implement, and evaluate DeepTest, a systematic testing tool for automatically detecting erroneous behaviors of DNN-driven vehicles that can potentially lead to fatal crashes. Expand
  • 429
  • 49
  • PDF
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations
TLDR
We design, implement, and apply the first methodology for large-scale testing of certificate validation logic in SSL/TLS implementations. Expand
  • 132
  • 22
  • PDF
Gender and Tenure Diversity in GitHub Teams
TLDR
We show that gender and tenure diversity are positive and significant predictors of productivity, together explaining a sizable fraction of the data variability. Expand
  • 181
  • 21
  • PDF
An Empirical Study of API Stability and Adoption in the Android Ecosystem
TLDR
We conduct an empirical study of the co-evolution behavior of Android API and dependent applications using the version history data found in github. Expand
  • 225
  • 20
  • PDF
A large scale study of programming languages and code quality in github
TLDR
We use a mixed-methods approach, combining multiple regression modeling with visualization and text analytics, to study the effect of language features such as static v. dynamic typing, strong v. weak typing on software quality. Expand
  • 253
  • 17
  • PDF
PTask: operating system abstractions to manage GPUs as compute devices
TLDR
We propose a new set of OS abstractions to support GPUs and other accelerator devices as first class computing resources. Expand
  • 232
  • 13
  • PDF
WhozThat? evolving an ecosystem for context-aware mobile social networks
TLDR
This article presents WhozThat, a system that ties together online social networks with mobile smart- phones to answer this common and essential social question. Expand
  • 185
  • 10
  • PDF
On the "naturalness" of buggy code
TLDR
We find that code with bugs tends to be more entropic (i.e. unnatural), becoming less so as bugs are fixed. Expand
  • 87
  • 8
Assert Use in GitHub Projects
TLDR
Asserts have long been a strongly recommended (if non-functional) adjunct to programs. Expand
  • 44
  • 7
  • PDF
An empirical study of supplementary bug fixes
TLDR
This paper investigates a group of bugs that were fixed more than once in open source projects - those bugs whose initial patches were later considered incomplete and to which programmers applied supplementary patches. Expand
  • 56
  • 6
  • PDF