Ganesh Gopalakrishnan
Ganesh Gopalakrishnan
Professor of Computer Science, University of Utah
Dirección de correo verificada de cs.utah.edu - Página principal
Título
Citado por
Citado por
Año
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
1352012
Scalable SMT-based verification of GPU kernel functions
G Li, G Gopalakrishnan
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
1272010
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
1102009
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
1072010
Design and evaluation of the rollback chip: Special purpose hardware for time warp
RM Fujimoto, JJ Tsai, GC Gopalakrishnan
IEEE Transactions on Computers, 68-82, 1992
1071992
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
1062018
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
1052015
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
982008
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
972008
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
902008
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
872004
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
852003
SHILPA: A high-level synthesis system for self-timed circuits
V Akella, G Gopalakrishnan
ICCAD, 587-591, 1992
841992
Rigorous floating-point mixed-precision tuning
WF Chiang, M Baranowski, I Briggs, A Solovyev, G Gopalakrishnan, ...
ACM SIGPLAN Notices 52 (1), 300-315, 2017
802017
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
772013
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
772011
Decomposing the proof of correctness of pipelined microprocessors
R Hosabettu, M Srivas, G Gopalakrishnan
International Conference on Computer Aided Verification, 122-134, 1998
721998
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
701999
A fast parallel squarer based on divide-and-conquer
JT Yoo, KF Smith, G Gopalakrishnan
IEEE Journal of Solid-State Circuits 32 (6), 909-912, 1997
681997
Inspect: A runtime model checker for multithreaded C programs
Y Yang, X Chen, G Gopalakrishnan
Technical Report UUCS-08-004, University of Utah, 2008
672008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20