Cited By
View all- Harrison WBlumenfeld IBond EHathhorn CLi PTorrence MZiegler J(2023)Formalized High Level Synthesis with Applications to Cryptographic HardwareNASA Formal Methods10.1007/978-3-031-33170-1_20(332-352)Online publication date: 3-Jun-2023
- Harrison WHathhorn CAllwein G(2021)A Mechanized Semantic Metalanguage for High Level SynthesisProceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming10.1145/3479394.3479417(1-14)Online publication date: 6-Sep-2021
- Abate CBlanco RCiobâcă ŞDurier AGarg DHriţcu CPatrignani MTanter ÉThibault J(2021)An Extended Account of Trace-relating Compiler Correctness and Secure CompilationACM Transactions on Programming Languages and Systems10.1145/346086043:4(1-48)Online publication date: 10-Nov-2021
- Show More Cited By