Search for persons
X
?
Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization ,
4
Fast Polynomial Evaluation for Correctly Rounded Elementary..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
5
Verifying the Verifier: eBPF Range Analysis Verification:
, In:
?
2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) ,
8
Sound, Precise, and Fast Abstract Interpretation with Trist..:
, In:
?
Proceedings of the 2022 ACM/SPEC on International Conference on Performance Engineering ,
11
Near-Storage Processing for Solid State Drive Based Recomme..:
, In:
?
Proceedings of the 20th IEEE/ACM International Symposium on Code Generation and Optimization ,
12
Sound, precise, and fast abstract interpretation with trist..:
, In:
?
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
13
Progressive polynomial approximations for fast correctly ro..:
, In:
?
2021 IEEE 29th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) ,
15