SLE 2017 RIFL Artifact

This page contains materials for replicating the results presented in our paper, Robust Programs with Filtered Iterators.

Contents

This artifact contains the following files:

Getting started

Please launch the virtual machine using VMWare Fusion (8.5.6).

Follow the instructions in the readme file on the virtual machine.