Vectorization for digital signal processors via equality saturation A VanHattum, R Nigam, VT Lee, J Bornholt, A Sampson Proceedings of the 26th ACM International Conference on Architectural …, 2021 | 54 | 2021 |
Verifying dynamic trait objects in Rust A VanHattum, D Schwartz-Narbonne, N Chong, A Sampson Proceedings of the 44th International Conference on Software Engineering …, 2022 | 24 | 2022 |
A synthesis-aided compiler for DSP architectures (wip paper) A VanHattum, R Nigam, VT Lee, J Bornholt, A Sampson The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools …, 2020 | 11 | 2020 |
Heartrate tracking techniques C Schroeder, D Padmanabhan, EH Klaassen, ER Doll, IR Shapiro, ... US Patent 10,874,313, 2020 | 4 | 2020 |
Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection A VanHattum, M Pardeshi, C Fallin, A Sampson, F Brown Proceedings of the 29th ACM International Conference on Architectural …, 2024 | 3 | 2024 |
Heartrate tracking techniques C Schroeder, D Padmanabhan, EH Klaassen, ER Doll, IR Shapiro, ... US Patent App. 18/210,826, 2023 | | 2023 |
Heartrate tracking techniques C Schroeder, D Padmanabhan, EH Klaassen, ER Doll, IR Shapiro, ... US Patent 11,690,522, 2023 | | 2023 |
Lightweight Formal Methods for Correct, Efficient Systems Programming A VanHattum Cornell University, 2023 | | 2023 |
Vectorization for Digital Signal Processors via Equality Saturation Extended Abstract A VanHattum, R Nigam, VT Lee, J Bornholt, A Sampson | | |