Publications back to homepage

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.

OSDI'24

Haoran Ma, Yifan Qiao, Shi Liu, Shan Yu, Yuanjiang Ni, Qingda Lu, Jiesheng Wu, Yiying Zhang, Miryung Kim, and Harry Xu,
"
DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency",
18th USENIX Symposium on Operating Systems Design and Implementation,

[PDF][Talk]

 

OSDI'24

Lei Chen*, Shi Liu*, Chenxi Wang, Haoran Ma, Yifan Qiao, Zhe Wang, Chenggang Wu, Youyou Lu, Xiaobing Feng, Huimin Cui, Shan Lu, and Harry Xu
"
A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications",
18th USENIX Symposium on Operating Systems Design and Implementation,

[PDF][Talk] * Contributed equally.

 

ICDE'24

Yu Chen, Sheng Zhang, Ziying Zhou, Xiaokun Wang, Yu Liang, Ning Chen, Yuting Yan, Mingjun Xiao, Jie Wu, Zhuzhong Qian, and Harry Xu,
"MACRO: Incentivizing Multi-leader Game-based Pareto-efficient Crowdsourcing for Video Analytics",
40th IEEE International Conference on Data Engineering,

[PDF][Talk]

 

MLSys'24

Shan Yu, Zhenting Zhu, Yu Chen, Hanchen Xu, Pengzhan Zhao, Yang Wang, Arthi Padmanabhan, Hugo Latapie, and Harry Xu,
"VQPy: An Object-Oriented Approach to Modern Video Analytics",
7th Annual Conference on Machine Learning and Systems,

[PDF][Talk]

 

HPCA'24

Jie Ren, Shuangyan Yang, Jiacheng Zhao, Zhicheng Li, Christian Navasca, Chenxi Wang, Harry Xu, and Dong Li,
"Enabling Large Dynamic Neural Network Training with Learning-based Memory Management ",
30th IEEE International Symposium on High-Performance Computer Architecture,

[PDF][Talk]

 

NSDI'24

Ziang Song, Xupeng Miao, Xiaoli Xi, Dahua Lin, Harry Xu, Minjia Zhang, and Zhihao Jia,
"Parcae: Proactive, Liveput-Optimized DNN Training on Preemptible Instances",
USENIX Symposium on Networked System Design and Implementation,

[PDF][Talk]

 

NSDI'24

Yifan Qiao, Zhenyuan Ruan, Haoran Ma, Adam Belay, Miryung Kim, and Harry Xu,
"Harvesting Idle Memory for Application-managed Soft State with Midas",
USENIX Symposium on Networked System Design and Implementation,

[PDF][Talk]

 

ESEC/FSE'23

Jiyuan Wang, Qian Zhang, Hongbo Rong, Harry Xu, and Miryung Kim,
"
Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications",
ACM SIGSOFT International Symposium on Foundations of Software Engineering,
[PDF][Talk]

 

ISMM'23

Christian Navasca, Martin Maas, Petros Maniatis, Hyeontaek Lim, and Harry Xu,
"
Predicting Dynamic Properties of Heap Allocations Using Neural Networks Trained on Static Code",
International Symposium on Memory Management,
[PDF][Talk]

 

EuroSys'23

Kasra Jamshidi, Guoqing Harry Xu, and Keval Vora,
"
Accelerating Graph Mining Systems with Subgraph Morphing",
European Conference on Computer Systems,

[PDF][Talk]

 

NSDI'23

Yifan Qiao, Chenxi Wang, Zhenyuan Ruan, Adam Belay, Qingda Lu, Yiying Zhang, Miryung Kim, and Guoqing Harry Xu,
"
Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony",
USENIX Symposium on Networked System Design and Implementation,

[PDF][Talk] * Contributed equally.

 

NSDI'23

John Thorpe*, Pengzhan Zhao*, Jonathan Eyolfson, Yifan Qiao, Zhihao Jia, Minjia Zhang, Ravi Netravali, and Guoqing Harry Xu,
"
Bamboo: Making Preemptible Instances Resilient for Affordable Training of Large DNNs",
USENIX Symposium on Networked System Design and Implementation,

[PDF][Talk] * Contributed equally.

 

NSDI'23

Chenxi Wang*, Yifan Qiao*, Haoran Ma, Shi Liu, Yiying Zhang, Wenguang Chen, Ravi Netravali, Miryung Kim, and Guoqing Harry Xu,
"
Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory",
USENIX Symposium on Networked System Design and Implementation,

[PDF][Talk] * Contributed equally.

 

NSDI'23

