Inference of Resource Management Specifications

This upload is a docker image containing the artifact accompanying our OOPSLA-2023 paper "Inference of Resource Management Specifications". To run the image, 0.) Install Docker following the directions at [https://www.docker.com/get-started] for your OS, if it is not already installed. We have tested the artifact with Docker Desktop on MacOS, but it should work for other operating systems. For Java experiments:

1.  Unzip the provided Docker image. `gunzip -c path/to/resource_leak_inference.tar.gz > resource_leak_inference.tar`
2.  Load it into Docker. `docker load < resource_leak_inference.tar`
3.  Run the image. This should open a bash shell, at the home directory of user `oopsla`. `docker run -it nargeshdb/resource_leak_inference:latest`

Instructions for how to run the paper's experiments are inside the container in the `rlci-paper/README.md` file in the `oopsla` user's home directory.

For C# experiments:

1.  Unzip the provided Docker image. `gunzip -c path/to/oopsla-artifact-csharp-471.tar.gz > oopsla-artifact-csharp-471.tar`
2.  Load it into Docker. `docker load --input oopsla-artifact-csharp-471.tar`
3.  Run the image. This should open a bash shell, at the home directory of user `oopsla`. `docker run -it --user oopsla oopsla-artifact-csharp-471 /bin/bash`

Instructions for how to run the paper's experiments are inside the container in the `README.md` file in the `oopsla` user's home directory.

There are slight differences in the numbers reported by this script compared to the numbers in the original PDF we submitted for review, due to errors we fixed while preparing the artifact. The revised PDF is `inference.pdf`.

The `Manual-Report.xlsx` contains data presented in table 2 that cannot be generated automatically and was part of manual investigation.