Lattice
Papers
Digest
Topics
Departments
Collections
FAQ
System theme
System theme
Lattice Maths
mathematics
Track new results across pure and applied mathematics.
Search papers…
⌘K
Papers
Digest
Topics
Labs
Saved
Search
Search papers, labs, and topics across Lattice.
Back
Mayank Kabra
Papers on Lattice
1
Total citations
0
Topics
3
Publication activity
papers/week, last 8 weeks
Research focus
Distributed Systems & Hardware (1)
Open-Source Models & Weights (1)
Recommendation & Information Retrieval (1)
Frequent co-authors
Harshita Gupta (1)
Rakesh Nadig (1)
Nika Mansouri Ghiasi (1)
Sahand Divsalar (1)
F. Nisa Bostanci (1)
Ataberk Olgun (1)
Konstantinos Kanellopoulos (1)
Jisung Park (1)
Papers (1)
Sep 9, 2026
ETH
Sep 9, 2026
·
also
KCL
,
POSTECH
CertiFlash: A Formal Verification Framework for Flash Translation Layers in Computational Solid State Drives
Harshita Gupta
,
Mayank Kabra
,
Rakesh Nadig
+10
Distributed Systems & Hardware
Open-Source Models & Weights
Recommendation & Information Retrieval
Show more
