Cited By
View all- Patrignani MGarg D(2021)Robustly Safe Compilation, an Efficient Form of Secure CompilationACM Transactions on Programming Languages and Systems10.1145/343680943:1(1-41)Online publication date: 9-Feb-2021
- Patrignani MAhmed AClarke D(2019)Formal Approaches to Secure CompilationACM Computing Surveys10.1145/328098451:6(1-36)Online publication date: 4-Feb-2019
- Petricek TGuerra GSyme D(2016)Types from data: making structured data first-class citizens in F#ACM SIGPLAN Notices10.1145/2980983.290811551:6(477-490)Online publication date: 2-Jun-2016
- Show More Cited By