Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V.

Yiwei Li, Liangze Yin, Wei Dong, Jiaxin Liu, Yanfeng Hu, Shanshan Li

Browse the full ICSE paper archive.