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 in the Software Systems Lab, CS, Columbia. I am interested in systems research, especially applying formal program analysis techniques to improve reliability and security of systems software.
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).
Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading
Communications of the ACM (2014)
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.