Seguir
Wei-Fan Chiang
Wei-Fan Chiang
School of Computing, University of Utah
Dirección de correo verificada de cs.utah.edu
Título
Citado por
Citado por
Año
Rigorous floating-point mixed-precision tuning
WF Chiang, M Baranowski, I Briggs, A Solovyev, G Gopalakrishnan, ...
ACM SIGPLAN Notices 52 (1), 300-315, 2017
1542017
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
1002014
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
642013
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
302013
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
202013
Practical floating-point divergence detection
WF Chiang, G Gopalakrishnan, Z Rakamarić
International Workshop on Languages and Compilers for Parallel Computing …, 2015
102015
Dynamic verification of hybrid programs
WF Chiang, G Szubzda, G Gopalakrishnan, R Thakur
European MPI Users' Group Meeting, 298-301, 2010
62010
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
52018
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
22015
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15