System Requirements The docker image is large (10.4 GB), as is the data output by a complete run of the benchmarks (an additional 3.1 GB), thus we recommend a computer with a decent amount of free disk space. Note also that we have only tested the image on Linux and Mac (ARM), and that Mac runs docker images through a VM, thus its runs will be significantly slower. The Artifact This artifact contains everything related to the Statically Resolvable Ambiguity paper: The mechanized proof of statically resolvable ambiguity. The modified versions of the OCaml compiler. The library implementing our grouper. The benchmarking script. The benchmarking data used in the paper. The Jupyter notebook analyzing the data and producing the plots...
Introduction This artifact supports the paper Fast and Efficient Boolean Unification for Hindley-Mi...
The provided docker images contain pre-built TrivialSpy and programs for artifact evaluation. For ar...
Reliably building and maintaining systems across environments is a continuing problem. A project or ...
System Requirements The docker image is large (10.4 GB), as is the data output by a complete run of...
This Docker image contains the software required to reproduce the results in the paper "Resolvable A...
Getting Started The artifact comprises a Docker image mlkit-pldi23-parreg.tar.gz. Depending on your...
Getting Started The artifact comprises a Docker image mlkit-pldi23-parreg.tar.gz. Depending on your...
This upload is a docker image containing the artifact accompanying our OOPSLA-2023 paper "Inference ...
<div> <div> <div> </div> <div> </div> <div> </div> <div> </div> </div> <div> <div> <div> </div> ...
Docker images are used to distribute and deploy cloud-native applications in containerised form. A c...
Reproducibility is vital in science. Recent articles in the June 26 issue of science discussed how r...
This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweigh...
Docker images are used to distribute and deploy cloud-native applications in containerised form. A c...
This record contains pre-built images of the Docker containers used for running the tools of the pap...
This is the archive of the full Docker image used for the artifact of the ICSE 2023 paper "On the Re...
Introduction This artifact supports the paper Fast and Efficient Boolean Unification for Hindley-Mi...
The provided docker images contain pre-built TrivialSpy and programs for artifact evaluation. For ar...
Reliably building and maintaining systems across environments is a continuing problem. A project or ...
System Requirements The docker image is large (10.4 GB), as is the data output by a complete run of...
This Docker image contains the software required to reproduce the results in the paper "Resolvable A...
Getting Started The artifact comprises a Docker image mlkit-pldi23-parreg.tar.gz. Depending on your...
Getting Started The artifact comprises a Docker image mlkit-pldi23-parreg.tar.gz. Depending on your...
This upload is a docker image containing the artifact accompanying our OOPSLA-2023 paper "Inference ...
<div> <div> <div> </div> <div> </div> <div> </div> <div> </div> </div> <div> <div> <div> </div> ...
Docker images are used to distribute and deploy cloud-native applications in containerised form. A c...
Reproducibility is vital in science. Recent articles in the June 26 issue of science discussed how r...
This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweigh...
Docker images are used to distribute and deploy cloud-native applications in containerised form. A c...
This record contains pre-built images of the Docker containers used for running the tools of the pap...
This is the archive of the full Docker image used for the artifact of the ICSE 2023 paper "On the Re...
Introduction This artifact supports the paper Fast and Efficient Boolean Unification for Hindley-Mi...
The provided docker images contain pre-built TrivialSpy and programs for artifact evaluation. For ar...
Reliably building and maintaining systems across environments is a continuing problem. A project or ...