LLOR: Automated Repair of OpenMP Programs (VMCAI 2025 - 26th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2025))

Who

Gautam Muduganti, Utpal Bora, Saurabh Joshi, Ramakrishna Upadrasta

Track

VMCAI 2025

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-07:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 21 Jan 2025 16:00 - 16:30 at Hopscotch - Concurrency

Abstract

In this paper, we present a technique for repairing data race errors in parallel programs written in C/C++ and Fortran using the OpenMP API. Our technique can also remove barriers that are deemed unnecessary for correctness. We implement these ideas in our tool called LLOR, which takes a language-independent approach to provide appropriate placements of synchronization constructs to avoid data races. To the best of our knowledge, LLOR is the only tool that can repair parallel programs that use the OpenMP API. We showcase the capabilities of LLOR by performing extensive experiments on 415 parallel programs.

Gautam Muduganti

Indian Institute of Technology Hyderabad, India

India

Utpal Bora

University of Cambridge

United Kingdom

Saurabh Joshi

Supra Research