Software Open Access

Semantic Alignment Equivalence Checker

Churchill, Berkeley; Padon, Oded; Sharma, Rahul; Aiken, Alex

An equivalence checker for x86-64 using semantic program alignment.

Files (160.9 MB)
Name Size
bchurchill/pldi19-equivalence-checker-v1.0.1.zip
md5:612241e026c1f3b236496d04e8fffbce
160.9 MB Download
27
5
views
downloads
All versions This version
Views 2720
Downloads 55
Data volume 804.6 MB804.6 MB
Unique views 1412
Unique downloads 22

Share

Cite as