Compiler validation via equivalence modulo inputs

Title
Compiler validation via equivalence modulo inputs
Authors
Keywords
-
Journal
ACM SIGPLAN NOTICES
Volume 49, Issue 6, Pages 216-226
Publisher
Association for Computing Machinery (ACM)
Online
2014-09-06
DOI
10.1145/2666356.2594334

Ask authors/readers for more resources

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started