Guoqing Harry Xu

According to our database, Guoqing Harry Xu authored at least 99 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

CoRR, 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, Miryung Kim, Harry Xu

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 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, Chenggang Wu, Youyou Lu, Xiaobing Feng, Huimin Cui, Shan Lu, Harry Xu

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

Harvesting Idle Memory for Application-managed Soft State with Midas.

Yifan Qiao, Zhenyuan Ruan, Haoran Ma, Adam Belay, Miryung Kim, Harry Xu

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

Parcae: Proactive, Liveput-Optimized DNN Training on Preemptible Instances.

Jiangfei Duan, Ziang Song, Xupeng Miao, Xiaoli Xi, Dahua Lin, Harry Xu, Minjia Zhang, Zhihao Jia

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

VQPy: An Object-Oriented Approach to Modern Video Analytics.

Shan Yu, Zhenting Zhu, Yu Chen, Hanchen Xu, Pengzhan Zhao, Yang Wang, Arthi Padmanabhan, Hugo Latapie, Harry Xu

Proceedings of the Seventh Annual Conference on Machine Learning and Systems, 2024

MACRO: Incentivizing Multi-Leader Game-Based Pareto-Efficient Crowdsourcing for Video Analytics.

Yu Chen, Sheng Zhang, Ziying Zhou, Xiaokun Wang, Yu Liang, Ning Chen, Yuting Yan, Mingjun Xiao, Jie Wu, Zhuzhong Qian, Harry Xu

Proceedings of the 40th IEEE International Conference on Data Engineering, 2024

Enabling Large Dynamic Neural Network Training with Learning-based Memory Management.

Jie Ren, Dong Xu, Shuangyan Yang, Jiacheng Zhao, Zhicheng Li, Christian Navasca, Chenxi Wang, Guoqing Harry Xu, Dong Li

Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2024

2023

Toward More Efficient Statistical Debugging with Abstraction Refinement.

Zhiqiang Zuo, Xintao Niu, Siyi Zhang, Lu Fang, Siau-Cheng Khoo, Shan Lu, Chengnian Sun, Guoqing Harry Xu

ACM Trans. Softw. Eng. Methodol., April, 2023

SpecBox: A Label-Based Transparent Speculation Scheme Against Transient Execution Attacks.

Bowen Tang, Chenggang Wu, Zhe Wang, Lichen Jia, Pen-Chung Yew, Yueqiang Cheng, Yinqian Zhang, Chenxi Wang, Guoqing Harry Xu

IEEE Trans. Dependable Secur. Comput., 2023

Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications.

Jiyuan Wang, Qian Zhang, Hongbo Rong, Guoqing Harry Xu, Miryung Kim

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 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

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 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

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 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, Miryung Kim, Guoqing Harry Xu

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 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

Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract.

Christian Navasca, Martin Maas, Petros Maniatis, Hyeontaek Lim, Guoqing Harry Xu

Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management, 2023

Accelerating Graph Mining Systems with Subgraph Morphing.

Kasra Jamshidi, Harry Xu, Keval Vora

Proceedings of the Eighteenth European Conference on Computer Systems, 2023

2022

Resource-Centric Serverless Computing.

Zhiyuan Guo, Zachary Blanco, Mohammad Shahrad, Zerui Wei, Bili Dong, Jinmou Li, Ishaan Pota, Harry Xu, Yiying Zhang

CoRR, 2022

Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory.

Chenxi Wang, Yifan Qiao, Haoran Ma, Shi Liu, Yiying Zhang, Wenguang Chen, Ravi Netravali, Miryung Kim, Guoqing Harry Xu

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 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

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Checking robustness to weak persistency models.

Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 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, Guoqing Harry Xu

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing.

Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair.

Qian Zhang, Jiyuan Wang, Guoqing Harry Xu, Miryung Kim

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

Yashme: detecting persistency races.

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

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, Onur Mutlu, Fang Lv, Xiaobing Feng, Guoqing Harry Xu, Huimin Cui

ACM Trans. Comput. Syst., 2021

Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code.

Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace.

Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 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

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 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

Proceedings of the HotEdgeVideo@MobiCom 2021: Proceedings of the 3rd ACM Workshop on Hot Topics in Video Analytics and Intelligent Edges, 2021

QDiff: Differential Testing of Quantum Software Stacks.

Jiyuan Wang, Qian Zhang, Guoqing Harry Xu, Miryung Kim

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

