Lattice
the structure behind the noise
Papers
Digest
Topics
Selected Labs
Collections
FAQ
Search papers...
鈱楰
Created by
Flynn Lachendro
Give Feedback
Papers
Digest
Topics
Labs
Saved
Search
Search papers, labs, and topics across Lattice.
Mayank Kabra | 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)
Papers (1)
Sep 9, 2026
ETH
1w ago
路
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
F. Nisa Bostanci (1)
Ataberk Olgun (1)
Konstantinos Kanellopoulos (1)
Jisung Park (1)
