Software Artifact for the OOPSLA'21 Paper Titled "Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations"
- 1. University of Nebraska-Lincoln
- 2. George Mason University
Description
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
This artifact contains an implementation of the dynaplex algorithm and benchmark programs, as described in the paper: *Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations*.
The development and experiment environment is provided as a single Docker image at `unsatx/dynaplex:oopsla21`. In addition to the image a `Dockerfile` as well as a zip containing the github repository are also provided as alternative source of the artifact. We recommend using the provided Docker image as it is self-contained with all the dependencies installed. A guide to set up and use this artifact from the docker image is provided in file `dynaplex.pdf`.