User-defined cloud.

Yiying Zhang, Ardalan Amiri Sani, Guoqing Harry Xu

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

Jaaru: efficiently model checking persistent memory programs.

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020

Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.

Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu

ACM Trans. Comput. Syst., 2020

Satune: synthesizing efficient SAT encoders.

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky

Proc. ACM Program. Lang., 2020

Securing Smart Home Edge Devices against Compromised Cloud Servers.

Rahmadi Trimananda, Ali Younis, Thomas Kwa, Brian Demsky, Harry Xu

CoRR, 2020

Technical perspective: BLeak: semantics-aware leak detection in the web.

Harry Xu

Commun. ACM, 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

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

JShrink: in-depth investigation into debloating modern Java applications.

Bobby R. Bruce, Tianyi Zhang, Jaspreet Arora, Guoqing Harry Xu, Miryung Kim

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 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

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

Crafty: efficient, HTM-compatible persistent transactions.

Kaan Genç, Michael D. Bond, Guoqing Harry Xu

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Semeru: A Memory-Disaggregated Managed Runtime.

Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, Guoqing Harry Xu

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines.

Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Gerenuk: thin computation over big native data using speculative program transformation.

Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Panthera: holistic memory management for big data processing over hybrid memories.

Chenxi Wang, Huimin Cui, Ting Cao, John N. Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, Guoqing Harry Xu

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code.

Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems.

Jason Teoh, Muhammad Ali Gulzar, Guoqing Harry Xu, Miryung Kim

Proceedings of the ACM Symposium on Cloud Computing, SoCC 2019, 2019

2018

Understanding and Combating Memory Bloat in Managed Data-Intensive Systems.

Khanh Nguyen, Kai Wang, Yingyi Bu, Lu Fang, Guoqing Xu

ACM Trans. Softw. Eng. Methodol., 2018

Calling-to-reference context translation via constraint-guided CFL-reachability.

Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine.

Kai Wang, Zhiqiang Zuo, John Thorpe, Tien Quang Nguyen, Guoqing Harry Xu

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

Vigilia: Securing Smart Home Edge Computing.

Rahmadi Trimananda, Ali Younis, Bojun Wang, Bin Xu, Brian Demsky, Guoqing Harry Xu

Proceedings of the 2018 IEEE/ACM Symposium on Edge Computing, 2018

Skyway: Connecting Managed Heaps in Distributed Big Data Systems.

Khanh Nguyen, Lu Fang, Christian Navasca, Guoqing Xu, Brian Demsky, Shan Lu

Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017

Dynamic Dependence Summaries.

Vijay Krishna Palepu, Guoqing Xu, James A. Jones

ACM Trans. Softw. Eng. Methodol., 2017

Understanding and overcoming parallelism bottlenecks in ForkJoin applications.

Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, Yu David Liu

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code.

Kai Wang, Aftab Hussain, Zhiqiang Zuo, Guoqing Xu, Ardalan Amiri Sani

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

KickStarter: Fast and Accurate Computations on Streaming Graphs via Trimmed Approximations.

Keval Vora, Rajiv Gupta, Guoqing Xu

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

Synergistic Analysis of Evolving Graphs.

Keval Vora, Rajiv Gupta, Guoqing Xu

ACM Trans. Archit. Code Optim., 2016

Load the Edges You Need: A Generic I/O Optimization for Disk-based Graph Processing.

Keval Vora, Guoqing Xu, Rajiv Gupta

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

Yak: A High-Performance Big-Data-Friendly Garbage Collector.

Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky, Shan Lu, Sanazsadat Alamian, Onur Mutlu

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Low-overhead and fully automated statistical debugging with abstraction refinement.

Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC.

Kai Wang, Guoqing Xu, Zhendong Su, Yu David Liu

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Speculative region-based memory management for big data systems.

Khanh Nguyen, Lu Fang, Guoqing Xu, Brian Demsky

Proceedings of the 8th Workshop on Programming Languages and Operating Systems, 2015

Interruptible tasks: treating memory pressure as interrupts for highly scalable data-parallel programs.

Lu Fang, Khanh Nguyen, Guoqing Xu, Brian Demsky, Shan Lu

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Workshop preview of the 13th international workshop on dynamic analysis (WODA 2015).

Guoqing Xu, Walter Binder

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification.

Lu Fang, Liang Dou, Guoqing Xu

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

FACADE: A Compiler and Runtime for (Almost) Object-Bounded Big Data Applications.

