There is a newer version of the record available.

Published April 18, 2019 | Version v1.0
Software Open

Semantic Alignment Equivalence Checker

Creators

  • 1. Stanford University
  • 2. Microsoft Research India

Description

This artifact is a snapshot of our work following artifact submission to PLDI, some minor bug fixes, and some repackaging.

Files

bchurchill/pldi19-equivalence-checker-v1.0.zip

Files (160.3 MB)

Name Size Download all
md5:3fe8da80184b631a533212654d374fc8
160.3 MB Preview Download

Additional details

Related works

Is supplement to
https://github.com/bchurchill/pldi19-equivalence-checker/tree/v1.0 (URL)