Varun Gohil is an author at Google (United States) specializing in formal verification, hardware systems, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceHardware SystemsProgram AnalysisComputing SystemsSoftware AnalysisParallel ComputingFormal VerificationComputer Engineering
Publications per year
2021–2024
2
2
The Importance of Generalizability in Machine Learning for Systems
Varun Gohil, Sundar Dev, Gaurang Upasani et al. · IEEE Computer Architecture Letters · 2024 · 10 citations
Rows per page
1–2 of 2