Khanh Nguyen, Kai Wang, Yingyi Bu, Lu Fang, Jianfei Hu, Guoqing Xu

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Scalable Runtime Bloat Detection Using Abstract Dynamic Slicing.

Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky

ACM Trans. Softw. Eng. Methodol., 2014

Language, compiler, and runtime system support towards highly scalable big data application (invited talk abstract).

Guoqing Xu

Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, 2014

LeakChecker: Practical Static Memory Leak Detection for Managed Languages.

Dacong Yan, Guoqing Xu, Shengqian Yang, Atanas Rountev

Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

2013

Precise memory leak detection for java software using container profiling.

Guoqing Xu, Atanas Rountev

ACM Trans. Softw. Eng. Methodol., 2013

Cachetor: detecting cacheable data to remove bloat.

Khanh Nguyen, Guoqing Xu

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Resurrector: a tunable object lifetime profiling technique for optimizing real-world programs.

Guoqing Xu

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Improving efficiency of dynamic analysis with dynamic dependence summaries.

Vijay Krishna Palepu, Guoqing Xu, James A. Jones

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

A bloat-aware design for big data applications.

Yingyi Bu, Vinayak R. Borkar, Guoqing Xu, Michael J. Carey

Proceedings of the International Symposium on Memory Management, 2013

Dynamically validating static memory leak warnings.

Mengchen Li, Yuanjun Chen, Linzhang Wang, Guoqing Xu

Proceedings of the International Symposium on Software Testing and Analysis, 2013

CoCo: Sound and Adaptive Replacement of Java Collections.

Guoqing Xu

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software.

Raffi Khatchadourian, Phil Greenwood, Awais Rashid, Guoqing Xu

IEEE Trans. Software Eng., 2012

Rethinking Soot for summary-based whole-program analysis.

Dacong Yan, Guoqing Xu, Atanas Rountev

Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, 2012

Finding reusable data structures.

Guoqing Xu

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Dynamic analysis of inefficiently-used containers.

Shengqian Yang, Dacong Yan, Guoqing Xu, Atanas Rountev

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), 2012

Uncovering performance problems in Java applications with reference propagation profiling.

Dacong Yan, Guoqing Xu, Atanas Rountev

Proceedings of the 34th International Conference on Software Engineering, 2012

Static Detection of Loop-Invariant Data Structures.

Guoqing Xu, Dacong Yan, Atanas Rountev

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

LeakChaser: helping programmers narrow down causes of memory leaks.

Guoqing Xu, Michael D. Bond, Feng Qin, Atanas Rountev

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Demand-driven context-sensitive alias analysis for Java.

Dacong Yan, Guoqing Xu, Atanas Rountev

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

Software bloat analysis: finding, removing, and preventing performance problems in modern large-scale object-oriented applications.

Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Gary Sevitsky

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Detecting inefficiently-used containers to avoid bloat.

Guoqing Xu, Atanas Rountev

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Finding low-utility data structures.

Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2009

Go with the flow: profiling copies to find runtime bloat.

Guoqing Xu, Matthew Arnold, Nick Mitchell, Atanas Rountev, Gary Sevitsky

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis.

Guoqing Xu, Atanas Rountev, Manu Sridharan

Proceedings of the ECOOP 2009, 2009

2008

Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis.

Guoqing Xu, Atanas Rountev

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries.

Atanas Rountev, Mariana Sharp, Guoqing Xu

Proceedings of the Compiler Construction, 17th International Conference, 2008

AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software.

Guoqing Xu, Atanas Rountev

Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008

2007

Efficient checkpointing of java software using context-sensitive capture and replay.

Guoqing Xu, Atanas Rountev, Yan Tang, Feng Qin

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Regression Test Selection for AspectJ Software.

Guoqing Xu, Atanas Rountev

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

A regression tests selection technique for aspect-oriented programs.

Guoqing Xu

Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs, 2006

2004

A basic model for components implementation of software architecture.

Guoqing Xu, Zongyuan Yang, Haitao Huang

ACM SIGSOFT Softw. Eng. Notes, 2004

JAOUT: Automated Generation of Aspect-Oriented Unit Test.

Guoqing Xu, Zongyuan Yang, Haitao Huang, Qian Chen II, Ling Chen, Fengbin Xu

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

JCMP: Linking Architecture with Component Building.

Guoqing Xu, Zongyuan Yang, Haitao Huang

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004