# Harry Xu

PROFESSOR
COMPUTER SCIENCE

Engineering VI - Room 496A

Email: harryxu@cs.ucla.edu
Phone: (310) 794-7145
Fax: (310) 794-5057

Websites

- Harry Xu

##### RESEARCH AND INTERESTS

- Software engineering
- Programming languages and compilers
- Runtime operating distributed systems
- Computer architecture

##### NOTABLE PUBLICATIONS

Copyright notice: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

2019:

SOSP'19 | Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, and Haibo Lin, "Niijima: Sound and Automated Computation Consolidation for Efficient Multilingual Data-Parallel Pipelines", ACM SIGOPS Symposium on Operating Systems Principles (Acceptance rate: 38/276, 13.7%) [PDF][Talk]
SOSP'19 | Cheng Cai*, Christian Navasca*, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, and Guoqing Harry Xu, "Generuk: Thin Computation over Big Native Data Using Speculative Program Transformation", ACM SIGOPS Symposium on Operating Systems Principles (Acceptance rate: 38/276, 13.7%) [PDF][Talk] *Cheng Cai and *Christian Navasca are co-first-authors.
PhD Dissertation | Khanh Nguyen, "Compiler and Runtime Support for Efficient and Scalable Big Data Processing ", Ph.D. Dissertation, University of California, Los Angeles, [PDF]
PhD Dissertation | Kai Wang, "Big Graph Analytics on A Single PC ", Ph.D. Dissertation, University of California, Los Angeles, [PDF]
PLDI'19 | Chenxi Wang, Huimin Cui, Ting Cao, John Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobin Feng, and Guoqing Harry Xu "Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories", ACM SIGPLAN Conference on Programming Language Design and Implementation (Acceptance rate: 76/274, 27.7%) [PDF][Talk]
EuroSys'19 | Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, and Xuandong Li, "Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale System Code", European Conference on Computer Systems (Acceptance rate: 45/206, 21.8%) [PDF][Talk]

2018:

SEC'18 | Rahmadi Trimananda, Ali Younis, Bojun Wang, Bin Xu, Brian Demsky, and Guoqing Xu, "Vigilia: Securing Smart Home Edge Computing", ACM/IEEE Symposium on Edge Computing (Acceptance rate: 23/60, 38.3%) [PDF][Talk]
OSDI'18 | Kai Wang, Zhiqiang Zuo, John Thorpe, Tim Nguyen, and Guoqing Harry Xu, "RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine", USENIX Symposium on Operating System Design and Implementation (Acceptance rate: 47/264, 17.8%) [PDF][Talk]
PLDI'18 | Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Xu, and Zhendong Su, "Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability", ACM SIGPLAN Conference on Programming Language Design and Implementation (Acceptance rate: 55/277, 19.8%) [PDF][Talk]
ASPLOS'18 | Khanh Nguyen, Lu Fang, Christian Navasca, Guoqing Xu, Brian Demsky, and Shan Lu, "Skyway: Connecting Managed Heaps in Distributed Big Data Systems", 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, (Acceptance rate: 56/319, 17.5%) [PDF][Talk]

TOSEM | Khanh Nguyen, Kai Wang, Yingyi Bu, Lu Fang, and Guoqing Xu, "Understanding and Combating Memory Bloat in Managed Data-Intensive Systems", ACM Transactions on Software Engineering and Methodology, [PDF]

2017:

ASE'17 | Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu, "Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications", 32nd IEEE/ACM International Conference on Automated Software Engineering, (Acceptance rate: 65/314, 21%) [PDF][Talk]

PhD Dissertation | Lu Fang, "Detecting and Fixing Memory-Related Performance Problems in Managed Languages", Ph.D. Dissertation, University of California, Irvine, [PDF][Slides for Defense]

ASPLOS'17-Tutorial | Guoqing Xu and Zhiqiang Zuo, " "Systemized" Program Analyses - A ``Big Data'' Perspective on Static Analysis Scalability", 22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Tutorial, [Website][Talk]

