Ganesh Gopalakrishnan
Ganesh Gopalakrishnan
Professor of Computer Science, University of Utah
Verified email at - Homepage
Cited by
Cited by
Rigorous estimation of floating-point round-off errors with symbolic taylor expansions
A Solovyev, MS Baranowski, I Briggs, C Jacobsen, Z Rakamarić, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (1), 1-39, 2018
GKLEE: concolic verification and test generation for GPUs
G Li, P Li, G Sawaya, G Gopalakrishnan, I Ghosh, SP Rajan
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of …, 2012
Scalable SMT-based verification of GPU kernel functions
G Li, G Gopalakrishnan
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
Rigorous floating-point mixed-precision tuning
WF Chiang, M Baranowski, I Briggs, A Solovyev, G Gopalakrishnan, ...
ACM SIGPLAN Notices 52 (1), 300-315, 2017
GPU concurrency: Weak behaviours and programming assumptions
J Alglave, M Batty, AF Donaldson, G Gopalakrishnan, J Ketema, D Poetzl, ...
ACM SIGARCH Computer Architecture News 43 (1), 577-591, 2015
A scalable and distributed dynamic formal verifier for MPI programs
A Vo, S Aananthakrishnan, G Gopalakrishnan, BR De Supinski, M Schulz, ...
SC'10: Proceedings of the 2010 ACM/IEEE International Conference for High …, 2010
Design and evaluation of the rollback chip: Special purpose hardware for Time Warp
RM Fujimoto, JJ Tsai, GC Gopalakrishnan
IEEE Transactions on Computers 41 (01), 68-82, 1992
ISP: a tool for model checking MPI programs
SS Vakkalanka, S Sharma, G Gopalakrishnan, RM Kirby
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of …, 2008
Formal verification of practical MPI programs
A Vo, S Vakkalanka, M DeLisi, G Gopalakrishnan, RM Kirby, R Thakur
ACM Sigplan Notices 44 (4), 261-270, 2009
Efficient stateful dynamic partial order reduction
Y Yang, X Chen, G Gopalakrishnan, RM Kirby
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA …, 2008
Random walk based heuristic algorithms for distributed memory model checking
H Sivaraj, G Gopalakrishnan
Electronic Notes in Theoretical Computer Science 89 (1), 51-67, 2003
Efficient search for inputs causing high floating-point errors
WF Chiang, G Gopalakrishnan, Z Rakamaric, A Solovyev
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of …, 2014
Dynamic verification of MPI programs with reductions in presence of split operations and relaxed orderings
S Vakkalanka, G Gopalakrishnan, RM Kirby
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
Nemos: A framework for axiomatic and executable specifications of memory consistency models
Y Yang, G Gopalakrishnan, G Lindstrom, K Slind
18th International Parallel and Distributed Processing Symposium, 2004 …, 2004
Towards formal approaches to system resilience
VC Sharma, A Haran, Z Rakamaric, G Gopalakrishnan
2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing …, 2013
Formal analysis of MPI-based parallel programs
G Gopalakrishnan, RM Kirby, S Siegel, R Thakur, W Gropp, E Lusk, ...
Communications of the ACM 54 (12), 82-91, 2011
SHILPA: A high-level synthesis system for self-timed circuits
Akella, Gopalakrishnan
1992 IEEE/ACM International Conference on Computer-Aided Design, 587-591, 1992
ARCHER: Effectively Spotting Data Races in Large OpenMP Applications
S Atzeni, G Gopalakrishnan, Z Rakamaric, DH Ahn, I Laguna, M Schulz, ...
IPDPS, 2016
Inspect: A runtime model checker for multithreaded C programs
Y Yang, X Chen, G Gopalakrishnan
Technical Report UUCS-08-004, University of Utah, 2008
Decomposing the proof of correctness of pipelined microprocessors
R Hosabettu, M Srivas, G Gopalakrishnan
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
The system can't perform the operation now. Try again later.
Articles 1–20