PLDI 2024 (series) / PLMW@PLDI 2024 (series) / Programming Languages Mentoring Workshop /
DrFix: Automated Data Race Fixing using Program Analysis and Generative AI
Go is a programming language that is particularly prone to concurrency bugs, with data race bugs being especially notorious for causing unexpected behavior. Consequently, debugging these issues is challenging. Since application developers may not be experts in concurrency, fixing these bugs can take hours. To address this issue, we have developed DrFix, an automated data race fixing tool that leverages a combination of program analysis and generative AI. In this talk, I will discuss how we have achieved automatically fixing hundreds of data races using DrFix.
Tue 25 JunDisplayed time zone: Windhoek change
Tue 25 Jun
Displayed time zone: Windhoek change
13:40 - 15:30 | |||
13:40 50mPanel | Panel: PL and Beyond PLMW@PLDI P: Jens Palsberg University of California, Los Angeles (UCLA), P: Saman Amarasinghe Massachusetts Institute of Technology, P: Sukyoung Ryu KAIST, Martin C. Rinard Massachusetts Institute of Technology, Nate Foster Cornell University and Jane Street, M: Umang Mathur National University of Singapore | ||
14:30 30mTalk | DrFix: Automated Data Race Fixing using Program Analysis and Generative AI PLMW@PLDI Farnaz Behrang Uber | ||
15:00 30mTalk | A Tour of Program Optimization PLMW@PLDI Max Willsey UC Berkeley |