JCMP: Linking Architecture with Component Building. - Guoqing Xu 001; Zongyuan Yang; Haitao Huang (APSEC, 2004)

JAOUT: Automated Generation of Aspect-Oriented Unit Test. - Guoqing Xu 001; Zongyuan Yang; Haitao Huang; Qian Chen II; Ling Chen; Fengbin Xu (APSEC, 2004)

A basic model for components implementation of software architecture. - Guoqing Xu 001; Zongyuan Yang; Haitao Huang (ACM SIGSOFT Softw. Eng. Notes, 2004)

A regression tests selection technique for aspect-oriented programs. - Guoqing Xu 001 (WTAOP, 2006)

Regression Test Selection for AspectJ Software. - Guoqing Xu 001; Atanas Rountev (ICSE, 2007)

Efficient checkpointing of java software using context-sensitive capture and replay. - Guoqing Xu 001; Atanas Rountev; Yan Tang; Feng Qin (ESEC/SIGSOFT FSE, 2007)

AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software. - Guoqing Xu 001; Atanas Rountev (AOSD, 2008)

IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries. - Atanas Rountev; Mariana Sharp; Guoqing Xu 001 (CC, 2008)

Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis. - Guoqing Xu 001; Atanas Rountev (ISSTA, 2008)

Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis. - Guoqing Xu 001; Atanas Rountev; Manu Sridharan (ECOOP, 2009)

Go with the flow: profiling copies to find runtime bloat. - Guoqing Xu 001; Matthew Arnold; Nick Mitchell; Atanas Rountev; Gary Sevitsky (PLDI, 2009)

Finding low-utility data structures. - Guoqing Xu 001; Nick Mitchell; Matthew Arnold; Atanas Rountev; Edith Schonberg; Gary Sevitsky (PLDI, 2010)

Detecting inefficiently-used containers to avoid bloat. - Guoqing Xu 001; Atanas Rountev (PLDI, 2010)

Software bloat analysis: finding, removing, and preventing performance problems in modern large-scale object-oriented applications. - Guoqing Xu 001; Nick Mitchell; Matthew Arnold; Atanas Rountev; Gary Sevitsky (FoSER, 2010)

Demand-driven context-sensitive alias analysis for Java. - Dacong Yan; Guoqing Xu 001; Atanas Rountev (ISSTA, 2011)

LeakChaser: helping programmers narrow down causes of memory leaks. - Guoqing Xu 001; Michael D. Bond; Feng Qin; Atanas Rountev (PLDI, 2011)

Static Detection of Loop-Invariant Data Structures. - Guoqing Xu 001; Dacong Yan; Atanas Rountev (ECOOP, 2012)

Uncovering performance problems in Java applications with reference propagation profiling. - Dacong Yan; Guoqing Xu 001; Atanas Rountev (ICSE, 2012)

Dynamic analysis of inefficiently-used containers. - Shengqian Yang; Dacong Yan; Guoqing Xu 001; Atanas Rountev (WODA, 2012)

Finding reusable data structures. - Guoqing Xu 001 (OOPSLA, 2012)

Rethinking Soot for summary-based whole-program analysis. - Dacong Yan; Guoqing Xu 001; Atanas Rountev (SOAP@PLDI, 2012)

Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software. - Raffi Khatchadourian; Phil Greenwood; Awais Rashid; Guoqing Xu 001 (IEEE Trans. Software Eng., 2012)

CoCo: Sound and Adaptive Replacement of Java Collections. - Guoqing Xu 001 (ECOOP, 2013)

Dynamically validating static memory leak warnings. - Mengchen Li; Yuanjun Chen; Linzhang Wang; Guoqing Xu 001 (ISSTA, 2013)

A bloat-aware design for big data applications. - Yingyi Bu; Vinayak R. Borkar; Guoqing Xu 001; Michael J. Carey 001 (ISMM, 2013)

Improving efficiency of dynamic analysis with dynamic dependence summaries. - Vijay Krishna Palepu; Guoqing Xu 001; James A. Jones (ASE, 2013)

Resurrector: a tunable object lifetime profiling technique for optimizing real-world programs. - Guoqing Xu 001 (OOPSLA, 2013)

Cachetor: detecting cacheable data to remove bloat. - Khanh Nguyen 001; Guoqing Xu 001 (ESEC/SIGSOFT FSE, 2013)

