Ganesh Gopalakrishnan
Ganesh Gopalakrishnan
Professor of Computer Science, University of Utah
Verified email at - Homepage
Cited by
Cited by
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 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
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
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
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 Computer Architecture Letters 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
Efficient stateful dynamic partial order reduction
Y Yang, X Chen, G Gopalakrishnan, RM Kirby
International SPIN Workshop on Model Checking of Software, 288-305, 2008
Rigorous floating-point mixed-precision tuning
WF Chiang, M Baranowski, I Briggs, A Solovyev, G Gopalakrishnan, ...
ACM SIGPLAN Notices 52 (1), 300-315, 2017
Dynamic verification of MPI programs with reductions in presence of split operations and relaxed orderings
S Vakkalanka, G Gopalakrishnan, RM Kirby
International Conference on Computer Aided Verification, 66-79, 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
SHILPA: A high-level synthesis system for self-timed circuits
V Akella, G Gopalakrishnan
ICCAD, 587-591, 1992
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
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
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
Decomposing the proof of correctness of pipelined microprocessors
R Hosabettu, M Srivas, G Gopalakrishnan
International Conference on Computer Aided Verification, 122-134, 1998
CIVL: the concurrency intermediate verification language
SF Siegel, M Zheng, Z Luo, TK Zirkel, AV Marianiello, JG Edenhofner, ...
SC'15: Proceedings of the International Conference for High Performance …, 2015
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
Proof of correctness of a processor with reorder buffer using the completion functions approach
R Hosabettu, M Srivas, G Gopalakrishnan
International Conference on Computer Aided Verification, 47-59, 1999
The system can't perform the operation now. Try again later.
Articles 1–20