Wei-Fan Chiang

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

Moving the Needle on Rigorous Floating-Point Precision Tuning.

[BibT_eX]

[DOI]

Marek S. Baranowski

Ian Briggs

Alexey Solovyev

Proceedings of the Automated Formal Methods, 2017

2016

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

[BibT_eX]

PhD thesis, 2016

2015

The Application of Data Mining Techniques to Oral Cancer Prognosis.

[BibT_eX]

[DOI]

J. Medical Syst., 2015

Practical Floating-Point Divergence Detection.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 2015

2014

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

[BibT_eX]

[DOI]

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

Efficient search for inputs causing high floating-point errors.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Guodong Li

Proceedings of the NASA Formal Methods, 2013

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

[BibT_eX]

[DOI]

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

2010

Dynamic Verification of Hybrid Programs.

[BibT_eX]

[DOI]

Grzegorz Szubzda