Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
Mon 21 Jun 2021 18:15 - 18:45 at MAPS - Session C

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 Jun

Displayed time zone: Eastern Time (US & Canada) change

16:45 - 19:15
Session CMAPS at MAPS
16:45
60m
Talk
Machine Learning for Autotuning Production Machine Learning Compilers
MAPS
17:45
30m
Talk
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
30m
Talk
ControlFlag: A Self-supervised Idiosyncratic PatternDetection System for Software Control Structures
MAPS
Niranjan Hasabnis Intel Labs, Justin Gottschlich Intel Labs / Penn
18:45
30m
Talk
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