Precise memory leak detection for java software using container profiling. - Guoqing Xu 001; Atanas Rountev (ACM Trans. Softw. Eng. Methodol., 2013)

LeakChecker: Practical Static Memory Leak Detection for Managed Languages. - Dacong Yan; Guoqing Xu 001; Shengqian Yang; Atanas Rountev (CGO, 2014)

Language, compiler, and runtime system support towards highly scalable big data application (invited talk abstract). - Guoqing Xu 001 (WODA+PERTEA@ISSTA, 2014)

Scalable Runtime Bloat Detection Using Abstract Dynamic Slicing. - Guoqing Xu 001; Nick Mitchell; Matthew Arnold; Atanas Rountev; Edith Schonberg; Gary Sevitsky (ACM Trans. Softw. Eng. Methodol., 2014)

FACADE: A Compiler and Runtime for (Almost) Object-Bounded Big Data Applications. - Khanh Nguyen 001; Kai Wang 029; Yingyi Bu; Lu Fang 003; Jianfei Hu; Guoqing Xu 001 (ASPLOS, 2015)

PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification. - Lu Fang 003; Liang Dou; Guoqing Xu 001 (ECOOP, 2015)

Workshop preview of the 13th international workshop on dynamic analysis (WODA 2015). - Guoqing Xu 001; Walter Binder (SPLASH (Companion Volume), 2015)

Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs. - Lu Fang 003; Khanh Nguyen 001; Guoqing Xu 001; Brian Demsky; Shan Lu 001 (SOSP, 2015)

Speculative region-based memory management for big data systems. - Khanh Nguyen 001; Lu Fang 003; Guoqing Xu 001; Brian Demsky (PLOS@SOSP, 2015)

GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC. - Kai Wang 029; Guoqing Xu 001; Zhendong Su 001; Yu David Liu (USENIX ATC, 2015)

Low-overhead and fully automated statistical debugging with abstraction refinement. - Zhiqiang Zuo 002; Lu Fang 003; Siau-Cheng Khoo; Guoqing Xu 001; Shan Lu 001 (OOPSLA, 2016)

Yak: A High-Performance Big-Data-Friendly Garbage Collector. - Khanh Nguyen 001; Lu Fang 003; Guoqing Xu 001; Brian Demsky; Shan Lu 001; Sanazsadat Alamian; Onur Mutlu (OSDI, 2016)

Load the Edges You Need: A Generic I/O Optimization for Disk-based Graph Processing. - Keval Vora; Guoqing Xu 001; Rajiv Gupta 001 (USENIX ATC, 2016)

Synergistic Analysis of Evolving Graphs. - Keval Vora; Rajiv Gupta 001; Guoqing Xu 001 (ACM Trans. Archit. Code Optim., 2016)

KickStarter: Fast and Accurate Computations on Streaming Graphs via Trimmed Approximations. - Keval Vora; Rajiv Gupta 001; Guoqing Xu 001 (ASPLOS, 2017)

Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code. - Kai Wang 029; Aftab Hussain 001; Zhiqiang Zuo 002; Guoqing Xu 001; Ardalan Amiri Sani (ASPLOS, 2017)

Understanding and overcoming parallelism bottlenecks in ForkJoin applications. - Gustavo Pinto 001; Anthony Canino; Fernando Castor; Guoqing Xu 001; Yu David Liu (ASE, 2017)

Dynamic Dependence Summaries. - Vijay Krishna Palepu; Guoqing Xu 001; James A. Jones (ACM Trans. Softw. Eng. Methodol., 2017)

Skyway: Connecting Managed Heaps in Distributed Big Data Systems. - Khanh Nguyen 001; Lu Fang 003; Christian Navasca; Guoqing Xu 001; Brian Demsky; Shan Lu 001 (ASPLOS, 2018)

Vigilia: Securing Smart Home Edge Computing. - Rahmadi Trimananda; Ali Younis; Bojun Wang; Bin Xu; Brian Demsky; Guoqing Harry Xu (SEC, 2018)

RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine. - Kai Wang 029; Zhiqiang Zuo 002; John Thorpe; Tien Quang Nguyen; Guoqing Harry Xu (OSDI, 2018)

