World's Best Scientists 2026 revealed!
Ganesh Gopalakrishnan

Ganesh Gopalakrishnan

D-Index & Metrics

Computer Science

D-Index
34
Citations
5061
World Ranking
12165
National Ranking
4943

Research.com Recognitions

  • 2014 - ACM Distinguished Member
  • 2010 - IEEE Fellow For leadership in microwave photonics and high-speed optical lithium niobate modulator development

Overview

Ganesh Gopalakrishnan is affiliated with the University of Utah in the United States. Their research spans the fields of Earth and Planetary Sciences and Computer Science, with significant contributions in various subfields including Oceanography, Atmospheric Science, Global and Planetary Change, Hardware and Architecture, and Computer Networks and Communications.

Their main research topics cover Oceanographic and Atmospheric Processes, Ocean Waves and Remote Sensing, Climate Variability and Models, Parallel Computing and Optimization Techniques, Tropical and Extratropical Cyclones Research, Underwater Acoustics Research, and Scientific Computing and Data Management.

Recent publications include the following papers:

  • Towards an End-to-End Analysis and Prediction System for Weather, Climate, and Marine Applications in the Red Sea, 2020, Bulletin of the American Meteorological Society
  • Assessment of Numerical Simulations of Deep Circulation and Variability in the Gulf of Mexico Using Recent Observations, 2020, Journal of Physical Oceanography
  • Volume and Heat Budgets in the Coastal California Current System: Means, Annual Cycles, and Interannual Anomalies of 2014-16, 2020, Journal of Physical Oceanography
  • Keeping science on keel when software moves, 2021, Communications of the ACM
  • A Programmable Approach to Neural Network Compression, 2020, IEEE Micro

Ganesh Gopalakrishnan frequently publishes in these venues:

  • arXiv (Cornell University)
  • Journal of Physical Oceanography
  • Journal of Atmospheric and Oceanic Technology
  • Bulletin of the American Meteorological Society
  • The Journal of the Acoustical Society of America

Collaborations include work with co-authors such as:

  • Bruce D. Cornuelle
  • Matthew R. Mazloff
  • Chung-Ru Ho
  • Quanan Zheng
  • Aneesh C. Subramanian

Recognition of Ganesh Gopalakrishnan's contributions includes the following awards:

  • ACM Distinguished Member, 2014
  • IEEE Fellow, 2010, for leadership in microwave photonics and high-speed optical lithium niobate modulator development

Best Publications

  • Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions

    Alexey Solovyev;Marek S. Baranowski;Ian Briggs;Charles Jacobsen

  • GKLEE: concolic verification and test generation for GPUs

    Guodong Li;Peng Li;Geof Sawaya;Ganesh Gopalakrishnan

  • Scalable SMT-based verification of GPU kernel functions

    Guodong Li;Ganesh Gopalakrishnan

  • Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions

    Alexey Solovyev;Charles Jacobsen;Zvonimir Rakamarić;Ganesh Gopalakrishnan

  • GPU Concurrency: Weak Behaviours and Programming Assumptions

    Jade Alglave;Mark Batty;Alastair F. Donaldson;Ganesh Gopalakrishnan

  • Rigorous floating-point mixed-precision tuning

    Wei-Fan Chiang;Mark Baranowski;Ian Briggs;Alexey Solovyev

  • Efficient Stateful Dynamic Partial Order Reduction

    Yu Yang;Xiaofang Chen;Ganesh Gopalakrishnan;Robert M. Kirby

  • Design and evaluation of the rollback chip: special purpose hardware for Time Warp

    R.M. Fujimoto;J.-J. Tsai;G.C. Gopalakrishnan

  • A Scalable and Distributed Dynamic Formal Verifier for MPI Programs

    Anh Vo;Sriram Aananthakrishnan;Ganesh Gopalakrishnan;Bronis R. de Supinski

  • Formal verification of practical MPI programs

    Anh Vo;Sarvani Vakkalanka;Michael DeLisi;Ganesh Gopalakrishnan

  • ISP: a tool for model checking MPI programs

    Sarvani S. Vakkalanka;Subodh Sharma;Ganesh Gopalakrishnan;Robert M. Kirby

  • Efficient search for inputs causing high floating-point errors

    Wei-Fan Chiang;Ganesh Gopalakrishnan;Zvonimir Rakamaric;Alexey Solovyev

  • ARCHER: Effectively Spotting Data Races in Large OpenMP Applications

    Simone Atzeni;Ganesh Gopalakrishnan;Zvonimir Rakamaric;Dong H. Ahn

  • Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking

    Hemanthkumar Sivaraj;Ganesh Gopalakrishnan

  • Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings

    Sarvani Vakkalanka;Ganesh Gopalakrishnan;Robert M. Kirby

  • Nemos: a framework for axiomatic and executable specifications of memory consistency models

    Y. Yang;Ganesh Gopalakrishnan;G. Lindstrom;K. Slind

  • Formal analysis of MPI-based parallel programs

    Ganesh Gopalakrishnan;Robert M. Kirby;Stephen Siegel;Rajeev Thakur

  • Towards Formal Approaches to System Resilience

    Vishal Chandra Sharma;Arvind Haran;Zvonimir Rakamaric;Ganesh Gopalakrishnan

  • A fast parallel squarer based on divide-and-conquer

    J.-T. Yoo;K.F. Smith;G. Gopalakrishnan

  • Decomposing the proof of correctness of pipelined microprocessors

    R. Hosabettu;M. Srivas;G. Gopalakrishnan

  • Performance analysis and optimization of asynchronous circuits

    P. Kudva;G. Gopalakrishnan;E. Brunvand;V. Akella

Frequent Co-Authors

Robert M. Kirby
Robert M. Kirby University of Utah
Rajeev Thakur
Rajeev Thakur Argonne National Laboratory
Martin Schulz
Martin Schulz Technical University of Munich
Richard M. Fujimoto
Richard M. Fujimoto Georgia Institute of Technology
William Gropp
William Gropp University of Illinois at Urbana-Champaign
Sriram Krishnamoorthy
Sriram Krishnamoorthy University of California, Santa Barbara
Shaz Qadeer
Shaz Qadeer Microsoft (United States)
Michael Garland
Michael Garland Nvidia (United States)
Martin Berzins
Martin Berzins University of Utah
Animesh Garg
Animesh Garg University of Toronto

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring options beyond a traditional bachelor’s in Computer Science can open doors to more flexible and accelerated career paths. Many students begin with an associate's degree online, allowing them to build foundational skills and enter the tech field faster. This pathway is ideal for those looking to gain job-ready abilities in less time and at a lower cost.

For those aiming to advance quickly, there are shortest master degree programs available online, which provide intensive training and can be completed in as little as a year. Choosing a program listed among the masters degrees that are worth it can significantly boost your earning potential and job prospects.

Additionally, earning relevant certifications for jobs in areas like cybersecurity, cloud computing, or data analysis can help you specialize and stand out in the competitive tech market. Combining these degrees and certifications enables students to tailor their education to match high-demand career pathways in the USA.

Best Scientists Citing Ganesh Gopalakrishnan

Trending Scientists

Recently Published Articles