Lattice
Papers
Digest
Topics
Labs
Collections
FAQ
System theme
System theme
Lattice Robotics
robotics
Track manipulation, locomotion and embodied systems.
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