Calling-to-reference context translation via constraint-guided CFL-reachability. - Cheng Cai; Qirun Zhang; Zhiqiang Zuo 002; Khanh Nguyen 001; Guoqing Harry Xu; Zhendong Su 001 (PLDI, 2018)

Understanding and Combating Memory Bloat in Managed Data-Intensive Systems. - Khanh Nguyen 001; Kai Wang 029; Yingyi Bu; Lu Fang 003; Guoqing Xu 001 (ACM Trans. Softw. Eng. Methodol., 2018)

PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems. - Jason Teoh; Muhammad Ali Gulzar; Guoqing Harry Xu; Miryung Kim (SoCC, 2019)

Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code. - Zhiqiang Zuo 002; John Thorpe; Yifei Wang; Qiuhong Pan; Shenming Lu; Kai Wang 029; Guoqing Harry Xu; Linzhang Wang; Xuandong Li (EuroSys, 2019)

Panthera: holistic memory management for big data processing over hybrid memories. - Chenxi Wang; Huimin Cui; Ting Cao; John N. Zigman; Haris Volos 001; Onur Mutlu; Fang Lv; Xiaobing Feng 002; Guoqing Harry Xu (PLDI, 2019)

Gerenuk: thin computation over big native data using speculative program transformation. - Christian Navasca; Cheng Cai; Khanh Nguyen 001; Brian Demsky; Shan Lu 001; Miryung Kim; Guoqing Harry Xu (SOSP, 2019)

Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. - Guoqing Harry Xu; Margus Veanes; Michael Barnett 001; Madan Musuvathi; Todd Mytkowicz; Ben Zorn 001; Huan He; Haibo Lin (SOSP, 2019)

Semeru: A Memory-Disaggregated Managed Runtime. - Chenxi Wang; Haoran Ma; Shi Liu; Yuanqi Li; Zhenyuan Ruan; Khanh Nguyen 001; Michael D. Bond; Ravi Netravali; Miryung Kim; Guoqing Harry Xu (OSDI, 2020)

Crafty: efficient, HTM-compatible persistent transactions. - Kaan Genç; Michael D. Bond; Guoqing Harry Xu (PLDI, 2020)

Reducto: On-Camera Filtering for Resource-Efficient Real-Time Video Analytics. - Yuanqi Li; Arthi Padmanabhan; Pengzhan Zhao; Yufei Wang; Guoqing Harry Xu; Ravi Netravali (SIGCOMM, 2020)

JShrink: in-depth investigation into debloating modern Java applications. - Bobby R. Bruce; Tianyi Zhang 001; Jaspreet Arora; Guoqing Harry Xu; Miryung Kim (ESEC/SIGSOFT FSE, 2020)

Understanding and automatically detecting conflicting interactions between smart home IoT applications. - Rahmadi Trimananda; Seyed Amir Hossein Aqajari; Jason Chuang; Brian Demsky; Guoqing Harry Xu; Shan Lu 001 (ESEC/SIGSOFT FSE, 2020)

Technical perspective: BLeak: semantics-aware leak detection in the web. - Harry Xu 001 (Commun. ACM, 2020)

Securing Smart Home Edge Devices against Compromised Cloud Servers. - Rahmadi Trimananda; Ali Younis; Thomas Kwa; Brian Demsky; Harry Xu 001 (CoRR, 2020)

Satune: synthesizing efficient SAT encoders. - Hamed Gorjiara; Guoqing Harry Xu; Brian Demsky (Proc. ACM Program. Lang., 2020)

Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan. - Zhiqiang Zuo 002; Kai Wang 029; Aftab Hussain 001; Ardalan Amiri Sani; Yiyu Zhang; Shenming Lu; Wensheng Dou; Linzhang Wang; Xuandong Li; Chenxi Wang; Guoqing Harry Xu (ACM Trans. Comput. Syst., 2020)

Jaaru: efficiently model checking persistent memory programs. - Hamed Gorjiara; Guoqing Harry Xu; Brian Demsky (ASPLOS, 2021)

User-defined cloud. - Yiying Zhang 005; Ardalan Amiri Sani; Guoqing Harry Xu (HotOS, 2021)

QDiff: Differential Testing of Quantum Software Stacks. - Jiyuan Wang; Qian Zhang 020; Guoqing Harry Xu; Miryung Kim (ASE, 2021)

