( en | de | ru )

 

Disambiguation of "Xu, Guoqing (Harry)"

Author of the publication

copydeleteadd this publication to your clipboard
Low-overhead and fully automated statistical debugging with abstraction refinement.

, , , , and . OOPSLA, page 881-896. ACM, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Guoqing Lin

Guoqing Xiao

Walther Harry

Guoqing Zhang

Guoqing Zhou

 

Other publications of authors with the same name

Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters., , , , , , , and . PLDI, page 92-107. ACM, (2022)Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads., , , , , , , , , and 1 other author(s). OSDI, page 495-514. USENIX Association, (2021)MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime., , , , , , , and . OSDI, page 35-53. USENIX Association, (2022)PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems., , , and . SoCC, page 465-476. ACM, (2019)Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code., , , , , , , , and . EuroSys, page 38:1-38:17. ACM, (2019)Gerenuk: thin computation over big native data using speculative program transformation., , , , , , and . SOSP, page 538-553. ACM, (2019)Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines., , , , , , , and . SOSP, page 306-321. ACM, (2019)Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications., , , , and . ESEC/SIGSOFT FSE, page 1101-1113. ACM, (2023)Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory., , , , , , , and . NSDI, page 161-179. USENIX Association, (2023)Vigilia: Securing Smart Home Edge Computing., , , , , and . SEC, page 74-89. IEEE, (2018)