ASPLOS'17 | Keval Vora, Rajiv Gupta, Guoqing Xu, "KickStarter: Fast and Accurate Computations on Streaming Graphs via Trimmed Approximations", 22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, (Acceptance rate: 56/321, 17.4%) [PDF][Talk]

ASPLOS'17 | Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing Xu, and Ardalan Amiri Sani, "Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code", 22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, (Acceptance rate: 56/321, 17.4%) [PDF][Talk]

2016:

TACO | Keval Vora, Rajiv Gupta, Guoqing Xu, "Synergistic Analysis of Evolving Graphs", ACM Transactions on Architecture and Code Optimization, [PDF]

OSDI'16 | Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, and Onur Mutlu, "Yak: A High-Performance Big-Data-Friendly Garbage Collector", 12th USENIX Symposium on Operating Systems Design and Implementation, (Acceptance rate: 47/267, 17.6%) [PDF][Talk]Ranked #1 on the overall review score ("How much I want to see this paper in the conference")

TOSEM | Vijay Krishna Palepu, Guoqing Xu, and James A. Jones, "Dynamic Dependence Summaries", ACM Transactions on Software Engineering and Methodologies, accepted for publication, [PDF]

OOPSLA'16 | Zhiqiang Zuo, Lu Fang, Siau Cheng Khoo, Guoqing Xu, and Shan Lu, "Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement", ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Amsterdam, The Netherlands, November 2016. (Acceptance rate: 52/203, 25.6%) Artifact Evaluated. [PDF] [Talk] [Artifact]

USENIX ATC'16 | Keval Vora, Guoqing Xu, and Rajiv Gupta, "Load the Edges You Need: A Generic I/O Optimization for Disk-based Graph Processing", 2016 USENIX Annual Technical Conference, Denver, CO, June 2016. (Acceptance rate: 47/266, 17.7%) Work was done primarily when Keval visited UCI 2014--2015. [PDF] [Talk]

2015:

PLOS'15 | Khanh Nguyen, Lu Fang, Guoqing Xu, and Brian Demsky "Speculative Region-based Memory Management for Big Data Systems", 8th Workshop on Programming Languages and Operating Systems, Monterey, CA, October 2015. (Idea Paper, Acceptance rate: 7/16, 43.7%) [PDF][Talk]

SOSP'15 | Lu Fang, Khanh Nguyen, Guoqing Xu, Brian Demsky, and Shan Lu, "Interruptible Tasks: Treating Memory Pressure as Interrupts for Highly Scalable Data-Parallel Programs", 25th ACM Symposium on Operating Systems Principles, Monterey, CA, October 2015. (Acceptance rate: 30/186, 16.1%) [PDF][One-column PDF][Talk]

USENIX ATC'15 | Kai Wang, Guoqing Xu, Zhendong Su, and Yu David Liu, "GraphQ: Graph Query Processing with Abstraction Refinement -- Programmable and Budget-Aware Analytical Queries over Very Large Graphs on a Single PC", 2015 USENIX Annual Technical Conference, Santa Clara, CA, July 2015. (Acceptance rate: 35/221, 15.8%) [PDF][Talk][Download]

ECOOP'15 | Lu Fang, Liang Dou, and Guoqing Xu, "PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification", European Conference on Object Oriented Programming, Prague, Czech Republic, July 2015. (Acceptance rate: 31/136, 22.8%) [PDF][Talk]

ASPLOS'15 | Khanh Nguyen, Kai Wang, Yingyi Bu, Lu Fang, Jianfei Hu, and Guoqing Xu, "Facade: A Compiler and Runtime for (Almost) Object-Bounded Big Data Applications", 20th International Conference on Architectural Support for Programming Languages and Operating Systems, Istanbul, Turkey, March 2015. (Acceptance rate: 48/287, 16.7%) [PDF][Talk]

2014:

TOSEM'14 | Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, and Gary Sevitsky, "Scalable Runtime Bloat Detection Using Abstract Dynamic Slicing", ACM Transactions on Software Engineering and Methodology, Volume 23, Issue 3, Article No. 23, 2014. [Paper]
CGO'14 | Dacong Yan, Guoqing Xu, Shengqian Yang, and Atanas Rountev, "LeakChecker: Practical Static Memory Leak Detection for Managed Languages", IEEE/ACM International Conference on Code Generation and Optimization, Orlando, FL, March 2014. (Acceptance rate: 29/103, 28%) [PDF][Talk]

