Ganesh Gopalakrishnan

254 papers A* 13A 23B 25C 18Misc 3Journal 78Unranked 88

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Fast Topology-Aware Lossy Data Compression with Full Preservation of Critical Points and Local Order. CoRR Alex Fallin, Nathaniel Gorski, Tripti Agarwal, Bei Wang, Ganesh Gopalakrishnan, Martin Burtscher
2026	J	`jnl`	TopoSZp: Lightweight Topology-Aware Error-controlled Compression for Scientific Data. CoRR Tripti Agarwal, Sheng Di, Xin Liang, Zhaoyuan Su, Yuxiao Li, Ganesh Gopalakrishnan, Hanqi Guo, Franck Cappello
2025	—	`conf`	An SMT Formalization of Mixed-Precision Matrix Multiplication - Modeling Three Generations of Tensor Cores. NFM Benjamin Valpey, Xinyi Li, Sreepathi Pai, Ganesh Gopalakrishnan
2025	J	`jnl`	An SMT Formalization of Mixed-Precision Matrix Multiplication: Modeling Three Generations of Tensor Cores. CoRR Benjamin Valpey, Xinyi Li, Sreepathi Pai, Ganesh Gopalakrishnan
2025	—	`conf`	Array Programming on GPUs: Challenges and Opportunities. ARRAY@PLDI Xinyi Li, Mark Baranowski, Harvey Dam, Ganesh Gopalakrishnan
2025	—	`conf`	CIRE: LLVM Analysis for Floating-Point Rounding Error Affected by Precision and Optimizations. SC Workshops Tanmay Tirpankar, Cayden Lund, Ganesh Gopalakrishnan
2025	J	`jnl`	Derailing Non-Answers via Logit Suppression at Output Subspace Boundaries in RLHF-Aligned Language Models. CoRR Harvey Dam, Jonas P. Knochelmann, Vinu Joseph, Ganesh Gopalakrishnan
2025	J	`jnl`	Directional Sign Loss: A Topology-Preserving Loss Function that Approximates the Sign of Finite Differences. CoRR Harvey Dam, Tripti Agarwal, Ganesh Gopalakrishnan
2025	—	`conf`	Equivalence Checking of a libm Port. TACAS (2) Mark Baranowski, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2025	—	`conf`	FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis. STATIC Tanmay Tirpankar, Artem Yadrov, Pavel Panchekha, Ganesh Gopalakrishnan
2025	C	`conf`	GORC: A Graph Neural Network Based Static Data Race Checker for OpenMP. ISC Anh Tran, Ignacio Laguna, Konstantinos Parasyris, Giorgis Georgakoudis, Ganesh Gopalakrishnan
2025	—	`ed.`	Proceedings of the International Workshop on Verification of Scientific Software, VSS@ETAPS 2025, Hamilton, Canada, 4th May 2025. VSS@ETAPS Stephen F. Siegel, Ganesh Gopalakrishnan
2025	C	`conf`	Rigorous Error Analysis for Logarithmic Number Systems. ARITH Thanh Son Nguyen, Alexey Solovyev, Mark G. Arnold, Ganesh Gopalakrishnan
2025	J	`jnl`	SIMT/GPU Data Race Verification using ISCC and Intermediary Code Representations: A Case Study. CoRR Andrew Osterhout, Ganesh Gopalakrishnan
2025	J	`jnl`	Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs. CoRR Tanmay Tirpankar, Arnab Das, Ganesh Gopalakrishnan
2025	—	`conf`	Scabbard: LLVM Instrumentation-aided Race Checking in CPU/GPU Unified Memory for AMD GPUs. SC Workshops Andrew Osterhout, Ignacio Laguna, Ganesh Gopalakrishnan
2025	—	`conf`	Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling. VSS@ETAPS Alper Altuntas, Allison H. Baker, John W. Baugh Jr., Ganesh Gopalakrishnan, Stephen F. Siegel
2024	J	`jnl`	A GPU accelerated mixed-precision Smoothed Particle Hydrodynamics framework with cell-based relative coordinates. CoRR Zirui Mao, Xinyi Li, Shenyang Hu, Ganesh Gopalakrishnan, Ang Li
2024	B	`conf`	Discovery of Floating-Point Differences Between NVIDIA and AMD GPUs. CCGrid Xinyi Li, Ang Li, Bo Fang, Katarzyna Swirydowicz, Ignacio Laguna, Ganesh Gopalakrishnan
2024	B	`conf`	FBTuner: A Feedback-Directed Approach for Safe Mixed-Precision Tuning. CCGrid Xinyi Li, Ganesh Gopalakrishnan
2024	A	`conf`	FPBOXer: Efficient Input-Generation for Targeting Floating-Point Exceptions in GPU Programs. HPDC Anh Tran, Ignacio Laguna, Ganesh Gopalakrishnan
2024	B	`conf`	FTTN: Feature-Targeted Testing for Numerical Properties of NVIDIA & AMD Matrix Accelerators. CCGrid Xinyi Li, Ang Li, Bo Fang, Katarzyna Swirydowicz, Ignacio Laguna, Ganesh Gopalakrishnan
2024	J	`jnl`	FTTN: Feature-Targeted Testing for Numerical Properties of NVIDIA & AMD Matrix Accelerators. CoRR Xinyi Li, Ang Li, Bo Fang, Katarzyna Swirydowicz, Ignacio Laguna, Ganesh Gopalakrishnan
2024	J	`jnl`	FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions. CoRR Taylor Allred, Xinyi Li, Ashton Wiersdorf, Ben Greenman, Ganesh Gopalakrishnan
2024	A	`conf`	HiRace: Accurate and Fast Data Race Checking for GPU Programs. SC John Jacobson, Martin Burtscher, Ganesh Gopalakrishnan
2024	J	`jnl`	HiRace: Accurate and Fast Source-Level Race Checking of GPU Programs. CoRR John Jacobson, Martin Burtscher, Ganesh Gopalakrishnan
2024	J	`jnl`	HoSZp: An Efficient Homomorphic Error-bounded Lossy Compressor for Scientific Data. CoRR Tripti Agarwal, Sheng Di, Jiajun Huang, Yafan Huang, Ganesh Gopalakrishnan, Robert Underwood, Kai Zhao, Xin Liang, Guanpeng Li, Franck Cappello
2024	J	`jnl`	Rigorous Error Analysis for Logarithmic Number Systems. CoRR Thanh Son Nguyen, Alexey Solovyev, Ganesh Gopalakrishnan
2024	—	`conf`	SZOps: Scalar Operations for Error-bounded Lossy Compressor for Scientific Data. SC Workshops Tripti Agarwal, Sheng Di, Jiajun Huang, Yafan Huang, Ganesh Gopalakrishnan, Robert Underwood, Kai Zhao, Xin Liang, Guanpeng Li, Franck Cappello
2024	C	`conf`	Understanding Mixed Precision GEMM with MPGemmFI: Insights into Fault Resilience. CLUSTER 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	J	`jnl`	What Operations can be Performed Directly on Compressed Arrays, and with What Error? CoRR Tripti Agarwal, Harvey Dam, Dorra Ben Khalifa, Matthieu Martel, P. Sadayappan, Ganesh Gopalakrishnan
2023	—	`conf`	An NSF REU Site Based on Trust and Reproducibility of Intelligent Computation: Experience Report. SC Workshops 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
2023	A	`conf`	Design and Evaluation of GPU-FPX: A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs. HPDC Xinyi Li, Ignacio Laguna, Bo Fang, Katarzyna Swirydowicz, Ang Li, Ganesh Gopalakrishnan
2023	J	`jnl`	Efficient linearizability checking for actor-based systems. Softw. Pract. Exp. Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan
2023	J	`jnl`	Finding inputs that trigger floating-point exceptions in heterogeneous computing via Bayesian optimization. Parallel Comput. Ignacio Laguna, Anh Tran, Ganesh Gopalakrishnan
2023	J	`jnl`	MPGemmFI: A Fault Injection Technique for Mixed Precision GEMM in ML Applications. CoRR 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
2023	J	`jnl`	Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL. CoRR Maya B. Gokhale, Ganesh Gopalakrishnan, Jackson Mayo, Santosh Nagarakatte, Cindy Rubio-González, Stephen F. Siegel
2023	J	`jnl`	Understanding the Effect of the Long Tail on Neural Network Compression. CoRR Harvey Dam, Vinu Joseph, Aditya Bhaskara, Ganesh Gopalakrishnan, Saurav Muralidharan, Michael Garland
2023	—	`conf`	What Operations can be Performed Directly on Compressed Arrays, and with What Error? SC Workshops Tripti Agarwal, Harvey Dam, Ponnuswamy Sadayappan, Ganesh Gopalakrishnan, Dorra Ben Khalifa, Matthieu Martel
2022	A	`conf`	ASAP: automatic synthesis of area-efficient and precision-aware CGRAs. ICS Cheng Tan, Thierry Tambe, Jeff Jun Zhang, Bo Fang, Tong Geng, Gu-Yeon Wei, David Brooks, Antonino Tumeo, Ganesh Gopalakrishnan, Ang Li
2022	—	`conf`	An HPC Practitioner's Workbench for Formal Refinement Checking. LCPC Juan Benavides, John W. Baugh Jr., Ganesh Gopalakrishnan
2022	—	`conf`	BinFPE: accurate floating-point exception detection for GPU applications. SOAP@PLDI Ignacio Laguna, Xinyi Li, Ganesh Gopalakrishnan
2022	—	`conf`	FPChecker: Floating-Point Exception Detection Tool and Benchmark for Parallel and Distributed HPC. IISWC Ignacio Laguna, Tanmay Tirpankar, Xinyi Li, Ganesh Gopalakrishnan
2022	A	`conf`	Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization. SC Ignacio Laguna, Ganesh Gopalakrishnan
2022	J	`jnl`	Satellite observed new mechanism of Kuroshio intrusion into the northern South China Sea. Int. J. Appl. Earth Obs. Geoinformation Jia-Yi Lin, Zhe-Wen Zheng, Quanan Zheng, Ding-Rong Wu, Ganesh Gopalakrishnan, Chung-Ru Ho, Jiayi Pan, Yu-Chun Lin, Ling-Ling Xie
2022	—	`conf`	Toward Increasing Trust in Exascale Simulations. XLOOP@SC Dorra Ben Khalifa, Xinyi Li, Ignacio Laguna, Matthieu Martel, Ganesh Gopalakrishnan
2022	—	`conf`	Towards Precision-Aware Fault Tolerance Approaches for Mixed-Precision Applications. FTXS@SC Bo Fang, Siva Kumar Sastry Hari, Timothy Tsai, Xinyi Li, Ganesh Gopalakrishnan, Ignacio Laguna, Kevin J. Barker, Ang Li
2021	A	`conf`	Automata and Computability Education via Jove. SIGCSE Ganesh Gopalakrishnan, Rick Neff
2021	J	`jnl`	Automated Dynamic Concurrency Analysis for Go. CoRR Saeed Taheri, Ganesh Gopalakrishnan
2021	J	`jnl`	Efficient Linearizability Checking for Actor-based Systems. CoRR Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan
2021	—	`conf`	GoAT: Automated Concurrency Analysis and Debugging Tool for Go. IISWC Saeed Taheri, Ganesh Gopalakrishnan
2021	—	`conf`	Guarding Numerics Amidst Rising Heterogeneity. Correctness@SC Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock
2021	J	`jnl`	Impacts of the Kuroshio Intrusion through the Luzon Strait on the Local Precipitation Anomaly. Remote. Sens. Wen-Pin Fang, Ding-Rong Wu, Zhe-Wen Zheng, Ganesh Gopalakrishnan, Chung-Ru Ho, Quanan Zheng, Chen-Fen Huang, Hua Ho, Min-Chuan Weng
2021	J	`jnl`	Keeping science on keel when software moves. Commun. ACM 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
2021	C	`conf`	Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation. CLUSTER Arnab Das, Tanmay Tirpankar, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
2020	J	`jnl`	A Programmable Approach to Neural Network Compression. IEEE Micro Vinu Joseph, Ganesh Gopalakrishnan, Saurav Muralidharan, Michael Garland, Animesh Garg
2020	J	`jnl`	An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis. CoRR Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
2020	B	`conf`	ArcherGear: data race equivalencing for expeditious HPC debugging. PPoPP Samuel Thayer, Ganesh Gopalakrishnan, Ian Briggs, Michael Bentley, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee
2020	—	`conf`	Correctness-preserving Compression of Datasets and Neural Network Models. CORRECTNESS@SC Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang
2020	J	`jnl`	FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation. CoRR Arnab Das, Sriram Krishnamoorthy, Ian Briggs, Ganesh Gopalakrishnan, Ramakrishna Tipireddy
2020	J	`jnl`	FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation. ACM Trans. Archit. Code Optim. Arnab Das, Sriram Krishnamoorthy, Ian Briggs, Ganesh Gopalakrishnan, Ramakrishna Tipireddy
2020	J	`jnl`	FailAmp: Relativization Transformation for Soft Error Detection in Structured Address Generation. ACM Trans. Archit. Code Optim. Ian Briggs, Arnab Das, Mark Baranowski, Vishal Chandra Sharma, Sriram Krishnamoorthy, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2020	J	`jnl`	Reliable Model Compression via Label-Preservation-Aware Loss Functions. CoRR Vinu Joseph, Shoaib Ahmed Siddiqui, Aditya Bhaskara, Ganesh Gopalakrishnan, Saurav Muralidharan, Michael Garland, Sheraz Ahmed, Andreas Dengel
2020	A	`conf`	Scalable yet rigorous floating-point error analysis. SC Arnab Das, Ian Briggs, Ganesh Gopalakrishnan, Sriram Krishnamoorthy, Pavel Panchekha
2019	J	`jnl`	A Programmable Approach to Model Compression. CoRR Vinu Joseph, Saurav Muralidharan, Animesh Garg, Michael Garland, Ganesh Gopalakrishnan
2019	C	`conf`	DiffTrace: Efficient Whole-Program Trace Analysis and Diffing for Debugging. CLUSTER Saeed Taheri, Ian Briggs, Martin Burtscher, Ganesh Gopalakrishnan
2019	—	`conf`	Message Scheduling for Performant, Many-Core Belief Propagation. HPEC Mark Van der Merwe, Vinu Joseph, Ganesh Gopalakrishnan
2019	J	`jnl`	Message Scheduling for Performant, Many-Core Belief Propagation. CoRR Mark Van der Merwe, Vinu Joseph, Ganesh Gopalakrishnan
2019	A	`conf`	Multi-Level Analysis of Compiler-Induced Variability and Performance Tradeoffs. HPDC Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee, Holger E. Jones
2019	J	`jnl`	Pruners. Int. J. High Perform. Comput. Appl. 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
2019	J	`jnl`	Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions. ACM Trans. Program. Lang. Syst. Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2018	—	`conf`	An Operational Semantic Basis for Building an OpenMP Data Race Checker. IPDPS Workshops Simone Atzeni, Ganesh Gopalakrishnan
2018	J	`jnl`	Multi-level analysis of compiler induced variability and performance tradeoffs. CoRR Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn, Ignacio Laguna, Gregory L. Lee, Holger E. Jones
2018	—	`conf`	ParLoT: Efficient Whole-Program Call Tracing for HPC Applications. ESPT/VPA@SC Saeed Taheri, Sindhu Devale, Ganesh Gopalakrishnan, Martin Burtscher
2018	A	`conf`	SWORD: A Bounded Memory-Overhead Detector of OpenMP Data Races in Production Runs. IPDPS Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Ignacio Laguna, Gregory L. Lee, Dong H. Ahn
2018	J	`jnl`	Sparse Matrix Code Dependence Analysis Simplification at Compile Time. CoRR Mahdi Soltan Mohammadi, Kazem Cheshmi, Ganesh Gopalakrishnan, Mary W. Hall, Maryam Mehri Dehnavi, Anand Venkat, Tomofumi Yuki, Michelle Mills Strout
2018	—	`conf`	Using Deep Learning for Automated Communication Pattern Characterization: Little Steps and Big Challenges. ESPT/VPA@SC Philip C. Roth, Kevin A. Huck, Ganesh Gopalakrishnan, Felix Wolf
2017	J	`jnl`	An Operational Semantic Basis for OpenMP Race Analysis. CoRR Simone Atzeni, Ganesh Gopalakrishnan
2017	—	`conf`	FLiT: Cross-platform floating-point result-consistency tester and workload. IISWC Geoffrey Sawaya, Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn
2017	—	`conf`	Moving the Needle on Rigorous Floating-Point Precision Tuning. AFM@NFM Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
2017	J	`jnl`	Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. CoRR Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama
2017	A*	`conf`	Rigorous floating-point mixed-precision tuning. POPL Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric
2016	A	`conf`	ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. IPDPS Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H. Ahn, Ignacio Laguna, Martin Schulz, Gregory L. Lee, Joachim Protze, Matthias S. Müller
2016	Misc	`conf`	PRESAGE: Protecting Structured Address Generation against Soft Errors. HiPC Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
2016	J	`jnl`	PRESAGE: Protecting Structured Address Generation against Soft Errors. CoRR Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
2016	—	`conf`	ParFuse: Parallel and Compositional Analysis of Message Passing Programs. LCPC Sriram Aananthakrishnan, Greg Bronevetsky, Mark Baranowski, Ganesh Gopalakrishnan
2016	A	`conf`	Portable inter-workgroup barrier synchronisation for GPUs. OOPSLA Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric
2016	Misc	`conf`	Toward Bringing Distributed System Design upon Rigorous Footing. IRI Mohammed S. Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman
2016	—	`conf`	Toward rigorous design of domain-specific distributed systems. FormaliSE@ICSE Mohammed Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman
2016	—	`conf`	Towards Resiliency Evaluation of Vector Programs. IPDPS Workshops Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy
2015	—	`conf`	A Parameterized Floating-Point Formalizaton in HOL Light. NSV Charles Jacobsen, Alexey Solovyev, Ganesh Gopalakrishnan
2015	—	`conf`	Achieving Formal Parallel Program Debugging by Incentivizing CS/HPC Collaborative Tool Development. SCREAM@HPDC Ganesh Gopalakrishnan, Geof Sawaya
2015	A*	`conf`	GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
2015	—	`conf`	Practical Floating-Point Divergence Detection. LCPC Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric
2015	B	`conf`	Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. FM Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2014	B	`conf`	Efficient search for inputs causing high floating-point errors. PPoPP Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
2014	J	`jnl`	Ovis: A Framework for Visual Analysisof Ocean Forecast Ensembles. IEEE Trans. Vis. Comput. Graph. Thomas Höllt, Ahmed Magdy, Peng Zhan, Guoning Chen, Ganesh Gopalakrishnan, Ibrahim Hoteit, Charles D. Hansen, Markus Hadwiger
2014	A	`conf`	Practical Symbolic Race Checking of GPU Programs. SC Peng Li, Guodong Li, Ganesh Gopalakrishnan
2014	J	`jnl`	Systematic Debugging Methods for Large-Scale HPC Computational Frameworks. Comput. Sci. Eng. Alan Humphrey, Qingyu Meng, Martin Berzins, Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2014	—	`conf`	Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace Graphs. LCPC Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins
2014	—	`conf`	Towards providing low-overhead data race detection for large OpenMP applications. LLVM@SC Joachim Protze, Simone Atzeni, Dong H. Ahn, Martin Schulz, Ganesh Gopalakrishnan, Matthias S. Müller, Ignacio Laguna, Zvonimir Rakamaric, Gregory L. Lee
2014	—	`conf`	Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs. NSV Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric
2013	—	`conf`	Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding. NASA Formal Methods Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamaric
2013	A	`conf`	Hybrid approach for data-flow analysis of MPI programs. ICS Sriram Aananthakrishnan, Greg Bronevetsky, Ganesh Gopalakrishnan
2013	—	`conf`	Overcoming extreme-scale reproducibility challenges through a unified, targeted, and multilevel toolset. SE-HPCCSE@SC Dong H. Ahn, Gregory L. Lee, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Martin Schulz, Ignacio Laguna
2013	—	`conf`	Practical formal correctness checking of million-core problem solving environments for HPC. SE-CSE@ICSE Diego Caminha Barbosa De Oliveira, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Alan Humphrey, Qingyu Meng, Martin Berzins
2013	C	`conf`	Towards Formal Approaches to System Resilience. PRDC Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan
2013	A	`conf`	Towards shared memory consistency models for GPUs. ICS Tyler Sorensen, Ganesh Gopalakrishnan, Vinod Grover
2013	B	`conf`	Visual analysis of uncertainties in ocean forecasts for planning and operation of off-shore structures. PacificVis Thomas Höllt, Ahmed Magdy, Guoning Chen, Ganesh Gopalakrishnan, Ibrahim Hoteit, Charles D. Hansen, Markus Hadwiger
2012	—	`conf`	A Sound Reduction of Persistent-Sets for Deadlock Detection in MPI Applications. SBMF Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
2012	—	`conf`	Abstract: MAPPED: Predictive Dynamic Analysis Tool for MPI Applications. SC Companion Subodh Sharma, Ganesh Gopalakrishnan, Greg Bronevetsky
2012	—	`conf`	Formal Methods for Surviving the Jungle of Heterogeneous Parallelism. IPDPS Workshops Ganesh Gopalakrishnan
2012	B	`conf`	GKLEE: concolic verification and test generation for GPUs. PPoPP Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan
2012	—	`conf`	Parameterized Verification of GPU Kernel Programs. IPDPS Workshops Guodong Li, Ganesh Gopalakrishnan
2012	A	`conf`	Parametric flows: automated behavior equivalencing for symbolic analysis of races in CUDA programs. SC Peng Li, Guodong Li, Ganesh Gopalakrishnan
2012	J	`jnl`	Preface. Formal Methods Syst. Des. Ganesh Gopalakrishnan, Shaz Qadeer
2011	A*	`ed.`	Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings CAV Ganesh Gopalakrishnan, Shaz Qadeer
2011	—	`conf`	Efficient Verification Solutions for Message Passing Systems. IPDPS Workshops Subodh Sharma, Ganesh Gopalakrishnan
2011	B	`conf`	Formal Analysis of Message Passing - (Invited Talk). VMCAI Stephen F. Siegel, Ganesh Gopalakrishnan
2011	J	`jnl`	Formal analysis of MPI-based parallel programs. Commun. ACM Ganesh Gopalakrishnan, Robert M. Kirby, Stephen F. Siegel, Rajeev Thakur, William Gropp, Ewing L. Lusk, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky
2011	J	`jnl`	Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API. Sci. Comput. Program. Guodong Li, Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
2011	B	`conf`	Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update. PACT Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky
2011	A	`conf`	Practical parallel and concurrent programming. SIGCSE Caitlin Sadowski, Thomas Ball, Judith Bishop, Sebastian Burckhardt, Ganesh Gopalakrishnan, Joseph Mayo, Madanlal Musuvathi, Shaz Qadeer, Stephen Toub
2010	A	`conf`	A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. SC Anh Vo, Sriram Aananthakrishnan, Ganesh Gopalakrishnan, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky
2010	B	`conf`	A symbolic verifier for CUDA programs. PPoPP Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Daniel J. Quinlan
2010	J	`jnl`	Distributed dynamic partial order reduction. Int. J. Softw. Tools Technol. Transf. Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
2010	C	`conf`	Dynamic Verification of Hybrid Programs. EuroMPI Wei-Fan Chiang, Grzegorz Szubzda, Ganesh Gopalakrishnan, Rajeev Thakur
2010	J	`jnl`	Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols. Formal Methods Syst. Des. Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou
2010	J	`jnl`	Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking. Softw. Pract. Exp. Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
2010	—	`conf`	GEM: Graphical Explorer of MPI Programs. ICPP Workshops Alan Humphrey, Christopher Derrick, Ganesh Gopalakrishnan, Beth Tibbitts
2010	—	`conf`	GEM: graphical explorer of MPI programs. SOFTVIS Alan Humphrey, Christopher Derrick, Ganesh Gopalakrishnan, Beth R. Tibbitts
2010	C	`conf`	Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs. EuroMPI Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby
2010	—	`conf`	Scalable SMT-based verification of GPU kernel functions. SIGSOFT FSE Guodong Li, Ganesh Gopalakrishnan
2010	—	`conf`	Scalable verification of MPI programs. IPDPS Workshops Anh Vo, Ganesh Gopalakrishnan
2010	—	`conf`	Top ten ways to make formal methods for HPC practical. FoSER Ganesh Gopalakrishnan, Robert M. Kirby
2009	—	`conf`	Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. SPIN Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang
2009	—	`conf`	Dynamic verification of Multicore Communication applications in MCAPI. HLDVT Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer
2009	B	`conf`	Formal verification of practical MPI programs. PPoPP Anh Vo, Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2009	—	`conf`	How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations. PVM/MPI Sriram Aananthakrishnan, Michael Delisi, Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2009	—	`conf`	ISP Tool Update: Scalable MPI Verification. Parallel Tools Workshop Anh Vo, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan
2009	B	`conf`	MCC: A runtime verification tool for MCAPI user applications. FMCAD Subodh Sharma, Ganesh Gopalakrishnan, Eric Mercer, Jim Holt
2009	J	`jnl`	Parallel and distributed model checking in Eddy. Int. J. Softw. Tools Technol. Transf. Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan
2009	—	`conf`	Practical Formal Verification of MPI and Thread Programs. PVM/MPI Ganesh Gopalakrishnan, Robert M. Kirby
2009	—	`ed.`	Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2009, Chicago, Illinois, USA, July 19-20, 2009 PADTAD Ganesh Gopalakrishnan, Eitan Farchi, Eric Mercer
2009	B	`conf`	Reduced Execution Semantics of MPI: From Theory to Practice. FM Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby
2009	—	`conf`	Some resources for teaching concurrency. PADTAD Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni
2009	—	`conf`	Sound and Efficient Dynamic Verification of MPI Programs with Probe Non-determinism. PVM/MPI Anh Vo, Sarvani S. Vakkalanka, Jason Williams, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2009	—	`conf`	Static-Analysis Assisted Dynamic Verification of MPI Waitany Programs (Poster Abstract). PVM/MPI Sarvani S. Vakkalanka, Grzegorz Szubzda, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur
2008	—	`conf`	A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs. PVM/MPI Subodh Sharma, Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
2008	B	`conf`	Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ATVA Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan
2008	A*	`conf`	Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. CAV Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby
2008	—	`conf`	Efficient Stateful Dynamic Partial Order Reduction. SPIN Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
2008	B	`conf`	Formal specification of the MPI-2.0 standard in TLA+. PPoPP Guodong Li, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
2008	B	`conf`	ISP: a tool for model checking MPI programs. PPoPP Sarvani S. Vakkalanka, Subodh Sharma, Ganesh Gopalakrishnan, Robert M. Kirby
2008	—	`conf`	Implementing Efficient Dynamic Formal Verification Methods for MPI Programs. PVM/MPI Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William Gropp
2008	J	`jnl`	Review computation engineering: applied automata theory and logic. SIGACT News Ganesh Gopalakrishnan
2008	A	`conf`	Runtime verification methods for MPI. IPDPS Ganesh Gopalakrishnan, Robert M. Kirby
2008	—	`conf`	Scheduling considerations for building dynamic verification tools for MPI. PADTAD Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
2007	C	`conf`	An Approach to Formalization and Analysis of Message Passing Libraries. FMICS Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby
2007	—	`conf`	Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby
2007	—	`ed.`	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 Festschrift honoring Gary Lindstrom Ganesh Gopalakrishnan
2007	A	`conf`	Formal Analysis for Debugging and Performance Optimization of MPI. IPDPS Ganesh Gopalakrishnan, Robert M. Kirby
2007	—	`conf`	Formal Methods for MPI Programs. Festschrift honoring Gary Lindstrom Ganesh Gopalakrishnan, Robert M. Kirby
2007	—	`conf`	Hierarchical cache coherence protocol verification one level at a time through assume guarantee. HLDVT Xiaofang Chen, Yu Yang, Michael Delisi, Ganesh Gopalakrishnan, Ching-Tsun Chou
2007	—	`conf`	Practical Model-Checking Method for Verifying Correctness of MPI Programs. PVM/MPI Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Robert Palmer, Rajeev Thakur, William Gropp
2007	—	`conf`	Preface. Festschrift honoring Gary Lindstrom Ganesh Gopalakrishnan
2007	—	`ed.`	Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle, WA, USA, August 21-22, 2006 TV@FLoC Ganesh Gopalakrishnan, John O'Leary
2007	—	`conf`	Semantics driven dynamic partial-order reduction of MPI-based parallel programs. PADTAD Robert Palmer, Ganesh Gopalakrishnan, Robert M. Kirby
2007	B	`conf`	Transaction Based Modeling and Verification of Hardware Protocols. FMCAD Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan
2006	—	`book`	Computation engineering - applied automata theory and logic. Ganesh Gopalakrishnan
2006	—	`conf`	Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications. SPIN Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan
2006	—	`conf`	Formal Verification of Programs That Use MPI One-Sided Communication. PVM/MPI Salman Pervez, Ganesh Gopalakrishnan, Robert M. Kirby, Rajeev Thakur, William D. Gropp
2006	—	`conf`	Parallel and Distributed Model Checking in Eddy. SPIN Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan
2006	—	`conf`	Preface. TV@FLoC Ganesh Gopalakrishnan, John O'Leary
2006	B	`conf`	Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. FMCAD Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou
2006	A	`conf`	Toward reliable and efficient message passing software through formal analysis. IPDPS Ganesh Gopalakrishnan, Robert M. Kirby
2005	—	`conf`	Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification. CHARME Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan
2005	—	`conf`	Gauss: A Framework for Verifying Scientific Computing Software. SoftMC@CAV Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby
2005	J	`jnl`	Live sequence charts applied to hardware requirements specification and verification. Int. J. Softw. Tools Technol. Transf. Annette Bunker, Ganesh Gopalakrishnan, Konrad Slind
2005	C	`conf`	On the decidability of shared memory consistency verification. MEMOCODE Ali Sezgin, Ganesh Gopalakrishnan
2005	J	`jnl`	On the definition of sequential consistency. Inf. Process. Lett. Ali Sezgin, Ganesh Gopalakrishnan
2005	—	`conf`	Symbolic Partial Order Reduction for Rule Based Transition Systems. CHARME Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan
2005	J	`jnl`	UMM: an operational memory model specification framework with integrated model checking capability. Concurr. Pract. Exp. Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
2004	J	`jnl`	Formal hardware specification languages for protocol compliance verification. ACM Trans. Design Autom. Electr. Syst. Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee
2004	C	`conf`	Memory-Model-Sensitive Data Race Analysis. ICFEM Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
2004	A	`conf`	Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. IPDPS Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind
2004	A*	`conf`	QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings. CAV Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj
2004	—	`ed.`	Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings TPHOLs Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan
2003	J	`jnl`	A Practical Methodology for Verifying Pipelined Microarchitectures. IEEE Des. Test Comput. Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
2003	—	`conf`	Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. CHARME Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind
2003	J	`jnl`	Formal Verification of a Complex Pipelined Processor. Formal Methods Syst. Des. Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
2003	J	`jnl`	Industrial Practice of Formal Hardware Verification: A Sampling. Formal Methods Syst. Des. Ganesh Gopalakrishnan, Warren A. Hunt Jr.
2003	—	`conf`	Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. PDMC@CAV Hemanthkumar Sivaraj, Ganesh Gopalakrishnan
2002	C	`conf`	A Distributed Partial Order Reduction Algorithm. FORTE Robert Palmer, Ganesh Gopalakrishnan
2002	B	`conf`	A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols. FMCAD Prosenjit Chatterjee, Ganesh Gopalakrishnan
2002	J	`jnl`	An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation. Formal Methods Syst. Des. Ratan Nalumasu, Ganesh Gopalakrishnan
2002	J	`jnl`	Deriving Efficient Cache Coherence Protocols Through Refinement. Formal Methods Syst. Des. Ratan Nalumasu, Ganesh Gopalakrishnan
2002	—	`conf`	FSRC: fair and stable rate control - a TCP-friendly adaptive rate control scheme for packet audio applications. ICON Syam Krishna Babbellapati, Ganesh Gopalakrishnan, T. S. Lamba
2002	—	`conf`	Incremental Proof of the Producer/Consumer Property for the PCI Protocol. ZB Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen
2002	J	`jnl`	Robust rate based congestion control. Comput. Commun. Rev. Ganesh Gopalakrishnan, Sneha Kumar Kasera
2002	A*	`conf`	Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. CAV Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan
2002	—	`conf`	Specifying Java thread semantics using a uniform memory model. Java Grande Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
2001	—	`conf`	Using live sequence charts for hardware protocol specification and compliance verification. HLDVT Annette Bunker, Ganesh Gopalakrishnan
2001	C	`conf`	towards A formal Model of Shared Memory Consistency for Intel Itanium ICCD Prosenjit Chatterjee, Ganesh Gopalakrishnan
2000	A	`conf`	Achieving Fast and Exact Hazard-Free Logic Minimization of Extended Burst-Mode gC Finite State Machines. ICCAD Hans M. Jacobson, Chris J. Myers, Ganesh Gopalakrishnan
2000	J	`jnl`	Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. Formal Methods Syst. Des. Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan
2000	—	`conf`	High-Level Asynchronous System Design Using the ACK Framework. ASYNC Hans M. Jacobson, Erik Brunvand, Ganesh Gopalakrishnan, Prabhakar Kudva
2000	J	`jnl`	Introduction: Formal Methods for CAD: Enabling Technologies and System-level Applications. Formal Methods Syst. Des. Ganesh Gopalakrishnan
2000	—	`conf`	Toward automated abstraction for protocols on branching networks. HLDVT Michael D. Jones, Ganesh Gopalakrishnan
2000	—	`conf`	Verification Methods for Weaker Shared Memory Consistency Models. IPDPS Workshops Rajnish Ghughal, Ganesh Gopalakrishnan
2000	A*	`conf`	Verifying Advanced Microarchitectures that Support Speculation and Exceptions. CAV Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
2000	B	`conf`	Verifying Transaction Ordering Properties in Unbounded Bus Networks through Combined Deductive/Algorithmic Methods. FMCAD Michael D. Jones, Ganesh Gopalakrishnan
1999	—	`conf`	A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer. CHARME Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas
1999	J	`jnl`	Application-specific programmable control for high-performance asynchronous circuits. Proc. IEEE Hans M. Jacobson, Ganesh Gopalakrishnan
1999	J	`jnl`	Corrections To application-specific Programmable Control For High-performance Asynchronous Circuits. Proc. IEEE Hans M. Jacobson, Ganesh Gopalakrishnan
1999	J	`jnl`	Peephole optimization of asynchronous macromodule networks. IEEE Trans. Very Large Scale Integr. Syst. Ganesh Gopalakrishnan, Prabhakar Kudva, Erik Brunvand
1999	J	`jnl`	Timing constraints for high-speed counterflow-clocked pipelining. IEEE Trans. Very Large Scale Integr. Syst. Jae-Tack Yoo, Ganesh Gopalakrishnan, Kent F. Smith
1998	A*	`conf`	Decomposing the Proof of Correctness of pipelined Microprocessors. CAV Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan
1998	—	`conf`	Deriving Efficient Cache Coherence Protocols through Refinement. IPPS/SPDP Workshops Ratan Nalumasu, Ganesh Gopalakrishnan
1998	B	`ed.`	Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings FMCAD Ganesh Gopalakrishnan, Phillip J. Windley
1998	B	`conf`	Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. FMCAD Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan
1998	B	`conf`	PV: An Explicit Enumeration Model-Checker. FMCAD Ratan Nalumasu, Ganesh Gopalakrishnan
1998	A*	`conf`	The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. CAV Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan
1998	B	`conf`	Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. SPAA Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan
1997	J	`jnl`	A fast parallel squarer based on divide-and-conquer. IEEE J. Solid State Circuits Jae-Tack Yoo, Kent F. Smith, Ganesh Gopalakrishnan
1997	—	`conf`	Asynchronous Microengines for Efficient High-level Control. ARVLSI Hans M. Jacobson, Ganesh Gopalakrishnan
1997	—	`conf`	Formal modeling and validation applied to a commercial coherent bus: a case study. CHARME Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu
1996	A*	`conf`	A Technique for Synthesizing Distributed Burst-mode Circuits. DAC Prabhakar Kudva, Ganesh Gopalakrishnan, Hans M. Jacobson
1996	A*	`conf`	Synthesis for Hazard-free Customized CMOS Complex-Gate Networks Under Multiple-Input Changes. DAC Prabhakar Kudva, Ganesh Gopalakrishnan, Hans M. Jacobson, Steven M. Nowick
1995	—	`conf`	High speed counterflow-clocked pipelining illustrated on the design of HDTV subband vector quantizer chips. ARVLSI Jae-Tack Yoo, Ganesh Gopalakrishnan, Kent F. Smith, V. John Mathews
1994	J	`jnl`	A correctness criterion for asynchronous circuit validation and optimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ganesh Gopalakrishnan, Erik Brunvand, Nick Michell, Steven M. Nowick
1994	J	`jnl`	CFSIM: A Concurrent Compiled Code Functional Simulator for hopCP. Int. J. Comput. Simul. Venkatesh Akella, Ganesh Gopalakrishnan
1994	J	`jnl`	Developing Micropipeline Wavefront Arbiters. IEEE Des. Test Comput. Ganesh Gopalakrishnan
1994	J	`jnl`	Efficient symbolic simulation-based verification using the parametric form of Boolean expressions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Prabhat Jain, Ganesh Gopalakrishnan
1994	J	`jnl`	High-level optimizations in compiling process descriptions to asynchronous circuits. J. VLSI Signal Process. Ganesh Gopalakrishnan, Venkatesh Akella
1994	C	`conf`	Peephole Optimization of Asynchronous Macromodule Networks. ICCD Ganesh Gopalakrishnan, Prabhakar Kudva, Erik Brunvand
1994	C	`conf`	Performance Analysis and Optimization of Asynchronous Circuits. ICCD Prabhakar Kudva, Ganesh Gopalakrishnan, Erik Brunvand, Venkatesh Akella
1994	J	`jnl`	Specification and Validation of Control-Intensive IC's in hopCP. IEEE Trans. Software Eng. Venkatesh Akella, Ganesh Gopalakrishnan
1993	—	`conf`	A transformational approach to asynchronous high-level synthesis. VLSI Ganesh Gopalakrishnan, Venkatesh Akella
1993	J	`jnl`	Design and Verification of the Rollback Chip Using HOP: A Case Study of Formal Methods Applied to Hardware design. ACM Trans. Comput. Syst. Ganesh Gopalakrishnan, Richard Fujimoto
1993	J	`jnl`	Guest editors' introduction to the special issue on asynchronous systems. Integr. Ganesh Gopalakrishnan, Erik Brunvand
1993	C	`conf`	Hierarchical Constraint Solving in the Parametric Form with Applications to Efficient Symbolic Simulation Based Verification. ICCD Prabhat Jain, Ganesh Gopalakrishnan
1992	J	`jnl`	Design and Evaluation of the Rollback Chip: Special Purpose Hardware for Time Warp. IEEE Trans. Computers Richard Fujimoto, Jya-Jang Tsai, Ganesh Gopalakrishnan
1992	C	`conf`	Dynamic Reordering of Hgh Latency Transactions Using a Modified a Micropipeline. ICCD Gernot Armin Liebchen, Ganesh Gopalakrishnan
1992	Misc	`conf`	From Process-Oriented Functional Specifications to Efficient Asynchronous Circuits. VLSI Design Venkatesh Akella, Ganesh Gopalakrishnan
1992	A	`conf`	SHILPA: a high-level synthesis system for self-timed circuits. ICCAD Venkatesh Akella, Ganesh Gopalakrishnan
1992	C	`conf`	Some Techniques for Efficient Symbolic Simulation-Based Verification. ICCD Prabhat Jain, Ganesh Gopalakrishnan
1992	A*	`conf`	Towards a Verification Technique for Large Synchronous Circuits. CAV Prabhat Jain, Prabhakar Kudva, Ganesh Gopalakrishnan
1992	J	`jnl`	VLSI asynchronous systems: specification and synthesis. Microprocess. Microsystems Ganesh Gopalakrishnan, Venkatesh Akella
1989	J	`jnl`	HOP: A process model for synchronous hardware; semantics and experiments in process composition. Integr. Ganesh Gopalakrishnan, Richard M. Fujimoto, Venkatesh Akella, Narayana Mani
1989	—	`conf`	Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition. Automatic Verification Methods for Finite State Systems Ganesh Gopalakrishnan, Narayana Mani, Venkatesh Akella
1988	A*	`conf`	Design and Performance of Special Purpose Hardware for Time Warp. ISCA Richard Fujimoto, Jya-Jang Tsai, Ganesh Gopalakrishnan
1988	J	`jnl`	Implementing Functional Programs Using Mutable Abstract Data Types. Inf. Process. Lett. Ganesh Gopalakrishnan, Mandayam K. Srivas
1987	—	`conf`	Synthesizing Synchronous Digital VLSI Controllers Using Petri Nets. PNPM Ganesh Gopalakrishnan