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 | 61 | 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 | 33 | 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 |
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 | 6 | 2024 |
Heartrate tracking techniques C Schroeder, D Padmanabhan, EH Klaassen, ER Doll, IR Shapiro, ... US Patent 10,874,313, 2020 | 4 | 2020 |
Dependently Typing R Vectors, Arrays, and Matrices J Wrenn, A Pal, A VanHattum, S Krishnamurthi arXiv preprint arXiv:2304.04265, 2023 | 1 | 2023 |
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 | | |