research
∙
08/01/2023
Patch Space Exploration using Static Analysis Feedback
Automated Program Repair (APR) techniques typically rely on a given test...
share
research
∙
09/24/2021
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization
Ensuring the correctness of software for communication centric programs ...
research
∙
08/05/2021
HIPPODROME: Data Race Repair using Static Analysis Summaries
Implementing bug-free concurrent programs is a challenging task in moder...
research
∙
01/29/2020