Arthi Padmanabhan*, Neil Agarwal*, Anand Iyer, Ganesh Ananthanarayanan, Yuanchao Shu, Nikolaos Karianakis, Guoqing Harry Xu, and Ravi Netravali
"
GEMEL: Model Merging for Memory-Efficient, Real-Time Video Analytics at the Edge",
USENIX Symposium on Networked System Design and Implementation,

[PDF] [Talk] * Contributed equally.

 

TOSEM

Zhiqiang Zuo, Xintao Niu, Siyi Zhang, Lu Fang, Siau Cheng Khoo, Shan Lu, and Guoqing Harry Xu,
"
Toward More Efficient Statistical Debugging with Abstraction Refinement",
ACM Transactions on Software Engineering and Methodology,

[PDF]

 

OSDI'22

Chenxi Wang*, Haoran Ma*, Shi Liu, Yifan Qiao, Jonathan Eyolfson, Christian Navasca, Shan Lu, Guoqing Harry Xu,
"
MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime",
16th USENIX Symposium on Operating Systems Design and Implementation,

[PDF][Talk] * contributed equally;

Won a Jay Lepreau Best Paper Award.

 

OSDI'22

Yaniv David, Xudong Sun, Aditya Senthilnathan,Raphael Jedidiah Sofaer, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, and Ronghui Gu,
"
UPGRADVISOR: Early Adopting Dependency Updates Using Production Traces",
16th USENIX Symposium on Operating Systems Design and Implementation,

[PDF][Talk]

 

 

PLDI'22

Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Steve Blackburn, Miryung Kim, and Guoqing Harry Xu,
"
Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters",
43rd ACM SIGPLAN Conference on Programming Language Design and Implementation,

[PDF][Talk]

 

 

PLDI'22

Hamed Gorjiara, Weiyu Luo, Guoqing Harry Xu, and Brian Demsky,
"
Checking Robustness to Weak Persistency Models",
43rd ACM SIGPLAN Conference on Programming Language Design and Implementation,

[PDF][Talk]

 

 

TDSC

Bowen Tang, Chenggang Wu, Zhe Wang, Lichen Jia, Pen-Chung Yew, Yueqiang Cheng, Yinqian Zhang, Chenxi Wang, and Guoqing Harry Xu,
"SPECBOX: A Label-Based Transparent Speculation Scheme Against Transient Execution Attacks",
IEEE Transactions on Dependable and Secure Computing,
[PDF]

 

TOCS

Lei Chen, Jicheng Zhao, Chenxi Wang, Ting Cao, John Zigman, Harris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, Guoqing Harry Xu, and Huimin Cui,
"Unified Holistic Memory Management Supporting Multiple Big Data Processing Frameworks over Hybrid Memories",
ACM Transactions on Computer Systems,
[PDF] Subsumes our PLDI'19 paper on Panthera.

 

ASPLOS'22

Qian Zhang, Jiyuan Wang, Guoqing Harry Xu, and Miryung Kim
"
HeteroGen: Transpiling C to Heterogeneous HLS Code with Automated Test Generation and Program Repair",
27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

[PDF][Talk]

 

ASPLOS'22

Hamed Gorjiara, Guoqing Harry Xu, and Brian Demsky,
"
Yashme: Detecting Persistency Races",
27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

[PDF][Talk]

 

VMCAI'22

Rahmadi Trimananda, Weiyu Luo, Brian Demsky and Guoqing Harry Xu,
"Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate",
International Conference on Verification, Model Checking, and Abstract Interpretation,
[PDF] [Talk]

 

ASE'21

Jiyuan Wang, Qian Zhang, and Guoqing Harry Xu, and Miryung Kim,
"QDiff: Differential Testing of Quantum Software Stacks",
ACM/IEEE International Conference on Automated Software Engineering,
[PDF] [Talk]

ACM SIGSOFT Research Highlight.

 

HotEdgeVideo'21

Arthi Padmanabhan, Anand Padmanabha Iyer, Ganesh Ananthanarayanan, Yuanchao Shu, Nikolaos Karianakis, Guoqing Harry Xu, and Ravi Netravali,
"Towards Memory-Efficient Inference in Edge Video Analytics",
The 3rd Workshop on Hot Topics in Video Analytics and Intelligent Edges,
[PDF][Talk]

 

TOCS

Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, and Guoqing Harry Xu,
"Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan",
ACM Transactions on Computer Systems,
[PDF] Subsumes our ASPLOS'17 paper on the initial version of Graspan.

 

HotOS XVIII

Yiying Zhang, Adalan Amiri Sani, and Guoqing Harry Xu,
"User-defined Cloud",
The 18th Workshop on Hot Topics in Operating Systems,
[PDF][Talk]

 

OSDI'21

