Ganesh Gopalakrishnan

Follow

Generating author description...

All published works
Action Title Year Authors
+ PDF Chat FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions 2024 Taylor Allred
Xinyi Li
Ashton Wiersdorf
Ben Greenman
Ganesh Gopalakrishnan
+ FTTN: Feature-Targeted Testing for Numerical Properties of NVIDIA & AMD Matrix Accelerators 2024 Xinyi Li
Ang Li
Bo Fang
Katarzyna ƚwirydowicz
Ignacio Laguna
Ganesh Gopalakrishnan
+ HiRace: Accurate and Fast Source-Level Race Checking of GPU Programs 2024 John T. Jacobson
Martin Burtscher
Ganesh Gopalakrishnan
+ A GPU accelerated mixed-precision Smoothed Particle Hydrodynamics framework with cell-based relative coordinates 2024 Zirui Mao
Xinyi Li
Shenyang Hu
Ganesh Gopalakrishnan
Ang Li
+ PDF Chat Efficient linearizability checking for actor‐based systems 2023 Mohammed S. Al‐Mahfoudh
Ryan Stutsman
Ganesh Gopalakrishnan
+ MPGemmFI: A Fault Injection Technique for Mixed Precision GEMM in ML Applications 2023 Bo Fang
Xinyi Li
Harvey Dam
Cheng Tan
Siva Kumar Sastry Hari
Timothy Tsai
Ignacio Laguna
Dingwen Tao
Ganesh Gopalakrishnan
Prashant Nair
+ Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL 2023 Maya Gokhale
Ganesh Gopalakrishnan
Jackson Mayo
Santosh Nagarakatte
Cindy Rubio-GonzĂĄlez
Stephen F. Siegel
+ Automated Dynamic Concurrency Analysis for Go 2021 Saeed Taheri
Ganesh Gopalakrishnan
+ A Programmable Approach to Neural Network Compression 2020 V. Roshan Joseph
Ganesh Gopalakrishnan
Saurav Muralidharan
Michael Garland
Animesh Garg
+ FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation 2020 Arnab Das
Sriram Krishnamoorthy
Ian Briggs
Ganesh Gopalakrishnan
Ramakrishna Tipireddy
+ An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis 2020 Arnab Das
Ian Briggs
Ganesh Gopalakrishnan
Sriram Krishnamoorthy
+ Message Scheduling for Performant, Many-Core Belief Propagation 2019 Mark Van der Merwe
V. Roshan Joseph
Ganesh Gopalakrishnan
+ PDF Chat Message Scheduling for Performant, Many-Core Belief Propagation 2019 Mark Van der Merwe
V. Roshan Joseph
Ganesh Gopalakrishnan
+ Multi-Level Analysis of Compiler-Induced Variability and Performance Tradeoffs 2019 Michael Bentley
Ian Briggs
Ganesh Gopalakrishnan
Dong H. Ahn
Ignacio Laguna
Gregory L. Lee
Holger E. Jones
+ Message Scheduling for Performant, Many-Core Belief Propagation 2019 Mark Van der Merwe
V. Roshan Joseph
Ganesh Gopalakrishnan
+ Sparse Matrix Code Dependence Analysis Simplification at Compile Time 2018 Mahdi Soltan Mohammadi
Kazem Cheshmi
Ganesh Gopalakrishnan
Mary Hall
Maryam Mehri Dehnavi
Anand Venkat
Tomofumi Yuki
Michelle Mills Strout
+ An Operational Semantic Basis for OpenMP Race Analysis 2017 Simone Atzeni
Ganesh Gopalakrishnan
+ PDF Chat PRESAGE: Protecting Structured Address Generation against Soft Errors 2016 Vishal Chandra Sharma
Ganesh Gopalakrishnan
Sriram Krishnamoorthy
+ PRESAGE: Protecting Structured Address Generation against Soft Errors 2016 Vishal Chandra Sharma
Ganesh Gopalakrishnan
Sriram Krishnamoorthy
+ Distributed dynamic partial order reduction 2010 Yu Yang
Xiaofang Chen
Ganesh Gopalakrishnan
Robert M. Kirby
Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ PDF Chat Sufficient Conditions for Convergence of the Sum–Product Algorithm 2007 Joris M. Mooij
Hilbert J. Kappen
2
+ PDF Chat Sound compilation of reals 2014 Eva DarulovĂĄ
Viktor Kunčak
2
+ Randomized selection on the GPU 2011 Laura Monroe
Joanne Wendelberger
Sarah Michalak
2
+ Graph Partition Neural Networks for Semi-Supervised Classification 2018 Renjie Liao
Marc Brockschmidt
Daniel Tarlow
Alexander L. Gaunt
Raquel Urtasun
Richard S. Zemel
2
+ Loopy belief propagation for approximate inference: an empirical study 1999 Kevin P. Murphy
Yair Weiss
Michael I. Jordan
2
+ Faster Linearizability Checking via P-Compositionality 2015 Alex Horn
Daniel Kroening
1
+ Application of Bayesian approach to numerical methods of global and stochastic optimization 1994 Audris Mockus
1
+ PDF Chat Exploiting data representation for fault tolerance 2016 James M. Elliott
Mark Frederick Hoemmen
Frank Mueller
1
+ An Introduction to Affine Arithmetic 2003 Jorge Stolfi
Luiz Henrique de Figueiredo
1
+ PDF Chat Highly Parallel Sparse Cholesky Factorization 1992 John R. Gilbert
Robert Schreiber
1
+ PDF Chat On predictive modeling for optimizing transaction execution in parallel OLTP systems 2011 Andrew Pavlo
Evan P. C. Jones
Stanley B. Zdonik
1
+ High-Order Curvilinear Finite Element Methods for Lagrangian Hydrodynamics 2012 Veselin Dobrev
Tzanio Kolev
Robert N. Rieben
1
+ Parallel ICCG on a hierarchical memory multiprocessor — Addressing the triangular solve bottleneck 1992 Edward Rothberg
Anoop Gupta
1
+ A Tutorial on Bayesian Optimization of Expensive Cost Functions, with Application to Active User Modeling and Hierarchical Reinforcement Learning 2010 Eric Brochu
Vlad M. Cora
Nando de Freitas
1
+ Numerical Issues in Statistical Computing for the Social Scientist 2005 Frauke Kreuter
1
+ The Numerical Reliability of Econometric Software 1999 B. D. McCullough
Hrishikesh D. Vinod
1
+ Practical Bayesian Optimization of Machine Learning Algorithms 2012 Jasper Snoek
Hugo Larochelle
Ryan P. Adams
1
+ Speeding-up Convolutional Neural Networks Using Fine-tuned CP-Decomposition 2014 Vadim Lebedev
Yaroslav Ganin
Maksim Rakhuba
Ivan Oseledets
Victor Lempitsky
1
+ PDF Chat Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program 2012 Sylvie Boldo
François Clément
Jean-Christophe FilliĂątre
Micaela Mayero
Guillaume Melquiond
Pierre Weis
1
+ Exploiting Linear Structure Within Convolutional Networks for Efficient Evaluation 2014 Emily Denton
Wojciech Zaremba
Joan Bruna
Yann LeCun
Rob Fergus
1
+ MXNet: A Flexible and Efficient Machine Learning Library for Heterogeneous Distributed Systems 2015 Tianqi Chen
Mu Li
Yutian Li
Min Lin
Naiyan Wang
Minjie Wang
Tianjun Xiao
Bing Xu
Chiyuan Zhang
Zheng Zhang
1
+ PDF Chat Deep Residual Learning for Image Recognition 2016 Kaiming He
Xiangyu Zhang
Shaoqing Ren
Jian Sun
1
+ PDF Chat Hoare-style specifications as correctness conditions for non-linearizable concurrent objects 2016 Ilya Sergey
Aleksandar Nanevski
Anindya Banerjee
Germån Andrés Delbianco
1
+ PDF Chat Certified Roundoff Error Bounds Using Semidefinite Programming 2017 Victor Magron
George A. Constantinides
Alastair F. Donaldson
1
+ Reduced Precision Checking to Detect Errors in Floating Point Arithmetic 2015 Yaqi Zhang
Ralph Nathan
Daniel J. Sorin
1
+ How to Make Chord Correct (Using a Stable Base). 2015 Pamela Zave
1
+ Practical bayesian optimization 2008 Daniel J. Lizotte
1
+ Network Trimming: A Data-Driven Neuron Pruning Approach towards Efficient Deep Architectures 2016 Hengyuan Hu
Rui Tao Peng
Yu‐Wing Tai
Chi-Keung Tang
1
+ PDF Chat Static Trace-Based Deadlock Analysis for Synchronous Mini-Go 2016 Kai StadtmĂŒller
Martin Sulzmann
Peter Thiemann
1
+ Pruning Filters for Efficient ConvNets 2016 Hao Li
Asim Kadav
Igor Đurđanović
Hanan Samet
Hans Peter Graf
1
+ Pointer Sentinel Mixture Models 2016 Stephen Merity
Caiming Xiong
James Bradbury
Richard Socher
1
+ Compact Deep Convolutional Neural Networks With Coarse Pruning. 2016 Sajid Anwar
Wonyong Sung
1
+ Trained Ternary Quantization 2016 Chenzhuo Zhu
Song Han
Huizi Mao
William J. Dally
1
+ PDF Chat More is Less: A More Complicated Network with Less Inference Complexity 2017 Xuanyi Dong
Junshi Huang
Yi Yang
Shuicheng Yan
1
+ Pruning Convolutional Neural Networks for Resource Efficient Inference 2016 Pavlo Molchanov
Stephen Tyree
Tero Karras
Timo Aila
Jan Kautz
1
+ Checking Linearizability of Concurrent Priority Queues 2017 Ahmed Bouajjani
Constantin Enea
Chao Wang
1
+ Model compression as constrained optimization, with application to neural nets. Part I: general framework 2017 Miguel Á. Carreira-Perpiñån
1
+ Tolerating Soft Errors in Processor Cores Using CLEAR (Cross-Layer Exploration for Architecting Resilience) 2017 Eric Cheng
Shahrzad Mirkhani
Lukasz G. Szafaryn
Chen-Yong Cher
Hyungmin Cho
Kevin Skadron
Mircea R. Stan
K. Lilja
Jacob A. Abraham
Pradip Bose
1
+ CondenseNet: An Efficient DenseNet using Learned Group Convolutions 2017 Gao Huang
Shichen Liu
Laurens van der Maaten
Kilian Q. Weinberger
1
+ Just-Right Consistency: reconciling availability and safety 2018 Marc Shapiro
Annette Bieniusa
Nuno Preguiça
Valter Balegas
Christopher Meiklejohn
1
+ The Lottery Ticket Hypothesis: Training Pruned Neural Networks. 2018 Jonathan Frankle
Michael Carbin
1
+ The Lottery Ticket Hypothesis: Finding Sparse, Trainable Neural Networks 2018 Jonathan Frankle
Michael Carbin
1
+ PDF Chat Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks 2018 Martin Sulzmann
Kai StadtmĂŒller
1
+ ADAM-ADMM: A Unified, Systematic Framework of Structured Weight Pruning for DNNs. 2018 Tianyun Zhang
Kaiqi Zhang
Shaokai Ye
Jiayu Li
Jian Tang
Wujie Wen
Xue Lin
Makan Fardad
Yanzhi Wang
1
+ PDF Chat AMC: AutoML for Model Compression and Acceleration on Mobile Devices 2018 Yihui He
Ji Lin
Zhijian Liu
Hanrui Wang
Li-Jia Li
Song Han
1
+ Progressive Deep Neural Networks Acceleration via Soft Filter Pruning 2018 Yang He
Xuanyi Dong
Guoliang Kang
Yanwei Fu
Yi Yang
1
+ PDF Chat A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4 2018 Heiko Becker
Nikita Zyuzin
Raphaël Monat
Eva DarulovĂĄ
Magnus O. Myreen
Anthony Fox
1
+ Making root cause analysis feasible for large code bases: a solution approach for a climate model 2018 Daniel J. Milroy
Allison H. Baker
Dorit Hammerling
Youngsung Kim
Elizabeth R. Jessup
Thomas HĂ€user
1
+ Playing the lottery with rewards and multiple languages: lottery tickets in RL and NLP 2019 Haonan Yu
Sergey Edunov
Yuandong Tian
Ari S. Morcos
1
+ AMC: AutoML for Model Compression and Acceleration on Mobile Devices 2018 Yihui He
Ji Lin
Zhijian Liu
Hanrui Wang
Li-Jia Li
Song Han
1