Published April 19, 2019
| Version v1.0.1
Software
Open
Semantic Alignment Equivalence Checker
Authors/Creators
- 1. Stanford University
- 2. Microsoft Research India
Description
An equivalence checker for x86-64 using semantic program alignment.
Files
bchurchill/pldi19-equivalence-checker-v1.0.1.zip
Files
(160.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:612241e026c1f3b236496d04e8fffbce
|
160.9 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/bchurchill/pldi19-equivalence-checker/tree/v1.0.1 (URL)