Towards memory-efficient inference in edge video analytics. - Arthi Padmanabhan; Anand Padmanabha Iyer; Ganesh Ananthanarayanan; Yuanchao Shu; Nikolaos Karianakis; Guoqing Harry Xu; Ravi Netravali (HotEdgeVideo@MobiCom, 2021)

Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads. - John Thorpe; Yifan Qiao; Jonathan Eyolfson; Shen Teng; Guanzhou Hu; Zhihao Jia; Jinliang Wei; Keval Vora; Ravi Netravali; Miryung Kim; Guoqing Harry Xu (OSDI, 2021)

JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace. - Zhiqiang Zuo 002; Kai Ji; Yifei Wang; Wei Tao; Linzhang Wang; Xuandong Li; Guoqing Harry Xu (PLDI, 2021)

Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. - Zhiqiang Zuo 002; Yiyu Zhang; Qiuhong Pan; Shenming Lu; Yue Li 006; Linzhang Wang; Xuandong Li; Guoqing Harry Xu (PLDI, 2021)

Unified Holistic Memory Management Supporting Multiple Big Data Processing Frameworks over Hybrid Memories. - Lei Chen; Jiacheng Zhao; Chenxi Wang; Ting Cao; John N. Zigman; Haris Volos 001; Onur Mutlu; Fang Lv; Xiaobing Feng 002; Guoqing Harry Xu; Huimin Cui (ACM Trans. Comput. Syst., 2021)

Yashme: detecting persistency races. - Hamed Gorjiara; Guoqing Harry Xu; Brian Demsky (ASPLOS, 2022)

HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair. - Qian Zhang 020; Jiyuan Wang; Guoqing Harry Xu; Miryung Kim (ASPLOS, 2022)

UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. - Yaniv David; Xudong Sun 019; Raphael J. Sofaer; Aditya Senthilnathan; Junfeng Yang; Zhiqiang Zuo 002; Guoqing Harry Xu; Jason Nieh; Ronghui Gu (OSDI, 2022)

MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime. - Chenxi Wang; Haoran Ma; Shi Liu; Yifan Qiao; Jonathan Eyolfson; Christian Navasca; Shan Lu 001; Guoqing Harry Xu (OSDI, 2022)

Checking robustness to weak persistency models. - Hamed Gorjiara; Weiyu Luo; Alex Lee; Guoqing Harry Xu; Brian Demsky (PLDI, 2022)

Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters. - Haoran Ma; Shi Liu; Chenxi Wang; Yifan Qiao; Michael D. Bond; Stephen M. Blackburn; Miryung Kim; Guoqing Harry Xu (PLDI, 2022)

Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. - Rahmadi Trimananda; Weiyu Luo; Brian Demsky; Guoqing Harry Xu (VMCAI, 2022)

Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory. - Chenxi Wang; Yifan Qiao; Haoran Ma; Shi Liu; Yiying Zhang 005; Wenguang Chen; Ravi Netravali; Miryung Kim; Guoqing Harry Xu (CoRR, 2022)

Resource-Centric Serverless Computing. - Zhiyuan Guo; Zachary Blanco; Mohammad Shahrad; Zerui Wei; Bili Dong; Jinmou Li; Ishaan Pota; Harry Xu 001; Yiying Zhang 005 (CoRR, 2022)

Accelerating Graph Mining Systems with Subgraph Morphing. - Kasra Jamshidi; Harry Xu 001; Keval Vora (EuroSys, 2023)

Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract. - Christian Navasca; Martin Maas 001; Petros Maniatis; Hyeontaek Lim; Guoqing Harry Xu (ISMM, 2023)

Gemel: Model Merging for Memory-Efficient, Real-Time Video Analytics at the Edge. - Arthi Padmanabhan; Neil Agarwal; Anand P. Iyer; Ganesh Ananthanarayanan; Yuanchao Shu; Nikolaos Karianakis; Guoqing Harry Xu; Ravi Netravali (NSDI, 2023)

Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony. - Yifan Qiao; Chenxi Wang; Zhenyuan Ruan; Adam Belay; Qingda Lu; Yiying Zhang 005; Miryung Kim; Guoqing Harry Xu (NSDI, 2023)

