Concepedia

Ganesh Gopalakrishnan

GG

88

Publications

3.5K

Citations

34

H-Index

1992

Active since

Affiliations

University of Utah(Current)

Scripps Institution of Oceanography

King Abdullah University of Science and Technology

Lawrence Livermore National Laboratory

University of California San Diego

Ganesh Gopalakrishnan is an author at University of Utah specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer ScienceComputer EngineeringProgram AnalysisFormal VerificationFormal MethodsSoftware AnalysisComputer ArchitectureParallel ProgrammingVerification

Publications per year

1992–2023

88

Publications

88

Seasonal overturning circulation in the Red Sea: 1. Model validation and summer circulation

Fengchao Yao, Ibrahim Hoteit, Larry J. Pratt et al. · Journal of Geophysical Research Oceans · 2014 · 158 citations · Full text

Climatology, Meteorology, Marine Meteorology +13

Seasonal overturning circulation in the Red Sea: 2. Winter circulation

Fengchao Yao, Ibrahim Hoteit, Larry J. Pratt et al. · Journal of Geophysical Research Oceans · 2014 · 128 citations

Scalable SMT-based verification of GPU kernel functions

Guodong Li, Ganesh Gopalakrishnan · 2010 · 126 citations

Engineering, Gpu Benchmarking, Verification +21

Guodong Li, Peng Li, Geof Sawaya et al. · 2012 · 123 citations

Engineering, Conservative Static Analysis, Computer Architecture +17

GPU Concurrency

Jade Alglave, Mark Batty, Alastair F. Donaldson et al. · 2015 · 114 citations

Engineering, Program Analysis, Concurrent Programming +14

Rows per page

1–5 of 88