Cited By
View all- Zhang CKappé TNarváez DNaus N(2025)CF-GKAT: Efficient Validation of Control-Flow TransformationsProceedings of the ACM on Programming Languages10.1145/37048579:POPL(600-626)Online publication date: 9-Jan-2025
- Meier WJensen MPichon-Pharabod JSpitters BStark KTimany ABlazy STabareau N(2025)CertiCoq-Wasm: A Verified WebAssembly Backend for CertiCoqProceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3703595.3705879(127-139)Online publication date: 10-Jan-2025
- Timany AKrebbers RDreyer DBirkedal L(2024)A Logical Approach to Type SoundnessJournal of the ACM10.1145/367695471:6(1-75)Online publication date: 11-Nov-2024
- Show More Cited By