2013:

ASE'13 | Vijay Krishna Palepu, Guoqing Xu, and James A. Jones, "Improving Efficiency of Dynamic Analysis with Dynamic Dependence Summaries", IEEE/ACM International Conference on Automated Software Engineering, Silicon Valley, CA , November 2013. (Acceptance rate: 43/253, 17%) This paper is an extended report of Vijay's course project in CS 295. [PDF][Talk]
OOPSLA'13 | Guoqing Xu, "Resurrector: A Tunable Object Lifetime Profiling Technique for Optimizing Real-World Programs", ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, Indianapolis, IN , October 2013. (Acceptance rate: 50/204, 25%) [PDF][Talk][Implementation] |  |  |
FSE'13 | Khanh Nguyen and Guoqing Xu, "Cachetor: Detecting Cacheable Data to Remove Bloat", ACM SIGSOFT Symposium on the Foundations of Software Engineering, Saint Petersburg, Russia, August 2013. (Acceptance rate: 51/251, 20%) [PDF][Talk] |  |  |
ISSTA'13 | Mengchen Li, Yuanjun Chen, Linzhang Wang, and Guoqing Xu, "Dynamically Validating Static Memory Leak Warnings", ACM SIGSOFT International Symposium on Software Testing and Analysis, Lugano, Switzerland, July 2013. (Acceptance rate: 32/124, 25.8%)[PDF][Talk] |  |  |
ISMM'13 | Yingyi Bu, Vinayak Borkar, Guoqing Xu, and Michael J. Carey, "A Bloat-Aware Design for Big Data Applications", ACM SIGPLAN International Symposium on Memory Management, Seattle, WA, June 2013. (Acceptance rate: ?/?, ?%)[PDF][Talk][A Chinese Translation] |  |  |
TOSEM'13 | Guoqing Xu and Atanas Rountev, "Precise Memory Leak Detection for Java Software Using Container Profiling", ACM Transactions on Software Engineering and Methodology, 22(3), Article No. 17, July 2013 This paper supercedes our ICSE'08 paper on memory leak detection. [PDF]
ECOOP'13 | Guoqing Xu, "CoCo: Sound and Adaptive Replacement of Java Collections", European Conference on Object-Oriented Programming, Montpellier, France, July 2013. (Acceptance rate: 29/116, 25%)[PDF][Talk]

2012:

OOPSLA'12 | Guoqing Xu, "Finding Reusable Data Structures", ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Tucson, AZ, October 2012. (Acceptance rate: 57/228, 25%)[PDF][Talk]
TSE'12 | Raffi Khatchadourian, Phil Greenwood, Awais Rashid, and Guoqing Xu, "Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software", IEEE Transactions on Software Engineering, vol. 38, no. 3, May-June 2012.[PDF]
WODA'12 | Shengqian Yang, Dacong Yan, Guoqing Xu, and Atanas Rountev, "Dynamic Analysis of Inefficiently-Used Containers", International Workshop on Dynamic Analysis, Minneapolis, MN, USA, July 2012. [PDF]
SOAP'12 | Dacong Yan, Guoqing Xu, and Atanas Rountev, "Rethinking Soot for Summary-Based Whole-Program Analysis", ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis, Beijing, China, June 2012. [PDF]
ECOOP'12 | Guoqing Xu, Dacong Yan, Atanas Rountev, "Static Detection of Loop-Invariant Data Structures", European Conference on Object-Oriented Programming, Beijing, China, June 2012. (Acceptance rate: 30/140, 21.4%) [PDF][Talk]
ICSE'12 | Dacong Yan, Guoqing Xu, and Atanas Rountev, "Uncovering Performance Problems in Java Applications with Reference Propagation Profiling", ACM SIGSOFT/IEEE International Conference on Software Engineering, Zurich, Switzerland, June 2012. (Acceptance rate: 87/408, 21.3%) [PDF][Talk]