John Thorpe*, Yifan Qiao*, Jonathan Eyolfson, Shen Teng, Guanzhou Hu, Zhihao Jia, Jinliang Wei, Keval Voral, Ravi Netravali, Miryung Kim, and Guoqing Harry Xu,
"Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads",
USENIX Symposium on Operating Systems Design and Implementation,
[PDF][Talk], * contributed equally

 

PLDI'21

Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu,
"
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace",
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation,

[PDF][Talk]

 

 

PLDI'21

Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu,
"
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code",
42nd ACM SIGPLAN Conference on Programming Language Design and Implementation,

[PDF][Talk]

 

 

ASPLOS'21

Hamed Gorjiara, Guoqing Harry Xu, and Brian Demsky,
"
Jaaru: Efficiently Model Checking Persistent Memory Programs",
26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

[PDF][Talk]

 

CACM

Guoqing Harry Xu,
"Technical Perspective: BLeak: Semantics-Aware Leak Detection in the Web",
Communications of the ACM,
[PDF]

 

OSDI'20

Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael Bond, Ravi Netravali, Miryung Kim, and Guoqing Harry Xu,
"Semeru: A Memory-Disaggregated Managed Runtime",
USENIX Symposium on Operating Systems Design and Implementation,
[PDF][Talk]

 

OOPSLA'20

Hamed Gorjiara, Guoqing Harry Xu, and Brian Demsky,
"SATUNE: Synthesizing Efficient SAT Encoders",
ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications
[PDF][Talk]

 

HotEdge'20

Rahmadi Trimananda, Ali Younis, Thomas Kwa, Brian Demsky, Guoqing Harry Xu,
"
Securing Smart Home Devices against Compromised Cloud Servers (Poster)",
3rd USENIX Workshop on Hot Topics in Edge,
[PDF][Talk]

 

ESEC/FSE'20

Bobby Bruce, Tianyi ZHang, Jaspreet Arora, Guoqing Harry Xu, and Miryung Kim,
"
JShrink: In-depth Investigation into Debloating Modern Java Applications",
ACM SIGSOFT International Symposium on Foundations of Software Engineering,
[PDF][Talk]

 

ESEC/FSE'20

Rahmadi Trimananda, Seyed Amir Hossein Aqajari, Jason Chuang, Brian Demsky, Guoqing Harry Xu, and Shan Lu,
"
Understanding and Automatically Detecting Conflicting Interactions between Smart Home Applications",
ACM SIGSOFT International Symposium on Foundations of Software Engineering,
[PDF][Talk]

 

SIGCOMM'20

Yuanqi Li*, Arthi Padmanabhan*, Pengzhan Zhao, Yufei Wang, Guoqing Harry Xu, and Ravi Netravali,
"
Reducto: On-Camera Filtering for Resource-Efficient Real-Time Video Analytics",
ACM SIGCOMM Conference,

[PDF][Talk][Code], * contributed equally

 

PLDI'20

Kaan Genc, Michael Bond, and Guoqing Harry Xu,
"
Crafty: Efficient, HTM-Compatible Persistent Transactions",
ACM SIGPLAN Conference on Programming Language Design and Implementation,

[PDF][Talk]

SoCC'19

Jason Teoh, Muhammad Ali Gulzar, Guoqing Harry Xu, and Miryung Kim,
"
PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems",
ACM Symposium on Cloud Computing,

[PDF][Talk]

 

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,

[PDF][Talk]

 

SOSP'19

Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, and Guoqing Harry Xu,
"
Gerenuk: Thin Computation over Big Native Data Using Speculative Program Transformation",
ACM SIGOPS Symposium on Operating Systems Principles,

[PDF][Talk]

 

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,

An extended abstract of this paper was presented in the 2020 Annual Non-Volatile Memories Workshop (NVMW).
[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,

[PDF][Talk]

 

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

[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,

[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,

[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,

[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]

 

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,

[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,

[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,

[PDF][Talk]

 

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,

[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.
[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.
Work was done primarily when Keval visited UCI 2014--2015.
[PDF] [Talk]

 

 

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.
[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.
[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.
[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.
[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.
[PDF][Talk]

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.
[PDF][Talk]

 

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.
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.
[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.
[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.

[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.

[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.

[PDF][Talk]

OOPSLA'12

Guoqing Xu,
"Finding Reusable Data Structures",
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, Tucson, AZ, October 2012.

[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.
[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.
[PDF][Talk]

 

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.
[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.
[PDF][Implementation]
[TalkTalk]

 

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.
[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.
[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.
[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.
[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.
[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.
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.
[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.
[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.
[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.
Nominated for ACM SIGSOFT Distinguished Paper Award
[PDF][Talk]

 

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]