Department of Computer Science
1214 Amsterdam Ave
464 CS Building
Mail Code 0401
New York, NY 10027
[ Publication | Projects | Teaching ]
I am a PhD student advised by Professor Junfeng Yang at Reliable Computer Systems Lab, CS, Columbia. I am interested in systems research, especially using symbolic execution and program analysis techniques to make multi-threaded software more reliable.
I got my bachelor's degree (July 2005) and master's degree (June 2008, advisor is Professor Yong Xiang) on Computer Science from Tsinghua University, Beijing, China.
I was born and grew up at Dianbai, Guangdong, China. I love my hometown (especially fruits and seafood there). In my spare time, I like doing workout, playing basketball, and studying military and international affairs (politics and economics).
Verifying Systems Rules Using Rule-Directed Symbolic Execution
Eighteenth International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS '13), 2013
Sound and Precise Analysis of Parallel Programs through Schedule Specialization
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '12), 2012
Departmental distinguished master's degree at June 2008, CS@Tsinghua.
"Guanghua - Tsinghua's friend" scholarship at 2007, CS@Tsinghua.
and some basketball championships...
TA, RELIABLE SOFTWARE AT FALL 2009, CS@CU. Instructor: Professor Junfeng Yang.
TA, OPERATING SYSTEM AT SPRING 2009, CS@CU. Instructor: Professor Junfeng Yang.
TA, OPERATING SYSTEM AT SPRING 2007, CS@TSINGHUA. Instructor: Professor Yong Xiang.
TA, OPERATING SYSTEM AT SPRING 2006, CS@TSINGHUA. Instructor: Professor Yong Xiang.