Ganesh Gopalakrishnan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
89
Venues
33
Active years
1988–2025
Best venue rank
A*
Where they publish
- ASC17 papers
- BPPoPP7 papers
- BFMCAD7 papers
- A*CAV7 papers
- CICCD6 papers
- AHPDC4 papers
- A*ICSE3 papers
- BCCGRID3 papers
- CCLUSTER3 papers
- AICS3 papers
- AISSTA3 papers
- ASIGCSE2 papers
- BFM2 papers
- AICCAD2 papers
- A*DAC2 papers
- CARITH1 paper
- ATACAS1 paper
- A*PLDI1 paper
- A*POPL1 paper
- NationalHiPC1 paper
- NationalIRI1 paper
- AOOPSLA1 paper
- A*ASPLOS1 paper
- CPRDC1 paper
- BVMCAI1 paper
- BATVA1 paper
- CFMICS1 paper
- CMEMOCODE1 paper
- CICFEM1 paper
- CFORTE1 paper
- BSPAA1 paper
- NationalVLSID1 paper
- A*ISCA1 paper
Papers
89 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ARITH | Rigorous Error Analysis for Logarithmic Number Systems. | Thanh Son Nguyen, Alexey Solovyev, Mark G. Arnold, Ganesh Gopalakrishnan |
| 2025 | ICSE | FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis. | Tanmay Tirpankar, Artem Yadrov, Pavel Panchekha, Ganesh Gopalakrishnan |
| 2025 | SC | Scabbard: LLVM Instrumentation-aided Race Checking in CPU/GPU Unified Memory for AMD GPUs. | Andrew Osterhout, Ignacio Laguna, Ganesh Gopalakrishnan |
| 2025 | SC | CIRE: LLVM Analysis for Floating-Point Rounding Error Affected by Precision and Optimizations. | Tanmay Tirpankar, Cayden Lund, Ganesh Gopalakrishnan |
| 2025 | TACAS | Equivalence Checking of a libm Port. | Mark Baranowski, Zvonimir Rakamaric, Ganesh Gopalakrishnan |
| 2024 | CCGRID | FTTN: Feature-Targeted Testing for Numerical Properties of NVIDIA & AMD Matrix Accelerators. | Xinyi Li, Ang Li, Bo Fang, Katarzyna Swirydowicz, Ignacio Laguna, Ganesh Gopalakrishnan |
| 2024 | CCGRID | FBTuner: A Feedback-Directed Approach for Safe Mixed-Precision Tuning. | Xinyi Li, Ganesh Gopalakrishnan |
| 2024 | CCGRID | Discovery of Floating-Point Differences Between NVIDIA and AMD GPUs. | Xinyi Li, Ang Li, Bo Fang, Katarzyna Swirydowicz, Ignacio Laguna, Ganesh Gopalakrishnan |
| 2024 | CLUSTER | Understanding Mixed Precision GEMM with MPGemmFI: Insights into Fault Resilience. | Bo Fang, Xinyi Li, Harvey Dam, Cheng Tan, Siva Kumar Sastry Hari, Timothy Tsai, Ignacio Laguna, Dingwen Tao, Ganesh Gopalakrishnan, Prashant J. Nair, Kevin J. Barker, Ang Li |
| 2024 | HPDC | FPBOXer: Efficient Input-Generation for Targeting Floating-Point Exceptions in GPU Programs. | Anh Tran, Ignacio Laguna, Ganesh Gopalakrishnan |
| 2024 | SC | SZOps: Scalar Operations for Error-bounded Lossy Compressor for Scientific Data. | Tripti Agarwal, Sheng Di, Jiajun Huang, Yafan Huang, Ganesh Gopalakrishnan, Robert Underwood, Kai Zhao, Xin Liang, Guanpeng Li, Franck Cappello |
| 2024 | SC | HiRace: Accurate and Fast Data Race Checking for GPU Programs. | John Jacobson, Martin Burtscher, Ganesh Gopalakrishnan |
| 2023 | HPDC | Design and Evaluation of GPU-FPX: A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs. | Xinyi Li, Ignacio Laguna, Bo Fang, Katarzyna Swirydowicz, Ang Li, Ganesh Gopalakrishnan |
| 2023 | SC | What Operations can be Performed Directly on Compressed Arrays, and with What Error? | Tripti Agarwal, Harvey Dam, Ponnuswamy Sadayappan, Ganesh Gopalakrishnan, Dorra Ben Khalifa, Matthieu Martel |
| 2023 | SC | An NSF REU Site Based on Trust and Reproducibility of Intelligent Computation: Experience Report. | 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 |
| 2022 | ICS | ASAP: automatic synthesis of area-efficient and precision-aware CGRAs. | Cheng Tan, Thierry Tambe, Jeff Jun Zhang, Bo Fang, Tong Geng, Gu-Yeon Wei, David Brooks, Antonino Tumeo, Ganesh Gopalakrishnan, Ang Li |
| 2022 | PLDI | BinFPE: accurate floating-point exception detection for GPU applications. | Ignacio Laguna, Xinyi Li, Ganesh Gopalakrishnan |
| 2022 | SC | Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization. | Ignacio Laguna, Ganesh Gopalakrishnan |
| 2021 | CLUSTER | Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation. | Arnab Das, Tanmay Tirpankar, Ganesh Gopalakrishnan, Sriram Krishnamoorthy |
| 2021 | SIGCSE | Automata and Computability Education via Jove. | Ganesh Gopalakrishnan, Rick Neff |
| 2020 | PPoPP | ArcherGear: data race equivalencing for expeditious HPC debugging. | Samuel Thayer, Ganesh Gopalakrishnan, Ian Briggs, Michael Bentley, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee |
| 2020 | SC | Scalable yet rigorous floating-point error analysis. | Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy, Pavel Panchekha |
| 2020 | SC | Correctness-preserving Compression of Datasets and Neural Network Models. | Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang |
| 2019 | CLUSTER | DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging. | Saeed Taheri, Ian Briggs, Martin Burtscher, Ganesh Gopalakrishnan |
| 2019 | HPDC | Multi-Level Analysis of Compiler-Induced Variability and Performance Tradeoffs. | Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee, Holger E. Jones |
| 2018 | SC | Using Deep Learning for Automated Communication Pattern Characterization: Little Steps and Big Challenges. | Philip C. Roth, Kevin A. Huck, Ganesh Gopalakrishnan, Felix Wolf |
| 2018 | SC | ParLoT: Efficient Whole-Program Call Tracing for HPC Applications. | Saeed Taheri, Sindhu Devale, Ganesh Gopalakrishnan, Martin Burtscher |
| 2017 | POPL | Rigorous floating-point mixed-precision tuning. | Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric |
| 2016 | HiPC | PRESAGE: Protecting Structured Address Generation against Soft Errors. | Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy |
| 2016 | IRI | Toward Bringing Distributed System Design upon Rigorous Footing. | Mohammed S. Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman |
| 2016 | ICSE | Toward rigorous design of domain-specific distributed systems. | Mohammed Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman |
| 2016 | OOPSLA | Portable inter-workgroup barrier synchronisation for GPUs. | Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric |
| 2015 | ASPLOS | GPU Concurrency: Weak Behaviours and Programming Assumptions. | Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson |
| 2015 | FM | Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. | Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan |
| 2015 | HPDC | Achieving Formal Parallel Program Debugging by Incentivizing CS/HPC Collaborative Tool Development. | Ganesh Gopalakrishnan, Geof Sawaya |
| 2014 | PPoPP | Efficient search for inputs causing high floating-point errors. | Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev |
| 2014 | SC | Practical Symbolic Race Checking of GPU Programs. | Peng Li, Guodong Li, Ganesh Gopalakrishnan |
| 2014 | SC | Towards providing low-overhead data race detection for large OpenMP applications. | Joachim Protze, Simone Atzeni, Dong H. Ahn, Martin Schulz, Ganesh Gopalakrishnan, Matthias S. Mller, Ignacio Laguna, Zvonimir Rakamaric, Gregory L. Lee |
| 2013 | ICS | Hybrid approach for data-flow analysis of MPI programs. | Sriram Aananthakrishnan, Greg Bronevetsky, Ganesh Gopalakrishnan |
| 2013 | ICS | Towards shared memory consistency models for GPUs. | Tyler Sorensen, Ganesh Gopalakrishnan, Vinod Grover |
| 2013 | ICSE | Practical formal correctness checking of million-core problem solving environments for HPC. | Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins |
| 2013 | PRDC | Towards Formal Approaches to System Resilience. | Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan |
| 2013 | SC | Overcoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolset. | Dong H. Ahn, Gregory L. Lee, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Martin Schulz, Ignacio Laguna |
| 2012 | PPoPP | GKLEE: concolic verification and test generation for GPUs. | Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan |
| 2012 | SC | Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs. | Peng Li, Guodong Li, Ganesh Gopalakrishnan |
| 2012 | SC | Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications. | Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky |
| 2011 | SIGCSE | Practical parallel and concurrent programming. | Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub |
| 2011 | VMCAI | Formal Analysis of Message Passing - (Invited Talk). | Stephen F. Siegel, Ganesh Gopalakrishnan |
| 2010 | PPoPP | A symbolic verifier for CUDA programs. | Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Daniel J. Quinlan |
| 2010 | SC | A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. | Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky |
| 2009 | FM | Reduced Execution Semantics of MPI: From Theory to Practice. | Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2009 | FMCAD | MCC: A runtime verification tool for MCAPI user applications. | Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt |
| 2009 | ISSTA | Some resources for teaching concurrency. | Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni |
| 2009 | PPoPP | Formal verification of practical MPI programs. | Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur |
| 2008 | ATVA | Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. | Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan |
| 2008 | CAV | Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. | Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2008 | ISSTA | Scheduling considerations for building dynamic verification tools for MPI. | Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2008 | PPoPP | Formal specification of the MPI-2.0 standard in TLA+. | Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2008 | PPoPP | ISP: a tool for model checking MPI programs. | Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2007 | FMCAD | Transaction Based Modeling and Verification of Hardware Protocols. | Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan |
| 2007 | FMICS | An Approach to Formalization and Analysis of Message Passing Libraries. | Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2007 | ISSTA | Semantics driven dynamic partial-order reduction of MPI-based parallel programs. | Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2006 | FMCAD | Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. | Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou |
| 2005 | MEMOCODE | On the decidability of shared memory consistency verification. | Ali Sezgin, Ganesh Gopalakrishnan |
| 2004 | CAV | QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings. | Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj |
| 2004 | ICFEM | Memory-Model-Sensitive Data Race Analysis. | Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom |
| 2002 | CAV | Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. | Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan |
| 2002 | FMCAD | A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols. | Prosenjit Chatterjee, Ganesh Gopalakrishnan |
| 2002 | FORTE | A Distributed Partial Order Reduction Algorithm. | Robert Palmer, Ganesh Gopalakrishnan |
| 2001 | ICCD | towards A formal Model of Shared Memory Consistency for Intel Itanium | Prosenjit Chatterjee, Ganesh Gopalakrishnan |
| 2000 | CAV | Verifying Advanced Microarchitectures that Support Speculation and Exceptions. | Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas |
| 2000 | FMCAD | Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods. | Michael D. Jones, Ganesh Gopalakrishnan |
| 2000 | ICCAD | Achieving Fast and Exact Hazard-Free Logic Minimization of Extended Burst-Mode gC Finite State Machines. | Hans M. Jacobson, Chris J. Myers, Ganesh Gopalakrishnan |
| 1998 | CAV | Decomposing the Proof of Correctness of pipelined Microprocessors. | Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan |
| 1998 | CAV | The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. | Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan |
| 1998 | FMCAD | Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. | Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan |
| 1998 | FMCAD | PV: An Explicit Enumeration Model-Checker. | Ratan Nalumasu, Ganesh Gopalakrishnan |
| 1998 | SPAA | Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. | Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan |
| 1996 | DAC | A Technique for Synthesizing Distributed Burst-mode Circuits. | Prabhakar Kudva, Ganesh Gopalakrishnan, Hans M. Jacobson |
| 1996 | DAC | Synthesis for Hazard-free Customized CMOS Complex-Gate Networks Under Multiple-Input Changes. | Prabhakar Kudva, Ganesh Gopalakrishnan, Hans M. Jacobson, Steven M. Nowick |
| 1994 | ICCD | Peephole Optimization of Asynchronous Macromodule Networks. | Ganesh Gopalakrishnan, Prabhakar Kudva, Erik Brunvand |
| 1994 | ICCD | Performance Analysis and Optimization of Asynchronous Circuits. | Prabhakar Kudva, Ganesh Gopalakrishnan, Erik Brunvand, Venkatesh Akella |
| 1993 | ICCD | Hierarchical Constraint Solving in the Parametric Form with Applications to Efficient Symbolic Simulation Based Verification. | Prabhat Jain, Ganesh Gopalakrishnan |
| 1992 | CAV | Towards a Verification Technique for Large Synchronous Circuits. | Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan |
| 1992 | ICCAD | SHILPA: a high-level synthesis system for self-timed circuits. | Venkatesh Akella, Ganesh Gopalakrishnan |
| 1992 | ICCD | Some Techniques for Efficient Symbolic Simulation-Based Verification. | Prabhat Jain, Ganesh Gopalakrishnan |
| 1992 | ICCD | Dynamic Reordering of Hgh Latency Transactions Using a Modified a Micropipeline. | Gernot Armin Liebchen, Ganesh Gopalakrishnan |
| 1992 | VLSID | From Process-Oriented Functional Specifications to Efficient Asynchronous Circuits. | Venkatesh Akella, Ganesh Gopalakrishnan |
| 1988 | ISCA | Design and Performance of Special Purpose Hardware for Time Warp. | Richard Fujimoto, Jya-Jang Tsai, Ganesh Gopalakrishnan |