Ganesh Gopalakrishnan

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 65

Top Venues

CoRR

LCPC

IISWC

Publications

John Jacobson, Martin Burtscher, Ganesh Gopalakrishnan
HiRace: Accurate and Fast Source-Level Race Checking of GPU Programs. CoRR (2024)
Thanh Son Nguyen, Alexey Solovyev, Ganesh Gopalakrishnan
Rigorous Error Analysis for Logarithmic Number Systems. CoRR (2024)
Tripti Agarwal, Harvey Dam, Dorra Ben Khalifa, Matthieu Martel, P. Sadayappan, Ganesh Gopalakrishnan
What Operations can be Performed Directly on Compressed Arrays, and with What Error? CoRR (2024)
Taylor Allred, Xinyi Li, Ashton Wiersdorf, Ben Greenman, Ganesh Gopalakrishnan
FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions. CoRR (2024)
Zirui Mao, Xinyi Li, Shenyang Hu, Ganesh Gopalakrishnan, Ang Li
A GPU accelerated mixed-precision Smoothed Particle Hydrodynamics framework with cell-based relative coordinates. CoRR (2024)
Xinyi Li, Ang Li, Bo Fang, Katarzyna Swirydowicz, Ignacio Laguna, Ganesh Gopalakrishnan
FTTN: Feature-Targeted Testing for Numerical Properties of NVIDIA & AMD Matrix Accelerators. CoRR (2024)
Tripti Agarwal, Harvey Dam, Ponnuswamy Sadayappan, Ganesh Gopalakrishnan, Dorra Ben Khalifa, Matthieu Martel
What Operations can be Performed Directly on Compressed Arrays, and with What Error? SC Workshops (2023)
Maya Gokhale, Ganesh Gopalakrishnan, Jackson Mayo, Santosh Nagarakatte, Cindy Rubio-González, Stephen F. Siegel
Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL. CoRR (2023)
Ignacio Laguna, Anh Tran, Ganesh Gopalakrishnan
Finding inputs that trigger floating-point exceptions in heterogeneous computing via Bayesian optimization. Parallel Comput. 117 (2023)
Bo Fang, Xinyi Li, Harvey Dam, Cheng Tan, Siva Kumar Sastry Hari, Timothy Tsai, Ignacio Laguna, Dingwen Tao, Ganesh Gopalakrishnan, Prashant Nair, Kevin J. Barker, Ang Li
MPGemmFI: A Fault Injection Technique for Mixed Precision GEMM in ML Applications. CoRR (2023)
Harvey Dam, Vinu Joseph, Aditya Bhaskara, Ganesh Gopalakrishnan, Saurav Muralidharan, Michael Garland
Understanding the Effect of the Long Tail on Neural Network Compression. CoRR (2023)
Xinyi Li, Ignacio Laguna, Bo Fang, Katarzyna Swirydowicz, Ang Li, Ganesh Gopalakrishnan
Design and Evaluation of GPU-FPX: A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs. HPDC (2023)
Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan
Efficient linearizability checking for actor-based systems. Softw. Pract. Exp. 53 (11) (2023)
Mary W. Hall, Ganesh Gopalakrishnan, Eric Eide, Johanna Cohoon, Jeff M. Phillips, Mu Zhang, Shireen Y. Elhabian, Aditya Bhaskara, Harvey Dam, Artem Yadrov, Tushar Kataria, Amir Mohammad Tavakkoli, Sameeran Joshi, Mokshagna Sai Teja Karanam
An NSF REU Site Based on Trust and Reproducibility of Intelligent Computation: Experience Report. SC Workshops (2023)
Ignacio Laguna, Ganesh Gopalakrishnan
Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization. SC (2022)
Ignacio Laguna, Tanmay Tirpankar, Xinyi Li, Ganesh Gopalakrishnan
FPChecker: Floating-Point Exception Detection Tool and Benchmark for Parallel and Distributed HPC. IISWC (2022)
Juan Benavides, John W. Baugh Jr., Ganesh Gopalakrishnan
An HPC Practitioner's Workbench for Formal Refinement Checking. LCPC (2022)
Dorra Ben Khalifa, Xinyi Li, Ignacio Laguna, Matthieu Martel, Ganesh Gopalakrishnan
Toward Increasing Trust in Exascale Simulations. XLOOP@SC (2022)
Ignacio Laguna, Xinyi Li, Ganesh Gopalakrishnan
BinFPE: accurate floating-point exception detection for GPU applications. SOAP@PLDI (2022)
Bo Fang, Siva Kumar Sastry Hari, Timothy Tsai, Xinyi Li, Ganesh Gopalakrishnan, Ignacio Laguna, Kevin J. Barker, Ang Li
Towards Precision-Aware Fault Tolerance Approaches for Mixed-Precision Applications. FTXS@SC (2022)
Cheng Tan, Thierry Tambe, Jeff Jun Zhang, Bo Fang, Tong Geng, Gu-Yeon Wei, David Brooks, Antonino Tumeo, Ganesh Gopalakrishnan, Ang Li
ASAP: automatic synthesis of area-efficient and precision-aware CGRAs. ICS (2022)
Jia-Yi Lin, Zhe-Wen Zheng, Quanan Zheng, Ding-Rong Wu, Ganesh Gopalakrishnan, Chung-Ru Ho, Jiayi Pan, Yu-Chun Lin, Ling-Ling Xie
Satellite observed new mechanism of Kuroshio intrusion into the northern South China Sea. Int. J. Appl. Earth Obs. Geoinformation 115 (2022)
Ganesh Gopalakrishnan, Rick Neff
Automata and Computability Education via Jove. SIGCSE (2021)
Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan
Efficient Linearizability Checking for Actor-based Systems. CoRR (2021)
Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock
Guarding Numerics Amidst Rising Heterogeneity. Correctness@SC (2021)
Dong H. Ahn, Allison H. Baker, Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dorit M. Hammerling, Ignacio Laguna, Gregory L. Lee, Daniel J. Milroy, Mariana Vertenstein
Keeping science on keel when software moves. Commun. ACM 64 (2) (2021)
Saeed Taheri, Ganesh Gopalakrishnan
Automated Dynamic Concurrency Analysis for Go. CoRR (2021)
Saeed Taheri, Ganesh Gopalakrishnan
GoAT: Automated Concurrency Analysis and Debugging Tool for Go. IISWC (2021)
Wen-Pin Fang, Ding-Rong Wu, Zhe-Wen Zheng, Ganesh Gopalakrishnan, Chung-Ru Ho, Quanan Zheng, Chen-Fen Huang, Hua Ho, Min-Chuan Weng
Impacts of the Kuroshio Intrusion through the Luzon Strait on the Local Precipitation Anomaly. Remote. Sens. 13 (6) (2021)
Arnab Das, Tanmay Tirpankar, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation. CLUSTER (2021)
Vinu Joseph, Shoaib Ahmed Siddiqui, Aditya Bhaskara, Ganesh Gopalakrishnan, Saurav Muralidharan, Michael Garland, Sheraz Ahmed, Andreas Dengel
Reliable Model Compression via Label-Preservation-Aware Loss Functions. CoRR (2020)
Vinu Joseph, Ganesh Gopalakrishnan, Saurav Muralidharan, Michael Garland, Animesh Garg
A Programmable Approach to Neural Network Compression. IEEE Micro 40 (5) (2020)
Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy, Pavel Panchekha
Scalable yet rigorous floating-point error analysis. SC (2020)
Ian Briggs, Arnab Das, Mark Baranowski, Vishal Chandra Sharma, Sriram Krishnamoorthy, Zvonimir Rakamaric, Ganesh Gopalakrishnan
FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation. ACM Trans. Archit. Code Optim. 16 (4) (2020)
Arnab Das, Sriram Krishnamoorthy, Ian Briggs, Ganesh Gopalakrishnan, Ramakrishna Tipireddy
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation. CoRR (2020)
Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang
Correctness-preserving Compression of Datasets and Neural Network Models. CORRECTNESS@SC (2020)
Samuel Thayer, Ganesh Gopalakrishnan, Ian Briggs, Michael Bentley, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee
ArcherGear: data race equivalencing for expeditious HPC debugging. PPoPP (2020)
Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis. CoRR (2020)
Arnab Das, Sriram Krishnamoorthy, Ian Briggs, Ganesh Gopalakrishnan, Ramakrishna Tipireddy
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation. ACM Trans. Archit. Code Optim. 17 (3) (2020)
Mark Van der Merwe, Vinu Joseph, Ganesh Gopalakrishnan
Message Scheduling for Performant, Many-Core Belief Propagation. HPEC (2019)
Saeed Taheri, Ian Briggs, Martin Burtscher, Ganesh Gopalakrishnan
DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging. CLUSTER (2019)
Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee, Holger E. Jones
Multi-Level Analysis of Compiler-Induced Variability and Performance Tradeoffs. HPDC (2019)
Kento Sato, Ignacio Laguna, Gregory L. Lee, Martin Schulz, Christopher M. Chambreau, Simone Atzeni, Michael Bentley, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Geof Sawaya, Joachim Protze, Dong H. Ahn
Pruners. Int. J. High Perform. Comput. Appl. 33 (5) (2019)
Vinu Joseph, Saurav Muralidharan, Animesh Garg, Michael Garland, Ganesh Gopalakrishnan
A Programmable Approach to Model Compression. CoRR (2019)
Mark Van der Merwe, Vinu Joseph, Ganesh Gopalakrishnan
Message Scheduling for Performant, Many-Core Belief Propagation. CoRR (2019)
Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions. ACM Trans. Program. Lang. Syst. 41 (1) (2019)
Simone Atzeni, Ganesh Gopalakrishnan
An Operational Semantic Basis for Building an OpenMP Data Race Checker. IPDPS Workshops (2018)
Philip C. Roth, Kevin A. Huck, Ganesh Gopalakrishnan, Felix Wolf
Using Deep Learning for Automated Communication Pattern Characterization: Little Steps and Big Challenges. ESPT/VPA@SC (2018)
Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee, Holger E. Jones
Multi-level analysis of compiler induced variability and performance tradeoffs. CoRR (2018)
Mahdi Soltan Mohammadi, Kazem Cheshmi, Ganesh Gopalakrishnan, Mary W. Hall, Maryam Mehri Dehnavi, Anand Venkat, Tomofumi Yuki, Michelle Mills Strout
Sparse Matrix Code Dependence Analysis Simplification at Compile Time. CoRR (2018)
Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Ignacio Laguna, Gregory L. Lee, Dong H. Ahn
SWORD: A Bounded Memory-Overhead Detector of OpenMP Data Races in Production Runs. IPDPS (2018)
Saeed Taheri, Sindhu Devale, Ganesh Gopalakrishnan, Martin Burtscher
ParLoT: Efficient Whole-Program Call Tracing for HPC Applications. ESPT/VPA@SC (2018)
Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama
Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. CoRR (2017)
Geoffrey Sawaya, Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn
FLiT: Cross-platform floating-point result-consistency tester and workload. IISWC (2017)
Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Rigorous floating-point mixed-precision tuning. POPL (2017)
Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
Moving the Needle on Rigorous Floating-Point Precision Tuning. AFM@NFM (2017)
Simone Atzeni, Ganesh Gopalakrishnan
An Operational Semantic Basis for OpenMP Race Analysis. CoRR (2017)
Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
PRESAGE: Protecting Structured Address Generation against Soft Errors. CoRR (2016)
Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
PRESAGE: Protecting Structured Address Generation against Soft Errors. HiPC (2016)
Sriram Aananthakrishnan, Greg Bronevetsky, Mark Baranowski, Ganesh Gopalakrishnan
ParFuse: Parallel and Compositional Analysis of Message Passing Programs. LCPC (2016)
Mohammed Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman
Toward rigorous design of domain-specific distributed systems. FormaliSE@ICSE (2016)
Mohammed S. Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman
Toward Bringing Distributed System Design upon Rigorous Footing. IRI (2016)
Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Portable inter-workgroup barrier synchronisation for GPUs. OOPSLA (2016)
Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
Towards Resiliency Evaluation of Vector Programs. IPDPS Workshops (2016)
Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz, Gregory L. Lee, Joachim Protze, Matthias S. Müller
ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. IPDPS (2016)
Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. FM (2015)
Charles Jacobsen, Alexey Solovyev, Ganesh Gopalakrishnan
A Parameterized Floating-Point Formalizaton in HOL Light. Electron. Notes Theor. Comput. Sci. 317 (2015)
Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS (2015)
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs. Electron. Notes Theor. Comput. Sci. 317 (2015)
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Practical Floating-Point Divergence Detection. LCPC (2015)
Ganesh Gopalakrishnan, Geof Sawaya
Achieving Formal Parallel Program Debugging by Incentivizing CS/HPC Collaborative Tool Development. SCREAM@HPDC (2015)
Joachim Protze, Simone Atzeni, Dong H. Ahn, Martin Schulz, Ganesh Gopalakrishnan, Matthias S. Müller, Ignacio Laguna, Zvonimir Rakamaric, Gregory L. Lee
Towards providing low-overhead data race detection for large OpenMP applications. LLVM@SC (2014)
Alan Humphrey, Qingyu Meng, Martin Berzins, Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Systematic Debugging Methods for Large-Scale HPC Computational Frameworks. Comput. Sci. Eng. 16 (3) (2014)
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
Efficient search for inputs causing high floating-point errors. PPOPP (2014)
Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins
Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace Graphs. LCPC (2014)
Thomas Höllt, Ahmed Magdy, Peng Zhan, Guoning Chen, Ganesh Gopalakrishnan, Ibrahim Hoteit, Charles D. Hansen, Markus Hadwiger
Ovis: A Framework for Visual Analysisof Ocean Forecast Ensembles. IEEE Trans. Vis. Comput. Graph. 20 (8) (2014)
Peng Li, Guodong Li, Ganesh Gopalakrishnan
Practical Symbolic Race Checking of GPU Programs. SC (2014)
Sriram Aananthakrishnan, Greg Bronevetsky, Ganesh Gopalakrishnan
Hybrid approach for data-flow analysis of MPI programs. ICS (2013)
Tyler Sorensen, Ganesh Gopalakrishnan, Vinod Grover
Towards shared memory consistency models for GPUs. ICS (2013)
Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamaric
Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding. NASA Formal Methods (2013)
Dong H. Ahn, Gregory L. Lee, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Martin Schulz, Ignacio Laguna
Overcoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolset. SE-HPCCSE@SC (2013)
Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Towards Formal Approaches to System Resilience. PRDC (2013)
Thomas Höllt, Ahmed Magdy, Guoning Chen, Ganesh Gopalakrishnan, Ibrahim Hoteit, Charles D. Hansen, Markus Hadwiger
Visual analysis of uncertainties in ocean forecasts for planning and operation of off-shore structures. PacificVis (2013)
Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins
Practical formal correctness checking of million-core problem solving environments for HPC. SE-CSE@ICSE (2013)
Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications. SC Companion (2012)
Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan
GKLEE: concolic verification and test generation for GPUs. PPOPP (2012)
Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications. SBMF (2012)
Ganesh Gopalakrishnan
Formal Methods for Surviving the Jungle of Heterogeneous Parallelism. IPDPS Workshops (2012)
Ganesh Gopalakrishnan, Shaz Qadeer
Preface. Formal Methods Syst. Des. 41 (1) (2012)
Guodong Li, Ganesh Gopalakrishnan
Parameterized Verification of GPU Kernel Programs. IPDPS Workshops (2012)
Peng Li, Guodong Li, Ganesh Gopalakrishnan
Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs. SC (2012)
Stephen F. Siegel, Ganesh Gopalakrishnan
Formal Analysis of Message Passing - (Invited Talk). VMCAI (2011)
Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky
Formal analysis of MPI-based parallel programs. Commun. ACM 54 (12) (2011)
Guodong Li, Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API. Sci. Comput. Program. 76 (2) (2011)
Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky
Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update. PACT (2011)
Subodh Sharma, Ganesh Gopalakrishnan
Efficient Verification Solutions for Message Passing Systems. IPDPS Workshops (2011)
Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub
Practical parallel and concurrent programming. SIGCSE (2011)
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby
Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs. EuroMPI (2010)
Alan Humphrey, Christopher Derrick, Ganesh Gopalakrishnan, Beth R. Tibbitts
GEM: graphical explorer of MPI programs. SOFTVIS (2010)
Wei-Fan Chiang, Grzegorz Szubzda, Ganesh Gopalakrishnan, Rajeev Thakur
Dynamic Verification of Hybrid Programs. EuroMPI (2010)

Ganesh Gopalakrishnan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ganesh Gopalakrishnan