cfaed Publications
Lift-and-Verify: Kernel-Transparent Equivalence-Based Verification in LLM Compilation
Reference
João Paulo Cardoso de Lima, Anderson Faustino, Guilherme de Oliveira Silva, Jeronimo Castrillon, "Lift-and-Verify: Kernel-Transparent Equivalence-Based Verification in LLM Compilation", In Proceeding: Workshop on Composable Heterogeneous Architectures for Scalable Machine Learning (CHASM) , co-located with with the 59th IEEE/ACM International Symposium on Microarchitecture (MICRO 2026), Nov 2026.
Bibtex
@InProceedings{delima_chasm26,
author = {Jo{\~a}o Paulo Cardoso de Lima and Anderson Faustino and Guilherme de Oliveira Silva and Jeronimo Castrillon},
booktitle = {Workshop on Composable Heterogeneous Architectures for Scalable Machine Learning (CHASM) , co-located with with the 59th IEEE/ACM International Symposium on Microarchitecture (MICRO 2026)},
title = {Lift-and-Verify: Kernel-Transparent Equivalence-Based Verification in {LLM} Compilation},
location = {Athens, Greece},
month = nov,
year = {2026},
}
author = {Jo{\~a}o Paulo Cardoso de Lima and Anderson Faustino and Guilherme de Oliveira Silva and Jeronimo Castrillon},
booktitle = {Workshop on Composable Heterogeneous Architectures for Scalable Machine Learning (CHASM) , co-located with with the 59th IEEE/ACM International Symposium on Microarchitecture (MICRO 2026)},
title = {Lift-and-Verify: Kernel-Transparent Equivalence-Based Verification in {LLM} Compilation},
location = {Athens, Greece},
month = nov,
year = {2026},
}
Downloads
2611_deLima-CHASM [PDF]
Permalink
https://cfaed.tu-dresden.de/publications?pubId=3926