Taype: a Policy-Agnostic Language for Oblivious Computation: PLDI23 Artifact

This is the artifact for the PLDI23 submission "Taype: a Policy-Agnostic Language for Oblivious Computation". It contains:

- README.md

- taype-image-amd64.tar.xz: docker image for amd64 (x86_64) architecture

- taype-image-arm64.tar.xz: docker image for arm64 architecture

- Dockerfile: the docker file used to generate the docker images

- taype.tar.xz: the source code of the Taype compiler and examples

- taype-driver-plaintext.tar.xz: the source code of a driver implementing Taype's required cryptographic primitives; this is the plaintext driver, so it does not actually perform any cryptographic operations

- taype-driver-emp.tar.xz: the source code of a driver implementing Taype's required cryptographic primitives; this is based on EMP toolkit

- taype-vscode.tar.xz: the source code of a VS Code extension that provides basic syntax highlighting for Taype programs

See README.md for details about this artifact and evaluation instructions. The same README.md is also available in the docker images (taype-image-amd64.tar.xz or taype-image-arm64.tar.xz).