Wei-Fan Chiang

According to our database, Wei-Fan Chiang authored at least 10 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Rigorous floating-point mixed-precision tuning.

Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Moving the Needle on Rigorous Floating-Point Precision Tuning.

Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev

Proceedings of the Automated Formal Methods, 2017

2016

Efficient Floating-Point Error Testing and Rigorous Mixed Precision Tuning.

Wei-Fan Chiang

PhD thesis, 2016

2015

The Application of Data Mining Techniques to Oral Cancer Prognosis.

Wan-Ting Tseng, Wei-Fan Chiang, Shyun-Yeu Liu, Jinsheng Roan, Chun-Nan Lin

J. Medical Syst., 2015

Practical Floating-Point Divergence Detection.

Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric

Proceedings of the Languages and Compilers for Parallel Computing, 2015

2014

Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs.

Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2014

Efficient search for inputs causing high floating-point errors.

Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

2013

Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding.

Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamaric

Proceedings of the NASA Formal Methods, 2013

JST: an automatic test generation tool for industrial Java applications with strings.

Indradeep Ghosh, Nastaran Shafiei, Guodong Li, Wei-Fan Chiang

Proceedings of the 35th International Conference on Software Engineering, 2013

2010

Dynamic Verification of Hybrid Programs.

Wei-Fan Chiang, Grzegorz Szubzda, Ganesh Gopalakrishnan, Rajeev Thakur

Proceedings of the Recent Advances in the Message Passing Interface, 2010