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
Contributions
SPLASH 2015-profile
View general profile
View general profile