Bamboo: Making Preemptible Instances Resilient for Affordable Training of Large DNNs. - John Thorpe; Pengzhan Zhao; Jonathan Eyolfson; Yifan Qiao; Zhihao Jia; Minjia Zhang; Ravi Netravali; Guoqing Harry Xu (NSDI, 2023)

Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory. - Chenxi Wang; Yifan Qiao; Haoran Ma; Shi Liu; Wenguang Chen; Ravi Netravali; Miryung Kim; Guoqing Harry Xu (NSDI, 2023)

Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications. - Jiyuan Wang; Qian Zhang 020; Hongbo Rong; Guoqing Harry Xu; Miryung Kim (ESEC/SIGSOFT FSE, 2023)

SpecBox: A Label-Based Transparent Speculation Scheme Against Transient Execution Attacks. - Bowen Tang 001; Chenggang Wu 002; Zhe Wang 017; Lichen Jia; Pen-Chung Yew; Yueqiang Cheng; Yinqian Zhang; Chenxi Wang; Guoqing Harry Xu (IEEE Trans. Dependable Secur. Comput., 2023)

Toward More Efficient Statistical Debugging with Abstraction Refinement. - Zhiqiang Zuo 002; Xintao Niu; Siyi Zhang 011; Lu Fang 003; Siau-Cheng Khoo; Shan Lu 001; Chengnian Sun; Guoqing Harry Xu (ACM Trans. Softw. Eng. Methodol., 2023)

Enabling Large Dynamic Neural Network Training with Learning-based Memory Management. - Jie Ren 015; Dong Xu; Shuangyan Yang; Jiacheng Zhao; Zhicheng Li; Christian Navasca; Chenxi Wang; Guoqing Harry Xu; Dong Li 001 (HPCA, 2024)

MACRO: Incentivizing Multi-Leader Game-Based Pareto-Efficient Crowdsourcing for Video Analytics. - Yu Chen 038; Sheng Zhang 001; Ziying Zhou; Xiaokun Wang 002; Yu Liang 001; Ning Chen 010; Yuting Yan; Mingjun Xiao; Jie Wu 001; Zhuzhong Qian; Harry Xu 001 (ICDE, 2024)

VQPy: An Object-Oriented Approach to Modern Video Analytics. - Shan Yu; Zhenting Zhu; Yu Chen 038; Hanchen Xu; Pengzhan Zhao; Yang Wang; Arthi Padmanabhan; Hugo Latapie; Harry Xu 001 (MLSys, 2024)

Parcae: Proactive, Liveput-Optimized DNN Training on Preemptible Instances. - Jiangfei Duan; Ziang Song; Xupeng Miao; Xiaoli Xi; Dahua Lin; Harry Xu 001; Minjia Zhang; Zhihao Jia (NSDI, 2024)

Harvesting Idle Memory for Application-managed Soft State with Midas. - Yifan Qiao; Zhenyuan Ruan; Haoran Ma; Adam Belay; Miryung Kim; Harry Xu 001 (NSDI, 2024)

A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications. - Lei Chen; Shi Liu; Chenxi Wang; Haoran Ma; Yifan Qiao; Zhe Wang 017; Chenggang Wu 002; Youyou Lu; Xiaobing Feng 002; Huimin Cui; Shan Lu 001; Harry Xu 001 (OSDI, 2024)

DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency. - Haoran Ma; Yifan Qiao; Shi Liu; Shan Yu; Yuanjiang Ni; Qingda Lu; Jiesheng Wu; Yiying Zhang 005; Miryung Kim; Harry Xu 001 (OSDI, 2024)

ConServe: Harvesting GPUs for Low-Latency and High-Throughput Large Language Model Serving. - Yifan Qiao; Shu Anzai; Shan Yu; Haoran Ma; Yang Wang; Miryung Kim; Harry Xu 001 (CoRR, 2024)

Prism: Unleashing GPU Sharing for Cost-Efficient Multi-LLM Serving. - Shan Yu; Jiarong Xing; Yifan Qiao; Mingyuan Ma; Yangmin Li 002; Yang Wang; Shuo Yang; Zhiqiang Xie; Shiyi Cao; Ke Bao; Ion Stoica; Harry Xu 001; et al. (CoRR, 2025)