Aoubt me
I am now on my third year of Ph.D program in the Department of Computer Science, North Carolina State University under advising of Dr. Emerson Murphy-Hill. My research
interest right now focus on Software Engineering. I received my bechelor's
degree from the School of Software, Nankai University, under the advise of
Shusong Xing. My resume is avaible here.
Research project
[1] Reconciling Manual and Automatic Refactoring [demo] [project] [study]
Althogh manual refactoring is labor-intensive and error-prone, exisiting refactoring tools are still underused. In this project, we seek to design a new tool that embeds seamlessly into developers' manual refactoring workflow to enhance refactoring tool's usability.
[2] DyTa: Dynamic Symbolic Execution Guided by Static
Verification Result [demo]
[project]
Static verification is inaccurate, and dynamic test generation is heavy. In this project, we seek to come up a way to combine these two techniques to take the advantage of both.
Publications
[1] Xi Ge, Emerson Murphy-Hill. BeneFactor: a Flexible Refactoring Tool for Eclipse. In Companion of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2011), Demonstration, Portland, Oregon, October 2011. [local PDF]
[2] Xi Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann. DyTa: Dynamic Symbolic Execution Guided with Static Verification Results. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Demonstration, Honolulu, Hawaii, May 2011. [local PDF]