1. Modular Hardware Design of Pipelined Circuits with Hazards;Proceedings of the ACM on Programming Languages;2024-06-20
2. FINESSD: Near-Storage Feature Selection with Mutual Information for Resource-Limited FPGAs;2024 IEEE 32nd Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM);2024-05-05
3. Lifting Micro-Update Models from RTL for Formal Security Analysis;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27
4. Hardware and Software Generation from Large Actor Machines in Streaming Applications;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08
5. Cement: Streamlining FPGA Hardware Design with Cycle-Deterministic eHDL and Synthesis;Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays;2024-04