default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGanesh Gopalakrishnan
Person information
- affiliation: University of Utah, Salt Lake City, Utah, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c157]Xinyi Li, Ganesh Gopalakrishnan:
FBTuner: A Feedback-Directed Approach for Safe Mixed-Precision Tuning. CCGrid 2024: 1-2- [c156]Xinyi Li, Ang Li, Bo Fang, Katarzyna Swirydowicz, Ignacio Laguna, Ganesh Gopalakrishnan:
FTTN: Feature-Targeted Testing for Numerical Properties of NVIDIA & AMD Matrix Accelerators. CCGrid 2024: 39-46 - [c155]Xinyi Li, Ang Li, Bo Fang, Katarzyna Swirydowicz, Ignacio Laguna, Ganesh Gopalakrishnan:
Discovery of Floating-Point Differences Between NVIDIA and AMD GPUs. CCGrid 2024: 663-666 - [c154]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:
Understanding Mixed Precision GEMM with MPGemmFI: Insights into Fault Resilience. CLUSTER 2024: 166-178 - [c153]Anh Tran
, Ignacio Laguna, Ganesh Gopalakrishnan:
FPBOXer: Efficient Input-Generation for Targeting Floating-Point Exceptions in GPU Programs. HPDC 2024: 83-93 - [i22]John Jacobson, Martin Burtscher, Ganesh Gopalakrishnan:
HiRace: Accurate and Fast Source-Level Race Checking of GPU Programs. CoRR abs/2401.04701 (2024) - [i21]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 abs/2401.08586 (2024) - [i20]Thanh Son Nguyen, Alexey Solovyev, Ganesh Gopalakrishnan:
Rigorous Error Analysis for Logarithmic Number Systems. CoRR abs/2401.17184 (2024) - [i19]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 abs/2403.00232 (2024) - [i18]Taylor Allred, Xinyi Li, Ashton Wiersdorf, Ben Greenman, Ganesh Gopalakrishnan:
FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions. CoRR abs/2403.15632 (2024) - [i17]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 abs/2406.11209 (2024) - [i16]Tripti Agarwal, Sheng Di, Jiajun Huang, Yafan Huang, Ganesh Gopalakrishnan, Robert Underwood, Kai Zhao, Xin Liang, Guanpeng Li, Franck Cappello:
HoSZp: An Efficient Homomorphic Error-bounded Lossy Compressor for Scientific Data. CoRR abs/2408.11971 (2024) - 2023
- [j49]Ignacio Laguna, Anh Tran, Ganesh Gopalakrishnan:
Finding inputs that trigger floating-point exceptions in heterogeneous computing via Bayesian optimization. Parallel Comput. 117: 103042 (2023) - [j48]Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan:
Efficient linearizability checking for actor-based systems. Softw. Pract. Exp. 53(11): 2163-2199 (2023) - [c152]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: 59-71 - [c151]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: 252-262 - [c150]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: 343-349 - [i15]Harvey Dam, Vinu Joseph, Aditya Bhaskara, Ganesh Gopalakrishnan, Saurav Muralidharan, Michael Garland:
Understanding the Effect of the Long Tail on Neural Network Compression. CoRR abs/2306.06238 (2023) - [i14]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:
MPGemmFI: A Fault Injection Technique for Mixed Precision GEMM in ML Applications. CoRR abs/2311.05782 (2023) - [i13]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 abs/2312.15640 (2023) - 2022
- [j47]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: 103119 (2022) - [c149]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: 47-52 - [c148]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: 4:1-4:13 - [c147]Ignacio Laguna, Tanmay Tirpankar, Xinyi Li, Ganesh Gopalakrishnan:
FPChecker: Floating-Point Exception Detection Tool and Benchmark for Parallel and Distributed HPC. IISWC 2022: 39-50 - [c146]Juan Benavides, John W. Baugh Jr., Ganesh Gopalakrishnan:
An HPC Practitioner's Workbench for Formal Refinement Checking. LCPC 2022: 64-72 - [c145]Ignacio Laguna, Xinyi Li, Ganesh Gopalakrishnan:
BinFPE: accurate floating-point exception detection for GPU applications. SOAP@PLDI 2022: 1-8 - [c144]Ignacio Laguna, Ganesh Gopalakrishnan:
Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization. SC 2022: 33:1-33:14 - [c143]Dorra Ben Khalifa, Xinyi Li, Ignacio Laguna, Matthieu Martel, Ganesh Gopalakrishnan:
Toward Increasing Trust in Exascale Simulations. XLOOP@SC 2022: 26-31 - 2021
- [j46]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): 66-74 (2021) - [j45]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): 1113 (2021) - [c142]Arnab Das, Tanmay Tirpankar, Ganesh Gopalakrishnan, Sriram Krishnamoorthy:
Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation. CLUSTER 2021: 481-491 - [c141]Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock:
Guarding Numerics Amidst Rising Heterogeneity. Correctness@SC 2021: 9-15 - [c140]Saeed Taheri, Ganesh Gopalakrishnan:
GoAT: Automated Concurrency Analysis and Debugging Tool for Go. IISWC 2021: 138-150 - [c139]Ganesh Gopalakrishnan, Rick Neff:
Automata and Computability Education via Jove. SIGCSE 2021: 1374 - [i12]Saeed Taheri, Ganesh Gopalakrishnan:
Automated Dynamic Concurrency Analysis for Go. CoRR abs/2105.11064 (2021) - [i11]Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan:
Efficient Linearizability Checking for Actor-based Systems. CoRR abs/2110.06407 (2021) - 2020
- [j44]Vinu Joseph, Ganesh Gopalakrishnan, Saurav Muralidharan, Michael Garland, Animesh Garg:
A Programmable Approach to Neural Network Compression. IEEE Micro 40(5): 17-25 (2020) - [j43]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): 50:1-50:21 (2020) - [j42]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): 19:1-19:27 (2020) - [c138]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: 425-426 - [c137]Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang:
Correctness-preserving Compression of Datasets and Neural Network Models. CORRECTNESS@SC 2020: 1-9 - [c136]Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy, Pavel Panchekha:
Scalable yet rigorous floating-point error analysis. SC 2020: 51 - [i10]Arnab Das, Sriram Krishnamoorthy, Ian Briggs, Ganesh Gopalakrishnan, Ramakrishna Tipireddy:
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation. CoRR abs/2004.04359 (2020) - [i9]Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy:
An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis. CoRR abs/2004.11960 (2020) - [i8]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 abs/2012.01604 (2020)
2010 – 2019
- 2019
- [j41]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) - [j40]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): 2:1-2:39 (2019) - [c135]Saeed Taheri, Ian Briggs, Martin Burtscher, Ganesh Gopalakrishnan:
DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging. CLUSTER 2019: 1-12 - [c134]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: 61-72 - [c133]Mark Van der Merwe, Vinu Joseph, Ganesh Gopalakrishnan:
Message Scheduling for Performant, Many-Core Belief Propagation. HPEC 2019: 1-7 - [i7]Mark Van der Merwe, Vinu Joseph, Ganesh Gopalakrishnan:
Message Scheduling for Performant, Many-Core Belief Propagation. CoRR abs/1909.11469 (2019) - [i6]Vinu Joseph, Saurav Muralidharan, Animesh Garg, Michael Garland, Ganesh Gopalakrishnan:
A Programmable Approach to Model Compression. CoRR abs/1911.02497 (2019) - 2018
- [c132]Simone Atzeni, Ganesh Gopalakrishnan:
An Operational Semantic Basis for Building an OpenMP Data Race Checker. IPDPS Workshops 2018: 395-404 - [c131]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: 845-854 - [c130]Saeed Taheri, Sindhu Devale, Ganesh Gopalakrishnan, Martin Burtscher:
ParLoT: Efficient Whole-Program Call Tracing for HPC Applications. ESPT/VPA@SC 2018: 162-184 - [c129]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: 265-272 - [i5]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 abs/1807.10852 (2018) - [i4]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 abs/1811.05618 (2018) - 2017
- [c128]Geoffrey Sawaya, Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn:
FLiT: Cross-platform floating-point result-consistency tester and workload. IISWC 2017: 229-238 - [c127]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: 19-30 - [c126]Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Rigorous floating-point mixed-precision tuning. POPL 2017: 300-315 - [i3]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 abs/1705.07478 (2017) - [i2]Simone Atzeni, Ganesh Gopalakrishnan:
An Operational Semantic Basis for OpenMP Race Analysis. CoRR abs/1709.04551 (2017) - 2016
- [c125]Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy:
PRESAGE: Protecting Structured Address Generation against Soft Errors. HiPC 2016: 252-261 - [c124]Mohammed Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman:
Toward rigorous design of domain-specific distributed systems. FormaliSE@ICSE 2016: 42-48 - [c123]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: 53-62 - [c122]Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy:
Towards Resiliency Evaluation of Vector Programs. IPDPS Workshops 2016: 1319-1328 - [c121]Mohammed S. Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman:
Toward Bringing Distributed System Design upon Rigorous Footing. IRI 2016: 233-240 - [c120]Sriram Aananthakrishnan, Greg Bronevetsky, Mark Baranowski, Ganesh Gopalakrishnan:
ParFuse: Parallel and Compositional Analysis of Message Passing Programs. LCPC 2016: 24-39 - [c119]Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Portable inter-workgroup barrier synchronisation for GPUs. OOPSLA 2016: 39-58 - [i1]Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy:
PRESAGE: Protecting Structured Address Generation against Soft Errors. CoRR abs/1606.08948 (2016) - 2015
- [c118]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: 577-591 - [c117]Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan:
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. FM 2015: 532-550 - [c116]Ganesh Gopalakrishnan, Geof Sawaya:
Achieving Formal Parallel Program Debugging by Incentivizing CS/HPC Collaborative Tool Development. SCREAM@HPDC 2015: 11-18 - [c115]Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Practical Floating-Point Divergence Detection. LCPC 2015: 271-286 - [c114]Charles Jacobsen, Alexey Solovyev, Ganesh Gopalakrishnan:
A Parameterized Floating-Point Formalizaton in HOL Light. NSV 2015: 101-107 - 2014
- [j39]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): 48-56 (2014) - [j38]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): 1114-1126 (2014) - [c113]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: 317-331 - [c112]Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev:
Efficient search for inputs causing high floating-point errors. PPoPP 2014: 43-52 - [c111]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: 40-47 - [c110]Peng Li, Guodong Li, Ganesh Gopalakrishnan:
Practical Symbolic Race Checking of GPU Programs. SC 2014: 179-190 - [c109]Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs. NSV 2014: 33-45 - 2013
- [c108]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: 185-192 - [c107]Sriram Aananthakrishnan, Greg Bronevetsky, Ganesh Gopalakrishnan:
Hybrid approach for data-flow analysis of MPI programs. ICS 2013: 455-456 - [c106]Tyler Sorensen, Ganesh Gopalakrishnan, Vinod Grover:
Towards shared memory consistency models for GPUs. ICS 2013: 489-490 - [c105]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: 75-83 - [c104]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: 213-228 - [c103]Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan:
Towards Formal Approaches to System Resilience. PRDC 2013: 41-50 - [c102]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: 41-44 - 2012
- [j37]Ganesh Gopalakrishnan, Shaz Qadeer:
Preface. Formal Methods Syst. Des. 41(1): 3 (2012) - [c101]Ganesh Gopalakrishnan:
Formal Methods for Surviving the Jungle of Heterogeneous Parallelism. IPDPS Workshops 2012: 1321-1324 - [c100]Guodong Li, Ganesh Gopalakrishnan:
Parameterized Verification of GPU Kernel Programs. IPDPS Workshops 2012: 2450-2459 - [c99]Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan:
GKLEE: concolic verification and test generation for GPUs. PPoPP 2012: 215-224 - [c98]Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky:
A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications. SBMF 2012: 194-209 - [c97]Peng Li, Guodong Li, Ganesh Gopalakrishnan:
Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs. SC 2012: 29 - [c96]Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky:
Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications. SC Companion 2012: 1425-1426 - 2011
- [j36]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): 82-91 (2011) - [j35]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): 65-81 (2011) - [c95]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: 330-339 - [c94]Subodh Sharma, Ganesh Gopalakrishnan:
Efficient Verification Solutions for Message Passing Systems. IPDPS Workshops 2011: 2026-2029 - [c93]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: 189-194 - [c92]Stephen F. Siegel, Ganesh Gopalakrishnan:
Formal Analysis of Message Passing - (Invited Talk). VMCAI 2011: 2-18 - [e6]Ganesh Gopalakrishnan, Shaz Qadeer:
Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings. Lecture Notes in Computer Science 6806, Springer 2011, ISBN 978-3-642-22109-5 [contents] - 2010
- [j34]Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou:
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols. Formal Methods Syst. Des. 36(1): 37-64 (2010) - [j33]Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp:
Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking. Softw. Pract. Exp. 40(1): 23-43 (2010) - [j32]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Distributed dynamic partial order reduction. Int. J. Softw. Tools Technol. Transf. 12(2): 113-122 (2010) - [c91]Alan Humphrey, Christopher Derrick, Ganesh Gopalakrishnan, Beth Tibbitts:
GEM: Graphical Explorer of MPI Programs. ICPP Workshops 2010: 161-168 - [c90]Anh Vo, Ganesh Gopalakrishnan:
Scalable verification of MPI programs. IPDPS Workshops 2010: 1-4 - [c89]Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Daniel J. Quinlan:
A symbolic verifier for CUDA programs. PPoPP 2010: 357-358 - [c88]Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby:
Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs. EuroMPI 2010: 152-159 - [c87]Wei-Fan Chiang, Grzegorz Szubzda, Ganesh Gopalakrishnan, Rajeev Thakur:
Dynamic Verification of Hybrid Programs. EuroMPI 2010: 298-301 - [c86]