cfaed Publications

@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},
}