Follow
Ganesh Gopalakrishnan
Ganesh Gopalakrishnan
Professor of Computer Science, University of Utah
Verified email at cs.utah.edu - Homepage
Title
Cited by
Cited by
Year
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
2112018
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
1812012
Scalable SMT-based verification of GPU kernel functions
G Li, G Gopalakrishnan
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
1642010
Rigorous floating-point mixed-precision tuning
WF Chiang, M Baranowski, I Briggs, A Solovyev, G Gopalakrishnan, ...
ACM SIGPLAN Notices 52 (1), 300-315, 2017
1622017
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
1482015
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
1222010
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
1202008
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
1201992
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
1162009
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
1102008
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
1072003
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
1052014
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
1052008
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
992011
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
992004
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
982013
SHILPA: A high-level synthesis system for self-timed circuits
Akella, Gopalakrishnan
1992 IEEE/ACM International Conference on Computer-Aided Design, 587-591, 1992
981992
ARCHER: Effectively Spotting Data Races in Large OpenMP Applications
S Atzeni, G Gopalakrishnan, Z Rakamaric, DH Ahn, I Laguna, M Schulz, ...
IPDPS, 2016
912016
Inspect: A runtime model checker for multithreaded C programs
Y Yang, X Chen, G Gopalakrishnan
Technical Report UUCS-08-004, University of Utah, 2008
762008
Decomposing the proof of correctness of pipelined microprocessors
R Hosabettu, M Srivas, G Gopalakrishnan
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
741998
The system can't perform the operation now. Try again later.
Articles 1–20