Ganesh Gopalakrishnan
Scripps Institution of Oceanography(US)University of Utah(US)Government of India(IN)University of California San Diego(US)Ministry of Earth Sciences(IN)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Formal Methods in Verification, Oceanographic and Atmospheric Processes, Embedded Systems Design Techniques, Distributed systems and fault tolerance
Most-Cited Works
- → Seasonal overturning circulation in the Red Sea: 1. Model validation and summer circulation(2014)158 cited
- → Seasonal overturning circulation in the Red Sea: 2. Winter circulation(2014)128 cited
- → Scalable SMT-based verification of GPU kernel functions(2010)126 cited
- → GKLEE(2012)123 cited
- → Rigorous floating-point mixed-precision tuning(2016)115 cited
- → GPU Concurrency(2015)114 cited
- → Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions(2015)