PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Tue 25 Jun 2024 14:30 - 15:00 at Sweden - Session 3 Chair(s): Alexa VanHattum

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 Jun

Displayed time zone: Windhoek change

13:40 - 15:30
Session 3PLMW@PLDI at Sweden
Chair(s): Alexa VanHattum Wellesley College
13:40
50m
Panel
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
30m
Talk
DrFix: Automated Data Race Fixing using Program Analysis and Generative AI
PLMW@PLDI
15:00
30m
Talk
A Tour of Program Optimization
PLMW@PLDI
Max Willsey UC Berkeley