Artifact:

CUBA: Interprocedural Context-Unbounded Analysis of Concurrent Programs


Use the following command to download the artifact:
git clone https://github.com/lpzun/cuba.git --branch pldi --single-branch

The artifact includes:

1. Tool

2. Input Syntax

3. Tutorial

4. Benchmarks