Dynamic Verification of Hybrid Programs. - Wei-Fan Chiang; Grzegorz Szubzda; Ganesh Gopalakrishnan; Rajeev Thakur (EuroMPI, 2010)

JST: an automatic test generation tool for industrial Java applications with strings. - Indradeep Ghosh; Nastaran Shafiei; Guodong Li; Wei-Fan Chiang (ICSE, 2013)

Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding. - Wei-Fan Chiang; Ganesh Gopalakrishnan; Guodong Li; Zvonimir Rakamaric (NASA Formal Methods, 2013)

Efficient search for inputs causing high floating-point errors. - Wei-Fan Chiang; Ganesh Gopalakrishnan; Zvonimir Rakamaric; Alexey Solovyev (PPoPP, 2014)

Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs. - Wei-Fan Chiang; Ganesh Gopalakrishnan; Zvonimir Rakamaric (NSV, 2014)

Practical Floating-Point Divergence Detection. - Wei-Fan Chiang; Ganesh Gopalakrishnan; Zvonimir Rakamaric (LCPC, 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)

Efficient Floating-Point Error Testing and Rigorous Mixed Precision Tuning. - Wei-Fan Chiang (2016)

Moving the Needle on Rigorous Floating-Point Precision Tuning. - Marek S. Baranowski; Ian Briggs; Wei-Fan Chiang; Ganesh Gopalakrishnan; Zvonimir Rakamaric; Alexey Solovyev (AFM@NFM, 2017)

Rigorous floating-point mixed-precision tuning. - Wei-Fan Chiang; Mark Baranowski; Ian Briggs; Alexey Solovyev; Ganesh Gopalakrishnan; Zvonimir Rakamaric (POPL, 2017)