Mon 13 Jun 2022 14:20 - 15:00 at Rousseau East - Session 3 Chair(s): Jules Villard
Tue 14 Jun 2022 02:20 - 03:00 at Rousseau East - Session 3

Implementing bug-free concurrent programs is a challenging task in modern software development. State-of-the-art static analyses find hundreds of concurrency bugs in production code, scaling to large codebases. Yet, fixing these bugs in constantly changing codebases represents a daunting effort for programmers, particularly because a fix in the concurrent code can introduce other bugs in a subtle way. In this work, we show how to harness compositional static analysis for concurrency bug detection, to enable a new Automated Program Repair (APR) technique for data races in large concurrent Java codebases. The key innovation of our work is an algorithm that translates procedure summaries inferred by the analysis tool, RacerD, for the purpose of bug reporting, into small local patches that fix concurrency bugs (without introducing new ones). This synergy makes it possible to extend the virtues of compositional static concurrency analysis to APR, making our approach effective (it can detect and fix many more bugs than existing tools for data race repair), scalable (it takes seconds to analyse and suggest fixes for sizeable codebases), and usable (generally, it does not require annotations from the users and can perform continuous automated repair). Our study conducted on popular open-source projects has confirmed that our tool automatically produces concurrency fixes similar to those proposed by the developers in the past.

Mon 13 Jun

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

13:30 - 15:10
Session 3Infer at Rousseau East +12h
Chair(s): Jules Villard Facebook London
13:30
40m
Talk
Finding Real Bugs in Big Programs with Incorrectness Logicvirtual
Infer
Quang Loc Le University College London, Azalea Raad Imperial College London, Jules Villard Facebook London, Josh Berdine Meta, Derek Dreyer MPI-SWS, Peter W. O'Hearn Meta; University College London
14:10
10m
Live Q&A
Q&A 4
Infer

14:20
40m
Talk
HIPPODROME: Data Race Repair using Static Analysis Summaries
Infer
Andreea Costea School of Computing, National University Of Singapore, Abhishek Tiwari National University of Singapore, Sigmund Chianasta , Kishore R , Abhik Roychoudhury National University of Singapore, Ilya Sergey National University of Singapore
15:00
10m
Live Q&A
Q&A 5
Infer

Tue 14 Jun

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

01:30 - 03:10
Session 3Infer at Rousseau East
01:30
40m
Talk
Finding Real Bugs in Big Programs with Incorrectness Logicvirtual
Infer
Quang Loc Le University College London, Azalea Raad Imperial College London, Jules Villard Facebook London, Josh Berdine Meta, Derek Dreyer MPI-SWS, Peter W. O'Hearn Meta; University College London
02:10
10m
Live Q&A
Q&A 4
Infer

02:20
40m
Talk
HIPPODROME: Data Race Repair using Static Analysis Summaries
Infer
Andreea Costea School of Computing, National University Of Singapore, Abhishek Tiwari National University of Singapore, Sigmund Chianasta , Kishore R , Abhik Roychoudhury National University of Singapore, Ilya Sergey National University of Singapore
03:00
10m
Live Q&A
Q&A 5
Infer