| Rigorous floating-point mixed-precision tuning WF Chiang, M Baranowski, I Briggs, A Solovyev, G Gopalakrishnan, ... ACM SIGPLAN Notices 52 (1), 300-315, 2017 | 164 | 2017 |
| 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 | 109 | 2014 |
| JST: An automatic test generation tool for industrial Java applications with strings I Ghosh, N Shafiei, G Li, WF Chiang 2013 35th International Conference on Software Engineering (ICSE), 992-1001, 2013 | 67 | 2013 |
| Determinism and reproducibility in large-scale HPC systems WF Chiang, G Gopalakrishnan, Z Rakamaric, DH Ahn, GL Lee Workshop on Determinism and Correctness in Parallel Programming (WoDet), 2013 | 30 | 2013 |
| Formal analysis of GPU programs with atomics via conflict-directed delay-bounding WF Chiang, G Gopalakrishnan, G Li, Z Rakamarić NASA Formal Methods Symposium, 213-228, 2013 | 22 | 2013 |
| Practical floating-point divergence detection WF Chiang, G Gopalakrishnan, Z Rakamarić International Workshop on Languages and Compilers for Parallel Computing …, 2015 | 10 | 2015 |
| Dynamic verification of hybrid programs WF Chiang, G Szubzda, G Gopalakrishnan, R Thakur European MPI Users' Group Meeting, 298-301, 2010 | 6 | 2010 |
| Moving the Needle on Rigorous Floating-Point Precision Tuning M Baranowski, I Briggs, WF Chiang, G Gopalakrishnan, Z Rakamaric, ... Kalpa Publications in Computing 5, 2018 | 5 | 2018 |
| Unsafe floating-point to unsigned integer casting check for GPU programs WF Chiang, G Gopalakrishnan, Z Rakamarić Electronic Notes in Theoretical Computer Science 317, 33-45, 2015 | 2 | 2015 |
| Efficient floating-point error testing and rigorous mixed precision tuning WF Chiang The University of Utah, 2016 | | 2016 |
| Heuristics for efficient dynamic verification of message passing interface and thread programs WF Chiang The University of Utah, 2011 | | 2011 |
| Case Study: Using Inspect to Verify and fix bugs in a Work Stealing Deque Simulator WF Chiang | | |
| Bottleneck Analysis on HTM Systems BW Chong, WF Chiang, N Chatterjee, R Balasubramonian, A Davis | | |
| Floating-point Robustness Estimation by Concrete Testing WF Chiang, G Gopalakrishnan, Z Rakamaric | | |
| EFFICIENT FORMAL VERIFICATION OF CUDASIMDAND ATOMICS W CHIANG, G LI, G GOPALAKRISHNAN | | |
Ganesh GopalakrishnanProfessor of Computer Science, University of Utah在 cs.utah.edu 的电子邮件经过验证
