Published October 6, 2021 | Version 1.1
Other Open

POPL22 Pipe AEC Artifact

  • 1. Princeton University

Description

This is the artifact for the POPL22 AEC submission #39: Safe, Modular Packet Pipeline Programming, slightly modified based on responses from the AEC. To begin, download and unzip the folder anywhere (On a non-Mac machine, ignore the _MACOSX folder and just use the lucid subfolder). Further instructions are included in the readme.md file inside, which can also be viewed here: https://github.com/PrincetonUniversity/lucid/tree/popl22_artifact. The online readme file is slightly newer, addressing a few bugs we have found in the VM when it is hosted on a Windows computer. To avoid these, we recommend hosting the VM on a Mac.

Files

lucid.zip

Files (1.6 GB)

Name Size Download all
md5:660a1f989b4fcc32bcf48e0329bcf399
1.6 GB Preview Download