Cited By
View all- Zaliva VZaichuk IFranchetti F(2020)Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIXSoftware Verification10.1007/978-3-030-63618-0_3(33-49)Online publication date: 6-Dec-2020
- Zaliva VFranchetti FDavis KRainey M(2018)HELIX: a case study of a formal verification of high performance program generationProceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing10.1145/3264738.3264739(1-9)Online publication date: 17-Sep-2018
- Popovici DLow TFranchetti F(2018)Large Bandwidth-Efficient FFTs on Multicore and Multi-socket Systems2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS)10.1109/IPDPS.2018.00048(379-388)Online publication date: May-2018
- Show More Cited By