4 ms·
An obvious next step to consider might be applying EMI techniques: https://mehrdad.afshari.me/publications/compiler-validation-via-equivalence-modulo-inputs.pdf
by mehrdada 8y ago
An obvious next step to consider might be applying EMI techniques: https://mehrdad.afshari.me/publications/compiler-validation-via-equivalence-modulo-inputs.pdf https://mehrdad.afshari.me/publications/compiler-validation-...
- matthewwarren 8y agoThanks for the link, I'd not heard of EMI techniques before, they look interesting
- matt_d 8y agoIf you're interested, here's a collection of resources on compilers correctness (testing & fuzzing, validation, and verification): https://github.com/MattPD/cpplinks/blob/master/compilers.correctness.md https://github.com/MattPD/cpplinks/blob/master/compilers.cor...