Guoqing (Harry) Xu    Ph.D Student, 2005 Sept. - 2011 June (expected)    Department of Computer Science & Engineering    The Ohio State University, Columbus, Ohio    xug at cse dot ohio-state dot edu   http://www.cse.ohio-state.edu/~xug

My primary research interests are static and dynamic program analyses for compiler optimization and software engineering tasks. In particular, my static analysis interests include pointer analysis, control flow/data flow analysis, and abstract interpretation, while my dynamic analysis interests include just-in-time compilation, dynamic optimization for large (framework-intensive) applications, and parallelism for multicore systems.

I have been working with Dr. Atanas Rountev since 2005. . Prior to joining Ohio State, I received both my M.S. and B.S. with distinction in Computer Science from East China Normal University, Shanghai, P. R. China. Both my M.Eng. thesis and my undergraduate thesis won best (Master and Undergraduate) thesis awards of the year in the Computer Science Deparment, ECNU.

Invited presentation on Java memory leak detection at ISEC'09.

Industrial Research

• Research Intern, Intelligent Application Analysis Group, IBM T.J.Watson Research , Hawthorne, NY, June 09-

• Research Intern, Dynamic Optimization Group, IBM T.J.Watson Research , Hawthorne, NY, June 08- June 09

• Regular employee, IBM China Labs, Beijing, China, 2005

Professional

• Publications 

• Curriculum Vitae

• Software Engineering and Programing Language related:
  SE/PL Academic Genealogy | SE/PL Conferences and Journals
  Software Engineering Readings | SE Awards | SE/PL Researchers

Recent Publications (Here is a complete list)

1. Static and dynamic approaches for Java runtime bloat detection and optimization:

   • Xu, Arnold, Mitchell, Rountev, Sevitsky, Go with the Flow: Profiling Copies to Find Runtime Bloat (PLDI'09) 21%
   • Xu, Rountev Precise Memory Leak Detection for Java Software using Container Profiling (ICSE'08) 15%, Winner of ACM SIGSOFT Distinguished Paper Award

2. Scalable pointer and dataflow analysis:

   • Xu, Rountev, Sridharan, Scaling CFL-Reachability-Based Points-to Analysis Using Context-Sensitive Must-Not-Alias Analysis (ECOOP'09) (Soundness proof)21%
   • Xu, Rountev Merging Equivalent Contexts for Scalable Heap-cloning-based Context-Sensitive Points-to Analysis (ISSTA'08) 26%
   • Rountev, Sharp, Xu IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries (CC'08) 25%

3. Control and data flow analysis for AspectJ software:

   • Xu, Rountev AJANA: A General Framework for Source-Code-Level Interprocedural Dataflow Analysis of AspectJ Software (AOSD'08) 20%
   • Xu, Rountev, Regression Test Selection for AspectJ Software, (ICSE 07) 15%, Nominated for an ACM SIGSOFT distinguished paper award

4. Checkpointing of Java software at the application level:

   • Xu, Rountev, Tang, Qin, Efficient Checkpointing of Java Software Using Context Sensitive Capture and Replay (FSE'07) 17%

Released Tools

• AJANA: A framework for source-code-level analysis of AspectJ software