Guoqing Harry Xu

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 47

Top Topics

Video Analytics

Memory Management

Top Venues

Publications

Jie Ren, Dong Xu, Shuangyan Yang, Jiacheng Zhao, Zhicheng Li, Christian Navasca, Chenxi Wang, Guoqing Harry Xu, Dong Li
Enabling Large Dynamic Neural Network Training with Learning-based Memory Management. HPCA (2024)
Yifan Qiao, Chenxi Wang, Zhenyuan Ruan, Adam Belay, Qingda Lu, Yiying Zhang, Miryung Kim, Guoqing Harry Xu
Hermit: Low-Latency, High-Throughput, and Transparent Remote Memory via Feedback-Directed Asynchrony. NSDI (2023)
Chenxi Wang, Yifan Qiao, Haoran Ma, Shi Liu, Wenguang Chen, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory. NSDI (2023)
Zhiqiang Zuo, Xintao Niu, Siyi Zhang, Lu Fang, Siau-Cheng Khoo, Shan Lu, Chengnian Sun, Guoqing Harry Xu
Toward More Efficient Statistical Debugging with Abstraction Refinement. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Christian Navasca, Martin Maas, Petros Maniatis, Hyeontaek Lim, Guoqing Harry Xu
Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract. ISMM (2023)
John Thorpe, Pengzhan Zhao, Jonathan Eyolfson, Yifan Qiao, Zhihao Jia, Minjia Zhang, Ravi Netravali, Guoqing Harry Xu
Bamboo: Making Preemptible Instances Resilient for Affordable Training of Large DNNs. NSDI (2023)
Jiyuan Wang, Qian Zhang, Hongbo Rong, Guoqing Harry Xu, Miryung Kim
Leveraging Hardware Probes and Optimizations for Accelerating Fuzz Testing of Heterogeneous Applications. ESEC/SIGSOFT FSE (2023)
Bowen Tang, Chenggang Wu, Zhe Wang, Lichen Jia, Pen-Chung Yew, Yueqiang Cheng, Yinqian Zhang, Chenxi Wang, Guoqing Harry Xu
SpecBox: A Label-Based Transparent Speculation Scheme Against Transient Execution Attacks. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Arthi Padmanabhan, Neil Agarwal, Anand P. Iyer, Ganesh Ananthanarayanan, Yuanchao Shu, Nikolaos Karianakis, Guoqing Harry Xu, Ravi Netravali
Gemel: Model Merging for Memory-Efficient, Real-Time Video Analytics at the Edge. NSDI (2023)
Arthi Padmanabhan, Neil Agarwal, Anand P. Iyer, Ganesh Ananthanarayanan, Yuanchao Shu, Nikolaos Karianakis, Guoqing Harry Xu, Ravi Netravali
GEMEL: Model Merging for Memory-Efficient, Real-Time Video Analytics at the Edge. CoRR (2022)
John Thorpe, Pengzhan Zhao, Jonathan Eyolfson, Yifan Qiao, Zhihao Jia, Minjia Zhang, Ravi Netravali, Guoqing Harry Xu
Bamboo: Making Preemptible Instances Resilient for Affordable Training of Large DNNs. CoRR (2022)
Lei Chen, Jiacheng Zhao, Chenxi Wang, Ting Cao, John N. Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, Guoqing Harry Xu, Huimin Cui
Unified Holistic Memory Management Supporting Multiple Big Data Processing Frameworks over Hybrid Memories. ACM Trans. Comput. Syst. 39 (2022)
Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky
Yashme: detecting persistency races. ASPLOS (2022)
Qian Zhang, Jiyuan Wang, Guoqing Harry Xu, Miryung Kim
HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair. ASPLOS (2022)
Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. VMCAI (2022)
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, Guoqing Harry Xu
Mako: a low-pause, high-throughput evacuating collector for memory-disaggregated datacenters. PLDI (2022)
Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu
UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. OSDI (2022)
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. OSDI (2022)
Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, Brian Demsky
Checking robustness to weak persistency models. PLDI (2022)
Chenxi Wang, Yifan Qiao, Haoran Ma, Shi Liu, Yiying Zhang, Wenguang Chen, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
Canvas: Isolated and Adaptive Swapping for Multi-Applications on Remote Memory. CoRR (2022)
Zhiqiang Zuo, Kai Wang, Aftab Hussain, Ardalan Amiri Sani, Yiyu Zhang, Shenming Lu, Wensheng Dou, Linzhang Wang, Xuandong Li, Chenxi Wang, Guoqing Harry Xu
Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan. ACM Trans. Comput. Syst. 38 (1-2) (2021)
Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky
Jaaru: efficiently model checking persistent memory programs. ASPLOS (2021)
Arthi Padmanabhan, Anand Padmanabha Iyer, Ganesh Ananthanarayanan, Yuanchao Shu, Nikolaos Karianakis, Guoqing Harry Xu, Ravi Netravali
Towards memory-efficient inference in edge video analytics. HotEdgeVideo@MobiCom (2021)
Yiying Zhang, Ardalan Amiri Sani, Guoqing Harry Xu
User-defined cloud. HotOS (2021)
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace. PLDI (2021)
Jiyuan Wang, Qian Zhang, Guoqing Harry Xu, Miryung Kim
QDiff: Differential Testing of Quantum Software Stacks. ASE (2021)
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, Guoqing Harry Xu
Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code. PLDI (2021)
Bowen Tang, Chenggang Wu, Zhe Wang, Lichen Jia, Pen-Chung Yew, Yueqiang Cheng, Yinqian Zhang, Chenxi Wang, Guoqing Harry Xu
SpecBox: A Label-Based Transparent Speculation Scheme Against Transient Execution Attacks. CoRR (2021)
Rahmadi Trimananda, Weiyu Luo, Brian Demsky, Guoqing Harry Xu
Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate. CoRR (2021)
John Thorpe, Yifan Qiao, Jonathan Eyolfson, Shen Teng, Guanzhou Hu, Zhihao Jia, Jinliang Wei, Keval Vora, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads. CoRR (2021)
John Thorpe, Yifan Qiao, Jonathan Eyolfson, Shen Teng, Guanzhou Hu, Zhihao Jia, Jinliang Wei, Keval Vora, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads. OSDI (2021)
Chenxi Wang, Haoran Ma, Shi Liu, Yuanqi Li, Zhenyuan Ruan, Khanh Nguyen, Michael D. Bond, Ravi Netravali, Miryung Kim, Guoqing Harry Xu
Semeru: A Memory-Disaggregated Managed Runtime. OSDI (2020)
Kaan Genç, Michael D. Bond, Guoqing Harry Xu
Crafty: efficient, HTM-compatible persistent transactions. PLDI (2020)
Yuanqi Li, Arthi Padmanabhan, Pengzhan Zhao, Yufei Wang, Guoqing Harry Xu, Ravi Netravali
Reducto: On-Camera Filtering for Resource-Efficient Real-Time Video Analytics. SIGCOMM (2020)
Kaan Genç, Michael D. Bond, Guoqing Harry Xu
Crafty: Efficient, HTM-Compatible Persistent Transactions. CoRR (2020)
Rahmadi Trimananda, Seyed Amir Hossein Aqajari, Jason Chuang, Brian Demsky, Guoqing Harry Xu, Shan Lu
Understanding and automatically detecting conflicting interactions between smart home IoT applications. ESEC/SIGSOFT FSE (2020)
Bobby R. Bruce, Tianyi Zhang, Jaspreet Arora, Guoqing Harry Xu, Miryung Kim
JShrink: in-depth investigation into debloating modern Java applications. ESEC/SIGSOFT FSE (2020)
Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky
Satune: synthesizing efficient SAT encoders. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Zhiqiang Zuo, John Thorpe, Yifei Wang, Qiuhong Pan, Shenming Lu, Kai Wang, Guoqing Harry Xu, Linzhang Wang, Xuandong Li
Grapple: A Graph System for Static Finite-State Property Checking of Large-Scale Systems Code. EuroSys (2019)
Jason Teoh, Muhammad Ali Gulzar, Guoqing Harry Xu, Miryung Kim
PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems. SoCC (2019)
Chenxi Wang, Huimin Cui, Ting Cao, John N. Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, Guoqing Harry Xu
Panthera: holistic memory management for big data processing over hybrid memories. PLDI (2019)
Christian Navasca, Cheng Cai, Khanh Nguyen, Brian Demsky, Shan Lu, Miryung Kim, Guoqing Harry Xu
Gerenuk: thin computation over big native data using speculative program transformation. SOSP (2019)
Jason Teoh, Guoqing Harry Xu, Miryung Kim, Muhammad Ali Gulzar
PerfDebug: Performance Debugging of Computation Skew in Dataflow Systems. SoCC (2019)
Guoqing Harry Xu, Margus Veanes, Michael Barnett, Madan Musuvathi, Todd Mytkowicz, Ben Zorn, Huan He, Haibo Lin
Niijima: sound and automated computation consolidation for efficient multilingual data-parallel pipelines. SOSP (2019)
Rahmadi Trimananda, Ali Younis, Bojun Wang, Bin Xu, Brian Demsky, Guoqing Harry Xu
Vigilia: Securing Smart Home Edge Computing. SEC (2018)
Kai Wang, Zhiqiang Zuo, John Thorpe, Tien Quang Nguyen, Guoqing Harry Xu
RStream: Marrying Relational Algebra with Streaming for Efficient Graph Mining on A Single Machine. OSDI (2018)
Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su
Calling-to-reference context translation via constraint-guided CFL-reachability. PLDI (2018)