HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Translation Validation

Papers
SMT-Based Translation Validation for Machine Learning Compiler
Seongwon Bang, Seunghyeon Nam, Inwhan Chun, Ho Young Jhoo and Juneyoung Lee
EasyChair Preprint no. 8632
Formal Replay of Translation Validation for Highly Optimised C
Thomas Sewell
In:VPT 2014. Second International Workshop on Verification and Program Transformation
Copyright © 2012-2023 easychair.org. All rights reserved.