Formally Verifying WARP-V, an Open-Source TL-Verilog RISC-V Core Generator. - Steven F. Hoover; Ákos Hadnagy (CoRR, 2018)

Tens of gigabytes per second JSON-to-Arrow conversion with FPGA accelerators. - Johan Peltenburg; Ákos Hadnagy; Matthijs Brobbel; Robert Morrow; Zaid Al-Ars (FPT, 2021)

Memory-Disaggregated In-Memory Object Store Framework for Big Data Applications. - Robin Abrahamse; Ákos Hadnagy; Zaid Al-Ars (IPDPS Workshops, 2022)