Conference
CREQ (C-to-Rust EQuivalence): Cross-Language Semantic Verification via LLVM IR and Symbolic Execution
| Τίτλος: | CREQ (C-to-Rust EQuivalence): Cross-Language Semantic Verification via LLVM IR and Symbolic Execution |
|---|---|
| Συγγραφείς: | Fathima, A A, Raseek, C |
| Πηγή: | 2026 Student Multidisciplinary Innovation and Research Conference (SMIRC) Student Multidisciplinary Innovation and Research Conference (SMIRC), 2026. :1-5 Jun, 2026 |
| Relation: | 2026 Student Multidisciplinary Innovation and Research Conference (SMIRC) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9798319543370 9798319543387 |
|---|---|
| DOI: | 10.1109/SMIRC70459.2026.11706683 |