Wei-Fan Chiang

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 5

Top Topics

Efficient Search

Formal Analysis

Sparse Matrices

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Wei-Fan Chiang, Mark Baranowski, Ian Briggs, Alexey Solovyev, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Rigorous floating-point mixed-precision tuning. POPL (2017)
Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
Moving the Needle on Rigorous Floating-Point Precision Tuning. AFM@NFM (2017)
Wan-Ting Tseng, Wei-Fan Chiang, Shyun-Yeu Liu, Jinsheng Roan, Chun-Nan Lin
The Application of Data Mining Techniques to Oral Cancer Prognosis. J. Medical Syst. 39 (5) (2015)
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs. Electron. Notes Theor. Comput. Sci. 317 (2015)
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Practical Floating-Point Divergence Detection. LCPC (2015)
Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
Efficient search for inputs causing high floating-point errors. PPOPP (2014)
Indradeep Ghosh, Nastaran Shafiei, Guodong Li, Wei-Fan Chiang
JST: an automatic test generation tool for industrial Java applications with strings. ICSE (2013)
Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamaric
Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding. NASA Formal Methods (2013)
Wei-Fan Chiang, Grzegorz Szubzda, Ganesh Gopalakrishnan, Rajeev Thakur
Dynamic Verification of Hybrid Programs. EuroMPI (2010)