Travelled to:2 × USA
Collaborated with:G.Gopalakrishnan Z.Rakamaric A.Solovyev I.Ghosh N.Shafiei G.Li Mark Baranowski Ian Briggs
Talks about:point (2) float (2) industri (1) generat (1) automat (1) string (1) search (1) precis (1) effici (1) applic (1)
Person: Wei-Fan Chiang
DBLP: Chiang:Wei=Fan
Contributed to:
2014
2013
2017Wrote 3 papers:
- PPoPP-2014-ChiangGRS #fault #float #performance
- Efficient search for inputs causing high floating-point errors (WFC, GG, ZR, AS), pp. 43–52.
- ICSE-2013-GhoshSLC #automation #generative #industrial #java #named #string #testing
- JST: an automatic test generation tool for industrial Java applications with strings (IG, NS, GL, WFC), pp. 992–1001.
- POPL-2017-ChiangBBSGR #float
- Rigorous floating-point mixed-precision tuning (WFC, MB, IB, AS, GG, ZR), pp. 300–315.