Guoqing Harry Xu

46 papers A* 20A 2B 1C 1Misc 5Journal 12Unranked 5

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