| 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 | 212 | 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 | 182 | 2012 |
| Scalable SMT-based verification of GPU kernel functions G Li, G Gopalakrishnan Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 164 | 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 | 162 | 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 | 150 | 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 | 127 | 2010 |
| 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 | 123 | 2008 |
| 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 | 120 | 1992 |
| 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 | 117 | 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 | 110 | 2008 |
| 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 | 107 | 2014 |
| 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 | 107 | 2003 |
| 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 | 106 | 2008 |
| 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 | 101 | 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 | 99 | 2013 |
| 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 | 99 | 2004 |
| SHILPA: A high-level synthesis system for self-timed circuits Akella, Gopalakrishnan 1992 IEEE/ACM International Conference on Computer-Aided Design, 587-591, 1992 | 98 | 1992 |
| ARCHER: Effectively Spotting Data Races in Large OpenMP Applications S Atzeni, G Gopalakrishnan, Z Rakamaric, DH Ahn, I Laguna, M Schulz, ... IPDPS, 2016 | 95 | 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 | 76 | 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 | 75 | 1998 |
Robert M. Kirby OR R.M. KirbySchool of Computing, University of Utah在 cs.utah.edu 的电子邮件经过验证
