Artifact for the SAS 2022 submission 9837: Automated Synthesis of Asynchronizations

## Notice

The artifact consists of C# tool with a set of C# benchmark programs. The tool is constructed using Visual Studio 2017. 
The artifact was only tested on Windows 10 and we believe the tool might not build on Linux 
(we tried building it on Ubuntu and did not succeed). 

## Dependencies

ConflictGraphAnalyzer requires: 

WINDOWS 10 OS and [.NET Core](https://dotnet.microsoft.com).

## Usage of the ConflictGraphAnalyzer Tool

In the README file on the tool [repository](https://github.com/asynchronizations/artifact/blob/master/README.md), we give step-by-step instructions on how to apply our tool to a given benchmark program and how to reproduce the results in Table 2 and Figure 2. 

## List of claims from the paper supported by the artifact

The artifact supports all the results reported in Table 2, except the number of lines of code (loc column) which are calculated manually, the number of statements difference between the maximal asynchronization and the input program (cover column) which are calculated manually aswell, and the execution times. However, we believe there should not be big difference in the execution times. The remaining 7 columns of Table 2 can be reproduced by running the executable without giving input parameters.

The artifact also supports the experiments presented in Figure 2. In particular, it supports the main fact that the optimal placement of await in Foo for each program is different than its placement in the other two programs. 

## List of claims from the paper not supported by the artifact

As expected, this artifact does not allow to reproduce the execution times.