168 citations · 249 across the 6 of their papers we have counts for
3 papers · 1 filter
Smart Build Targets Batching Service at Google
Kaiyuan Wang, Daniel Rall, Greg Tener +3
Google has a monolithic codebase with tens of millions build targets. Each build target specifies the information that is needed to build a software artifact or run tests. It is co…
Symbolic Execution for Deep Neural Networks
Divya Gopinath, Kaiyuan Wang, Mengshi Zhang +2
Deep Neural Networks (DNN) are increasingly used in a variety of applications, many of them with substantial safety and security concerns. This paper introduces DeepCheck, a new ap…
Fault Localization for Declarative Models in Alloy
Kaiyuan Wang, Allison Sullivan, Darko Marinov +1
Fault localization is a popular research topic and many techniques have been proposed to locate faults in imperative code, e.g. C and Java. In this paper, we focus on the problem o…