46 citations · 101 across the 18 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.AR2026
CertiFlash: A Formal Verification Framework for Flash Translation Layers in Computational Solid State Drives
Harshita Gupta, Mayank Kabra, Rakesh Nadig +10
Data-intensive applications move large amounts of data from storage to the compute unit, incurring significant data movement overhead. Storage-centric computing reduces this overhe…
cs.AR2026
GenPairX: A Hardware-Algorithm Co-Designed Accelerator for Paired-End Read Mapping
Julien Eudine, Chu Li, Zhuo Cheng +11
Genome sequencing has become a central focus in computational biology. A genome study typically begins with sequencing, which produces millions to billions of short DNA fragments k…