Papers Between 2005 and 2011:
PhD'11 | Guoqing Xu, "Analyzing Large-Scale Object-Oriented Software to Find and Remove Runtime Bloat", Doctoral Dissertation, Department of Computer Science and Engineering, Ohio State University, Aug. 2011. [PDF] |
ISSTA'11 | Dacong Yan, Guoqing Xu, and Atanas Rountev, "Demand-Driven Context-Sensitive Alias Analysis for Java", ACM SIGSOFT International Symposium on Software Testing and Analysis, Toronto, Canada, July 2011. (Acceptance rate: 35/121, 29%) [PDF][Talk] |  |
PLDI'11 | Guoqing Xu, Michael Bond, Feng Qin, and Atanas Rountev "LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks", ACM SIGPLAN Conference on Programming Language Design and Implementation, San Jose, CA, June 2011. (Acceptance rate: 55/236, 23%) [PDF][Implementation] [Talk Talk] |  |
FoSER'10 | Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, and Gary Sevitsky, "Software Bloat Analysis: Finding, Removing, and Preventing Performance Problems in Modern Large-Scale Object-Oriented Applications", 2010 ACM SIGSOFT FSE/SDP Working Conference on the Future of Software Engineering Research, Santa Fe, NM, November, 2010 (a position paper that argues performance optimization becomes more of a software engineering problem, surveys the existing work on bloat analysis, and provides a roadmap for future work) [PDF][Talk] |  |
PLDI'10 | Guoqing Xu and Atanas Rountev, "Detecting Inefficiently-Used Containers to Avoid Bloat", ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, Canada, June 2010. (Acceptance rate: 41/204, 20%) [PDF][Talk] |  |
PLDI'10 | Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, and Gary Sevitsky, "Finding Low-Utility Data Structures", ACM SIGPLAN Conference on Programming Language Design and Implementation, Toronto, Canada, June 2010. (Acceptance rate: 41/204, 20%) [PDF][Talk] |  |
ASE'09 | Raffi Khatchadourian, Phil Greenwood, Awais Rashid, and Guoqing Xu, "Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software", Short paper, the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE '09), Auckland, New Zealand, Nov 2009.[PDF] |  |
ECOOP'09 | Guoqing Xu, Atanas Rountev, Manu Sridharan, "Scaling CFL-Reachability-Based Points-to Analysis Using Context-Sensitive Must-Not-Alias Analysis", 23rd European Conference on Object-Oriented Programming, LNCS 5653, Genova, Italy, July 2009. (Acceptance rate: 25/117, 21%) [PDF][Talk] |  |
PLDI'09 | Guoqing Xu, Matthew Arnold, Nick Mitchell, Atanas Rountev, Gary Sevitsky, "Go with the Flow: Profiling Copies to Find Runtime Bloat", ACM SIGPLAN Conference on Programming Language Design and Implementation, Dublin, Ireland, June 2009. (Acceptance rate: 41/196, 21%) [PDF][Talk] |  |
ISSTA'08 | Guoqing Xu, Atanas Rountev, "Merging Equivalent Contexts for Scalable Heap-cloning-based Context-sensitive Points-to Analysis", ACM SIGSOFT International Symposium on Software Testing and Analysis, Seattle, Washington, July 2008. (Acceptance rate: 26/100, 26%) [PDF][Talk] |  |
ICSE'08 | Guoqing Xu, Atanas Rountev, "Precise Memory Leak Detection for Java Software Using Container Profiling", ACM SIGSOFT/IEEE International Conference on Software Engineering, Leipzig, Germany, May 2008. (Acceptance rate: 56/371, 15%) Won an ACM SIGSOFT Distinguished Paper Award. Invited talk at ISEC'09 [PDF][Talk] |  |
AOSD'08 | Guoqing Xu, Atanas Rountev, "AJANA: A General Framework for Source-Code-Level Interprocedural Dataflow Analysis of AspectJ Software", ACM SIGPLAN-SIGSOFT International Conference on Aspect-Oriented Software Development, Brussels, Belgium, March 2008. (Acceptance rate: 17/79, 22%) [PDF][Talk] |  |
CC'08 | Atanas Rountev, Mariana Sharp, Guoqing Xu, "IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries", International Conference on Compiler Construction, Budapest, Hungary, March 2008. (Acceptance rate: 18/71, 25%) [PDF] |  |
FSE'07 | Guoqing Xu, Atanas Rountev, Yan Tang, and Feng Qin, "Efficient Checkpointing of Java Software Using Context Sensitive Capture and Replay", ACM SIGSOFT Symposium on the Foundations of Software Engineering, Dubrovnik,Croatia, Sept 2007. (Acceptance rate: 43/251, 17%) [PDF][Talk] |  |
ICSE'07 | Guoqing Xu, Atanas Rountev, "Regression Test Selection for AspectJ Software", ACM SIGSOFT/IEEE International Conference on Software Engineering, Minneapols, MN, May 2007. (Acceptance rate: 50/334, 15%) Nominated for ACM SIGSOFT Distinguished Paper Award [PDF][Talk]

