Author:
Rodrigues R. E.,Sperle Campos Victor Hugo,Magno Quintao Pereira Fernando
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TrueFloat: A Templatized Arithmetic Library for HLS Floating-Point Operators;Lecture Notes in Computer Science;2023
2. Runtime Recovery for Integer Overflows;2022 6th International Conference on System Reliability and Safety (ICSRS);2022-11-23
3. BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning;2022 IEEE Symposium on Security and Privacy (SP);2022-05
4. C to checked C by 3c;Proceedings of the ACM on Programming Languages;2022-04-29
5. A polynomial time exact solution to the bit-aware register binding problem;Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction;2022-03-18