Cited By
View all- Liu ABernstein GChlipala ARagan-Kelley J(2024)A Verified Compiler for a Functional Tensor LanguageProceedings of the ACM on Programming Languages10.1145/36563908:PLDI(320-342)Online publication date: 20-Jun-2024
- Andrici CCiobâcă ȘHriţcu CMartínez GRivas ETanter ÉWinterhalter T(2024)Securing Verified IO Programs Against Unverified Code in F*Proceedings of the ACM on Programming Languages10.1145/36329168:POPL(2226-2259)Online publication date: 5-Jan-2024
- Halba KGriffor ELbath ADahbura A(2023)IoT Capabilities Composition and Decomposition: A Systematic ReviewIEEE Access10.1109/ACCESS.2023.326018211(29959-30007)Online publication date: 2023
- Show More Cited By