Papers Before 2005:

ISSTA-DS06 | Guoqing Xu, "Precisely Selecting Regression Tests for Aspect-Oriented Programs", Doctoral Symposium, International Symposium on Software Testing and Analysis, Portland, ME, July 2006.
WTAOP'06 | Guoqing Xu, "A Regression Tests Selection Technique for Aspect-Oriented Programs", 2nd International Workshop on Testing of Aspect-Oriented Programs, Portland, ME, July 2006. [PDF]
SEN'04 | Guoqing Xu, Zongyuan Yang, Haitao Huang, "A Basic Model for Components Implementation of Software Architecture", ACM SigSoft Software Engineering Notes, Vol.29, No.5. pp. 1-11, Sep. 2004. [PDF]
APSEC'04-a | Guoqing Xu, Zongyuan Yang, Haitao Huang, "JCMP: Linking Architecture with Component Building", 11th IEEE Asia-Pacific Software Engineering Conference, Pusan, South Korea, Nov. 2004. [PDF]
APSEC'04-b | Guoqing Xu, Zongyuan Yang, Haitao Huang, Qian Chen, Ling Chen, Fengbin Xu, "JAOUT: Automated Generation of Aspect-Oriented Unit Test", 11th IEEE Asia-Pacific Software Engineering Conference, Pusan, South Korea, Nov. 2004. [PDF]
FSE-poster'04 | Guoqing Xu, "JCMP: Linking Architecture with Component Building", ACM SigSoft International Symposium on Foundation of Software Engineering, Poster Session, Newport Beach, CA, Nov. 2004. [PDF][Poster]
ISFST'04 | Guoqing Xu, Zongyuan Yang, "A Novel Approach to Unit Testing: The Aspect-Oriented Way", International Symposium on Future Software Technology, Xi'An, China, Oct. 2004. [PDF]
NASAC'04 | Guoqing Xu, Zongyuan Yang, "Towards Automated Generation of Unit Test", China National Anual Software Application Conference, Beijing, China, Oct. 2004. [PDF (in Chinese)]
FATES'03 | Guoqing Xu, Zongyuan Yang, "JMLAutoTest: A Novel Automated Testing Framework based on JML and JUnit", International Workshop on Formal Approaches to Testing of Software, Montreal, Canada, Oct. 2003. [PDF][Talk]

Technical Reports:

TR'08 | Raffi Khatchadourian, Phil Greenwood, Awais Rashid, Guoqing Xu, "Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software", Technical Report COMP-001-2008, Computing Department, Lancaster University, August 2008. [PDF]
TR'07 | Guoqing Xu, Atanas Rountev, "Data-flow and Control-flow Analysis of AspectJ Software for Program Slicing", Technical Report OSU-CISRC-5/07-TR46, CSE/OSU, May 2007. [PDF]

##### EDUCATION

PhD (2011) Ohio State University

##### AWARDS AND RECOGNITION

- OSDI Lepreau Best Paper Award, 2022