I am a fourth year Ph.D. candidate in Computer Science Department at University of California, Los Angeles. I am designing testing and program synthesis method for big data analytic and FPGA. I am a member of SOLAR group and co-advised by Professor Miryung Kim and Professor Harry Xu. Also, I’m very lucky to work with Qian Zhang, a Tenure-Track Assistant Professor in Computer Science and Engineering at University of California, Riverside.