5 citations · 7 across the 5 of their papers we have counts for
5 papers
SoK: You Find What You Seek: Rethinking Oracles, Guidance, and Input Generation in Hardware Fuzzing
G Abarajithan, Zhenghua Ma, Cristian Tirelli +4
Hardware fuzzing is an active area in security verification research, yet its industrial adoption remains in its early stages. This SoK examines which lessons from software fuzzing…
Reconfigurable Computing Challenge: Transformer for Jet Tagging on Versal AI Engines
Gram Koski, Sean Lipps, Zhenghua Ma +2
Transformer-based models achieve strong performance for jet tagging at the CERN LHC, but deploying them in low-latency, resource-constrained trigger systems is challenging. We pres…
FireBridge: Cycle-Accurate Hardware + Firmware Co-Verification for Modern Accelerators
G Abarajithan, Zhenghua Ma, Francesco Restuccia +1
Hardware-firmware integration is becoming a productivity bottleneck due to the increasing complexity of accelerators, characterized by intricate memory hierarchies and firmware-int…
CGRA4ML: A Hardware/Software Framework to Implement Neural Networks for Scientific Edge Computing
G Abarajithan, Zhenghua Ma, Ravidu Munasinghe +2
The scientific community increasingly relies on machine learning (ML) for near-sensor processing, leveraging its strengths in tasks such as pattern recognition, anomaly detection,…
TOP: Towards Open & Predictable Heterogeneous SoCs
Luca Valente, Francesco Restuccia, Davide Rossi +2
Ensuring predictability in modern real-time Systems-on-Chip (SoCs) is an increasingly critical concern for many application domains such as automotive, robotics, and industrial aut…