| 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 | 46 | 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 | 16 | 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 | 9 | 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 | 2* | |
| Lightweight Formal Methods for Correct, Efficient Systems Programming A VanHattum Cornell University, 2023 | | 2023 |
| Heartrate tracking techniques C Schroeder, D Padmanabhan, EH Klaassen, ER Doll, IR Shapiro, ... US Patent App. 17/133,138, 2021 | | 2021 |
| Vectorization for Digital Signal Processors via Equality Saturation Extended Abstract A VanHattum, R Nigam, VT Lee, J Bornholt, A Sampson | | |
