Guoqing Harry Xu

Orcid: 0000-0003-4737-2146

Affiliations:
  • University of California, Los Angeles, CA, USA
  • University of California, Irvine, CA, USA (former)
  • Ohio State University, Columbus, OH, USA (former)
  • East China Normal University, Software Engineering Lab, Shanghai, China (former)


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Harvesting Idle Memory for Application-managed Soft State with Midas.
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

Parcae: Proactive, Liveput-Optimized DNN Training on Preemptible Instances.
Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

Enabling Large Dynamic Neural Network Training with Learning-based Memory Management.
Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2024

2023
Toward More Efficient Statistical Debugging with Abstraction Refinement.
ACM Trans. Softw. Eng. Methodol., April, 2023

SpecBox: A Label-Based Transparent Speculation Scheme Against Transient Execution Attacks.
IEEE Trans. Dependable Secur. Comput., 2023

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

Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications.
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.
Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, 2023

Bamboo: Making Preemptible Instances Resilient for Affordable Training of Large DNNs.
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.
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.
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.
Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management, 2023

Accelerating Graph Mining Systems with Subgraph Morphing.
Proceedings of the Eighteenth European Conference on Computer Systems, 2023

2022
Resource-Centric Serverless Computing.
CoRR, 2022

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

Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters.
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.
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.
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.
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.
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.
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.
ACM Trans. Comput. Syst., 2021

Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code.
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.
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.
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Towards memory-efficient inference in edge video analytics.
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.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

User-defined cloud.
Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

Jaaru: efficiently model checking persistent memory programs.
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.
ACM Trans. Comput. Syst., 2020

Satune: synthesizing efficient SAT encoders.
Proc. ACM Program. Lang., 2020

Securing Smart Home Edge Devices against Compromised Cloud Servers.
CoRR, 2020

Technical perspective: BLeak: semantics-aware leak detection in the web.
Commun. ACM, 2020

Understanding and automatically detecting conflicting interactions between smart home IoT applications.
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.
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.
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.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Semeru: A Memory-Disaggregated Managed Runtime.
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.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Gerenuk: thin computation over big native data using speculative program transformation.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Panthera: holistic memory management for big data processing over hybrid memories.
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.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems.
Proceedings of the ACM Symposium on Cloud Computing, SoCC 2019, 2019

2018
Understanding and Combating Memory Bloat in Managed Data-Intensive Systems.
ACM Trans. Softw. Eng. Methodol., 2018

Calling-to-reference context translation via constraint-guided CFL-reachability.
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.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

Vigilia: Securing Smart Home Edge Computing.
Proceedings of the 2018 IEEE/ACM Symposium on Edge Computing, 2018

Skyway: Connecting Managed Heaps in Distributed Big Data Systems.
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018

2017
Dynamic Dependence Summaries.
ACM Trans. Softw. Eng. Methodol., 2017

Understanding and overcoming parallelism bottlenecks in ForkJoin applications.
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.
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.
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016
Synergistic Analysis of Evolving Graphs.
ACM Trans. Archit. Code Optim., 2016

Load the Edges You Need: A Generic I/O Optimization for Disk-based Graph Processing.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016

Yak: A High-Performance Big-Data-Friendly Garbage Collector.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Low-overhead and fully automated statistical debugging with abstraction refinement.
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.
Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Speculative region-based memory management for big data systems.
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.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Workshop preview of the 13th international workshop on dynamic analysis (WODA 2015).
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

FACADE: A Compiler and Runtime for (Almost) Object-Bounded Big Data Applications.
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.
ACM Trans. Softw. Eng. Methodol., 2014

Language, compiler, and runtime system support towards highly scalable big data application (invited talk abstract).
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.
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.
ACM Trans. Softw. Eng. Methodol., 2013

Cachetor: detecting cacheable data to remove bloat.
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.
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.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

A bloat-aware design for big data applications.
Proceedings of the International Symposium on Memory Management, 2013

Dynamically validating static memory leak warnings.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

CoCo: Sound and Adaptive Replacement of Java Collections.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012
Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software.
IEEE Trans. Software Eng., 2012

Rethinking Soot for summary-based whole-program analysis.
Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, 2012

Finding reusable data structures.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Dynamic analysis of inefficiently-used containers.
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.
Proceedings of the 34th International Conference on Software Engineering, 2012

Static Detection of Loop-Invariant Data Structures.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
LeakChaser: helping programmers narrow down causes of memory leaks.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Demand-driven context-sensitive alias analysis for Java.
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.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Detecting inefficiently-used containers to avoid bloat.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Finding low-utility data structures.
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.
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.
Proceedings of the ECOOP 2009, 2009

2008
Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries.
Proceedings of the Compiler Construction, 17th International Conference, 2008

AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software.
Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008

2007
Efficient checkpointing of java software using context-sensitive capture and replay.
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.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006
A regression tests selection technique for aspect-oriented programs.
Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs, 2006

2004
A basic model for components implementation of software architecture.
ACM SIGSOFT Softw. Eng. Notes, 2004

JAOUT: Automated Generation of Aspect-Oriented Unit Test.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

JCMP: Linking Architecture with Component Building.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004


  Loading...