Zhoulai Fu

Registered user since Fri 21 Aug 2015

Name:Zhoulai Fu
Affiliation:University of California at Davis, USA
Personal website:http://www.zhoulaifu.com
Research interests:Abstract Interpretation, Static/Dynamic Program Analysis, Semantics of Numerical Code, Automated testing


SPLASH 2015 Automated Backward Error Analysis for Numerical Code
Show activities from other conferences

SPLASH 2015-profile
View general profile