ControlFlag: A Self-supervised Idiosyncratic PatternDetection System for Software Control Structures
Software debugging has been shown to utilize upwards of half of developers’ time. Yet, machine programming (MP), the field concerned with the automation of software (and hardware) development, has recently made strides in both research and production-quality automated debugging systems. In this paper we present ControlFlag, an MP system that aims to improve debugging. ControlFlag does this by attempting to detect idiosyncratic pattern violations in software control structures. In some cases, these pattern violations can result in software defects. ControlFlag also suggests possible corrections in the event a true error is detected. A novelty of ControlFlag is that it is entirely self-supervised. That is, it requires no labels on training data to learn potential idiosyncratic programming pattern violations. We present ControlFlag’s design and provide an abbreviated experimental evaluation and analysis of its efficacy in identifying potential programming errors in production-quality software. We close with a discussion of extensions of ControlFlag to increase its generalizability.
Mon 21 JunDisplayed time zone: Eastern Time (US & Canada) change
16:45 - 19:15 | |||
16:45 60mTalk | Machine Learning for Autotuning Production Machine Learning Compilers MAPS | ||
17:45 30mTalk | Pure, Low-Level Tensor Program Rewriting via Access Patterns (Representation Pearl) MAPS Gus Henry Smith University of Washington, Andrew Liu University of Washington, Steven Lyubomirsky University of Washington, USA, Scott Davidson University of Washington, Joseph McMahan University of Washington, Michael Bedford Taylor University of Washington, Luis Ceze University of Washington, Zachary Tatlock University of Washington, Seattle | ||
18:15 30mTalk | ControlFlag: A Self-supervised Idiosyncratic PatternDetection System for Software Control Structures MAPS | ||
18:45 30mTalk | Predictive Data Locality Optimization for Higher-Order Tensor Computations MAPS Tharindu Patabandi University of Utah, Anand Venkat , Abhishek Kulkarni Intel, Pushkar Ratnalikar Intel Labs, Mary Hall University of Utah, Justin Gottschlich Intel Labs / Penn |