1. Implementation and Synthesis of Math Library Functions;Proceedings of the ACM on Programming Languages;2024-01-05
2. Generating Posit-Based Accelerators With High-Level Synthesis;IEEE Transactions on Circuits and Systems I: Regular Papers;2023-10
3. Sound Mixed Fixed-Point Quantization of Neural Networks;ACM Transactions on Embedded Computing Systems;2023-09-09
4. An Open-Source Framework for Efficient Numerically-Tailored Computations;2023 33rd International Conference on Field-Programmable Logic and Applications (FPL);2023-09-04
5. High-Speed Hardware Architectures and FPGA Benchmarking of CRYSTALS-Kyber, NTRU, and Saber;IEEE Transactions on Computers;2023-02-01