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
[c156]Xinyi Li, Ganesh Gopalakrishnan:
FBTuner: A Feedback-Directed Approach for Safe Mixed-Precision Tuning. CCGrid 2024: 1-2- [c155]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 - [c154]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 - [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]Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky:
A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. SC 2010: 1-10 - [c85]Ganesh Gopalakrishnan, Robert M. Kirby:
Top ten ways to make formal methods for HPC practical. FoSER 2010: 137-142 - [c84]Guodong Li, Ganesh Gopalakrishnan:
Scalable SMT-based verification of GPU kernel functions. SIGSOFT FSE 2010: 187-196 - [c83]Alan Humphrey, Christopher Derrick, Ganesh Gopalakrishnan, Beth R. Tibbitts:
GEM: graphical explorer of MPI programs. SOFTVIS 2010: 217-218
2000 – 2009
- 2009
- [j31]Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan:
Parallel and distributed model checking in Eddy. Int. J. Softw. Tools Technol. Transf. 11(1): 13-25 (2009) - [c82]Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby:
Reduced Execution Semantics of MPI: From Theory to Practice. FM 2009: 724-740 - [c81]Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt:
MCC: A runtime verification tool for MCAPI user applications. FMCAD 2009: 41-44 - [c80]Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer:
Dynamic verification of Multicore Communication applications in MCAPI. HLDVT 2009: 100-105 - [c79]Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni:
Some resources for teaching concurrency. PADTAD 2009 - [c78]Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
Formal verification of practical MPI programs. PPoPP 2009: 261-270 - [c77]Anh Vo, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan:
ISP Tool Update: Scalable MPI Verification. Parallel Tools Workshop 2009: 175-184 - [c76]Ganesh Gopalakrishnan, Robert M. Kirby:
Practical Formal Verification of MPI and Thread Programs. PVM/MPI 2009: 8 - [c75]Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. PVM/MPI 2009: 261-270 - [c74]Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. PVM/MPI 2009: 271-281 - [c73]Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur:
Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). PVM/MPI 2009: 329-330 - [c72]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang:
Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. SPIN 2009: 279-295 - [e5]Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer:
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009. ACM 2009, ISBN 978-1-60558-655-7 [contents] - 2008
- [j30]Ganesh Gopalakrishnan:
Review computation engineering: applied automata theory and logic. SIGACT News 39(3): 30-32 (2008) - [c71]Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan:
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ATVA 2008: 126-140 - [c70]Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby:
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. CAV 2008: 66-79 - [c69]Ganesh Gopalakrishnan, Robert M. Kirby:
Runtime verification methods for MPI. IPDPS 2008: 1-5 - [c68]Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Scheduling considerations for building dynamic verification tools for MPI. PADTAD 2008: 3 - [c67]Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
Formal specification of the MPI-2.0 standard in TLA+. PPoPP 2008: 283-284 - [c66]Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby:
ISP: a tool for model checking MPI programs. PPoPP 2008: 285-286 - [c65]Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp:
Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. PVM/MPI 2008: 248-256 - [c64]Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp:
A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. PVM/MPI 2008: 265-273 - [c63]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305 - 2007
- [c62]Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan:
Transaction Based Modeling and Verification of Hardware Protocols. FMCAD 2007: 53-61 - [c61]Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby:
An Approach to Formalization and Analysis of Message Passing Libraries. FMICS 2007: 164-181 - [c60]Xiaofang Chen, Yu Yang, Michael Delisi, Ganesh Gopalakrishnan, Ching-Tsun Chou:
Hierarchical cache coherence protocol verification one level at a time through assume guarantee. HLDVT 2007: 107-114 - [c59]Ganesh Gopalakrishnan, Robert M. Kirby:
Formal Analysis for Debugging and Performance Optimization of MPI. IPDPS 2007: 1-6 - [c58]Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby:
Semantics driven dynamic partial-order reduction of MPI-based parallel programs. PADTAD 2007: 43-53 - [c57]Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp:
Practical Model-Checking Method for Verifying Correctness of MPI Programs. PVM/MPI 2007: 344-353 - [c56]Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75 - [c55]Ganesh Gopalakrishnan:
Preface. Festschrift honoring Gary Lindstrom 2007: 1-2 - [c54]Ganesh Gopalakrishnan, Robert M. Kirby:
Formal Methods for MPI Programs. Festschrift honoring Gary Lindstrom 2007: 19-27 - [e4]Ganesh Gopalakrishnan:
Festschrift honoring Gary Lindstrom on his retirement from the University of Utah after 30 years of service, Salt Lake City, UT, USA, May 5, 2007. Electronic Notes in Theoretical Computer Science 193, Elsevier 2007 [contents] - [e3]Ganesh Gopalakrishnan, John O'Leary:
Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle, WA, USA, August 21-22, 2006. Electronic Notes in Theoretical Computer Science 174(9), Elsevier 2007 [contents] - 2006
- [b1]Ganesh Gopalakrishnan:
Computation engineering - applied automata theory and logic. Springer 2006, ISBN 978-0-387-24418-1, pp. I-XXXV, 1-471 - [c53]Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou:
Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. FMCAD 2006: 81-88 - [c52]Ganesh Gopalakrishnan, Robert M. Kirby:
Toward reliable and efficient message passing software through formal analysis. IPDPS 2006 - [c51]Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp:
Formal Verification of Programs That Use MPI One-Sided Communication. PVM/MPI 2006: 30-39 - [c50]Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan:
Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125 - [c49]Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan:
Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. SPIN 2006: 252-270 - [c48]Ganesh Gopalakrishnan, John O'Leary:
Preface. TV@FLoC 2006: 1-4 - 2005
- [j29]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
UMM: an operational memory model specification framework with integrated model checking capability. Concurr. Pract. Exp. 17(5-6): 465-487 (2005) - [j28]Ali Sezgin, Ganesh Gopalakrishnan:
On the definition of sequential consistency. Inf. Process. Lett. 96(6): 193-196 (2005) - [j27]Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind:
Live sequence charts applied to hardware requirements specification and verification. Int. J. Softw. Tools Technol. Transf. 7(4): 341-350 (2005) - [c47]Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan:
Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification. CHARME 2005: 317-331 - [c46]Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan:
Symbolic Partial Order Reduction for Rule Based Transition Systems. CHARME 2005: 332-335 - [c45]Ali Sezgin, Ganesh Gopalakrishnan:
On the decidability of shared memory consistency verification. MEMOCODE 2005: 199-208 - [c44]Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby:
Gauss: A Framework for Verifying Scientific Computing Software. SoftMC@CAV 2005: 95-106 - 2004
- [j26]Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee:
Formal hardware specification languages for protocol compliance verification. ACM Trans. Design Autom. Electr. Syst. 9(1): 1-32 (2004) - [c43]Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj:
QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings. CAV 2004: 401-413 - [c42]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
Memory-Model-Sensitive Data Race Analysis. ICFEM 2004: 30-45 - [c41]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind:
Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. IPDPS 2004 - [e2]Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan:
Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Lecture Notes in Computer Science 3223, Springer 2004, ISBN 3-540-23017-3 [contents] - 2003
- [j25]Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
A Practical Methodology for Verifying Pipelined Microarchitectures. IEEE Des. Test Comput. 20(4): 4-14 (2003) - [j24]Ganesh Gopalakrishnan, Warren A. Hunt Jr.:
Industrial Practice of Formal Hardware Verification: A Sampling. Formal Methods Syst. Des. 22(2): 95-99 (2003) - [j23]Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
Formal Verification of a Complex Pipelined Processor. Formal Methods Syst. Des. 23(2): 171-213 (2003) - [c40]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind:
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. CHARME 2003: 81-95 - [c39]Hemanthkumar Sivaraj, Ganesh Gopalakrishnan:
Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. PDMC@CAV 2003: 51-67 - 2002
- [j22]Ganesh Gopalakrishnan, Sneha Kumar Kasera:
Robust rate based congestion control. Comput. Commun. Rev. 32(3): 22 (2002) - [j21]Ratan Nalumasu, Ganesh Gopalakrishnan:
Deriving Efficient Cache Coherence Protocols Through Refinement. Formal Methods Syst. Des. 20(1): 107-125 (2002) - [j20]Ratan Nalumasu, Ganesh Gopalakrishnan:
An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation. Formal Methods Syst. Des. 20(3): 231-247 (2002) - [c38]Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan:
Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. CAV 2002: 123-136 - [c37]Prosenjit Chatterjee, Ganesh Gopalakrishnan:
A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols. FMCAD 2002: 292-309 - [c36]Robert Palmer, Ganesh Gopalakrishnan:
A Distributed Partial Order Reduction Algorithm. FORTE 2002: 370 - [c35]Syam Krishna Babbellapati, Ganesh Gopalakrishnan, T. S. Lamba:
FSRC: fair and stable rate control - a TCP-friendly adaptive rate control scheme for packet audio applications. ICON 2002: 443-448 - [c34]Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
Specifying Java thread semantics using a uniform memory model. Java Grande 2002: 192-201 - [c33]Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen:
Incremental Proof of the Producer/Consumer Property for the PCI Protocol. ZB 2002: 22-41 - 2001
- [c32]Annette Bunker, Ganesh Gopalakrishnan:
Using live sequence charts for hardware protocol specification and compliance verification. HLDVT 2001: 95-100 - [c31]Prosenjit Chatterjee, Ganesh Gopalakrishnan:
towards A formal Model of Shared Memory Consistency for Intel ItaniumTM. ICCD 2001: 515-518 - 2000
- [j19]Ganesh Gopalakrishnan:
Introduction: Formal Methods for CAD: Enabling Technologies and System-level Applications. Formal Methods Syst. Des. 16(1): 5-6 (2000) - [j18]Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan:
Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. Formal Methods Syst. Des. 16(1): 93-119 (2000) - [c30]Hans M. Jacobson, Erik Brunvand, Ganesh Gopalakrishnan, Prabhakar Kudva:
High-Level Asynchronous System Design Using the ACK Framework. ASYNC 2000: 93-103 - [c29]Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
Verifying Advanced Microarchitectures that Support Speculation and Exceptions. CAV 2000: 521-537 - [c28]Michael D. Jones, Ganesh Gopalakrishnan:
Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods. FMCAD 2000: 505-519 - [c27]Michael D. Jones, Ganesh Gopalakrishnan:
Toward automated abstraction for protocols on branching networks. HLDVT 2000: 147-152 - [c26]Hans M. Jacobson, Chris J. Myers, Ganesh Gopalakrishnan:
Achieving Fast and Exact Hazard-Free Logic Minimization of Extended Burst-Mode gC Finite State Machines. ICCAD 2000: 303-310 - [c25]Rajnish Ghughal, Ganesh Gopalakrishnan:
Verification Methods for Weaker Shared Memory Consistency Models. IPDPS Workshops 2000: 985-992
1990 – 1999
- 1999
- [j17]Hans M. Jacobson, Ganesh Gopalakrishnan:
Application-specific programmable control for high-performance asynchronous circuits. Proc. IEEE 87(2): 319-331 (1999) - [j16]Hans M. Jacobson, Ganesh Gopalakrishnan:
Corrections To application-specific Programmable Control For High-performance Asynchronous Circuits. Proc. IEEE 87(3): 525 (1999) - [j15]Ganesh Gopalakrishnan, Prabhakar Kudva, Erik Brunvand:
Peephole optimization of asynchronous macromodule networks. IEEE Trans. Very Large Scale Integr. Syst. 7(1): 30-37 (1999) - [j14]Jae-Tack Yoo, Ganesh Gopalakrishnan, Kent F. Smith:
Timing constraints for high-speed counterflow-clocked pipelining. IEEE Trans. Very Large Scale Integr. Syst. 7(2): 167-173 (1999) - [c24]Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer. CHARME 1999: 8-22 - 1998
- [c23]Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan:
Decomposing the Proof of Correctness of pipelined Microprocessors. CAV 1998: 122-134 - [c22]Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan:
The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. CAV 1998: 464-476 - [c21]Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan:
Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. FMCAD 1998: 237-254 - [c20]Ratan Nalumasu, Ganesh Gopalakrishnan:
PV: An Explicit Enumeration Model-Checker. FMCAD 1998: 523-528 - [c19]Ratan Nalumasu, Ganesh Gopalakrishnan:
Deriving Efficient Cache Coherence Protocols through Refinement. IPPS/SPDP Workshops 1998: 857-870 - [c18]Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan:
Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. SPAA 1998: 231-239 - [e1]Ganesh Gopalakrishnan, Phillip J. Windley:
Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings. Lecture Notes in Computer Science 1522, Springer 1998, ISBN 3-540-65191-8 [contents] - 1997
- [j13]Jae-Tack Yoo, Kent F. Smith, Ganesh Gopalakrishnan:
A fast parallel squarer based on divide-and-conquer. IEEE J. Solid State Circuits 32(6): 909-912 (1997) - [c17]Hans M. Jacobson, Ganesh Gopalakrishnan:
Asynchronous Microengines for Efficient High-level Control. ARVLSI 1997: 201-218 - [c16]Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu:
Formal modeling and validation applied to a commercial coherent bus: a case study. CHARME 1997: 48-62 - 1996
- [c15]Prabhakar Kudva, Ganesh Gopalakrishnan, Hans M. Jacobson:
A Technique for Synthesizing Distributed Burst-mode Circuits. DAC 1996: 67-70 - [c14]Prabhakar Kudva, Ganesh Gopalakrishnan, Hans M. Jacobson, Steven M. Nowick:
Synthesis for Hazard-free Customized CMOS Complex-Gate Networks Under Multiple-Input Changes. DAC 1996: 77-82 - 1995
- [c13]Jae-Tack Yoo, Ganesh Gopalakrishnan, Kent F. Smith, V. John Mathews:
High speed counterflow-clocked pipelining illustrated on the design of HDTV subband vector quantizer chips. ARVLSI 1995: 91-107 - 1994
- [j12]Ganesh Gopalakrishnan:
Developing Micropipeline Wavefront Arbiters. IEEE Des. Test Comput. 11(4): 55-64 (1994) - [j11]Venkatesh Akella, Ganesh Gopalakrishnan:
CFSIM: A Concurrent Compiled Code Functional Simulator for hopCP. Int. J. Comput. Simul. 4(4): 375-394 (1994) - [j10]Prabhat Jain, Ganesh Gopalakrishnan:
Efficient symbolic simulation-based verification using the parametric form of Boolean expressions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(8): 1005-1015 (1994) - [j9]Ganesh Gopalakrishnan, Erik Brunvand, Nick Michell, Steven M. Nowick:
A correctness criterion for asynchronous circuit validation and optimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13(11): 1309-1318 (1994) - [j8]Venkatesh Akella, Ganesh Gopalakrishnan:
Specification and Validation of Control-Intensive IC's in hopCP. IEEE Trans. Software Eng. 20(6): 405-423 (1994) - [j7]Ganesh Gopalakrishnan, Venkatesh Akella:
High-level optimizations in compiling process descriptions to asynchronous circuits. J. VLSI Signal Process. 7(1-2): 33-45 (1994) - [c12]Prabhakar Kudva, Ganesh Gopalakrishnan, Erik Brunvand, Venkatesh Akella:
Performance Analysis and Optimization of Asynchronous Circuits. ICCD 1994: 221-224 - [c11]Ganesh Gopalakrishnan, Prabhakar Kudva, Erik Brunvand:
Peephole Optimization of Asynchronous Macromodule Networks. ICCD 1994: 442-446 - 1993
- [j6]Ganesh Gopalakrishnan, Erik Brunvand:
Guest editors' introduction to the special issue on asynchronous systems. Integr. 15(3): 233-239 (1993) - [j5]Ganesh Gopalakrishnan, Richard Fujimoto:
Design and Verification of the Rollback Chip Using HOP: A Case Study of Formal Methods Applied to Hardware design. ACM Trans. Comput. Syst. 11(2): 109-145 (1993) - [c10]Prabhat Jain, Ganesh Gopalakrishnan:
Hierarchical Constraint Solving in the Parametric Form with Applications to Efficient Symbolic Simulation Based Verification. ICCD 1993: 304-307 - [c9]Ganesh Gopalakrishnan, Venkatesh Akella:
A transformational approach to asynchronous high-level synthesis. VLSI 1993: 201-210 - 1992
- [j4]Ganesh Gopalakrishnan, Venkatesh Akella:
VLSI asynchronous systems: specification and synthesis. Microprocess. Microsystems 16(10): 517-527 (1992) - [j3]Richard Fujimoto, Jya-Jang Tsai, Ganesh Gopalakrishnan:
Design and Evaluation of the Rollback Chip: Special Purpose Hardware for Time Warp. IEEE Trans. Computers 41(1): 68-82 (1992) - [c8]Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan:
Towards a Verification Technique for Large Synchronous Circuits. CAV 1992: 109-122 - [c7]Venkatesh Akella, Ganesh Gopalakrishnan:
SHILPA: a high-level synthesis system for self-timed circuits. ICCAD 1992: 587-591 - [c6]Gernot Armin Liebchen, Ganesh Gopalakrishnan:
Dynamic Reordering of Hgh Latency Transactions Using a Modified a Micropipeline. ICCD 1992: 336-340 - [c5]Prabhat Jain, Ganesh Gopalakrishnan:
Some Techniques for Efficient Symbolic Simulation-Based Verification. ICCD 1992: 598-602 - [c4]Venkatesh Akella, Ganesh Gopalakrishnan:
From Process-Oriented Functional Specifications to Efficient Asynchronous Circuits. VLSI Design 1992: 324-325
1980 – 1989
- 1989
- [j2]Ganesh Gopalakrishnan, Richard M. Fujimoto, Venkatesh Akella, Narayana Mani:
HOP: A process model for synchronous hardware; semantics and experiments in process composition. Integr. 8(3): 209-247 (1989) - [c3]Ganesh Gopalakrishnan, Narayana Mani, Venkatesh Akella:
Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition. Automatic Verification Methods for Finite State Systems 1989: 374-382 - 1988
- [j1]Ganesh Gopalakrishnan, Mandayam K. Srivas:
Implementing Functional Programs Using Mutable Abstract Data Types. Inf. Process. Lett. 26(6): 277-286 (1988) - [c2]Richard Fujimoto, Jya-Jang Tsai, Ganesh Gopalakrishnan:
Design and Performance of Special Purpose Hardware for Time Warp. ISCA 1988: 401-408 - 1987
- [c1]Ganesh Gopalakrishnan:
Synthesizing Synchronous Digital VLSI Controllers Using Petri Nets. PNPM 1987: 94-103
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-24 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
