Work

Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V

Year: 2025

Type: conference-paper

Source: IEEE/ACM International Conference on Software Engineering (ICSE)

DOI: 10.1109/icse55347.2025.00081

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

Institution: National University of Defense Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4411552633

FWCI: 1.977

Cites: 36

Cited by: 2

Related to: 10