Haohui Mai - RankMe

14 papers A* 7Journal 3Unranked 3

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	AReaL-Hex: Accommodating Asynchronous RL Training over Heterogeneous GPUs. CoRR Ran Yan, Youhe Jiang, Tianyuan Wu, Jiaxuan Gao, Zhiyu Mei, Wei Fu, Haohui Mai, Wei Wang, Yi Wu, Binhang Yuan
2025	J	`jnl`	Training Language Models to Generate Quality Code with Program Analysis Feedback. CoRR Feng Yao, Zilong Wang, Liyuan Liu, Junxia Cui, Li Zhong, Xiaohan Fu, Haohui Mai, Vish Krishnan, Jianfeng Gao, Jingbo Shang
2025	A*	`conf`	VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM. EMNLP Lesheng Jin, Zhenyuan Ruan, Haohui Mai, Jingbo Shang
2025	J	`jnl`	VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM. CoRR Lesheng Jin, Zhenyuan Ruan, Haohui Mai, Jingbo Shang
2023	A*	`conf`	Honeycomb: Secure and Efficient GPU Executions via Static Validation. OSDI Haohui Mai, Jiacheng Zhao, Hongren Zheng, Yiyang Zhao, Zibin Liu, Mingyu Gao, Cong Wang, Huimin Cui, Xiaobing Feng, Christos Kozyrakis
2023	—	`conf`	SIRIUS: Harvesting Whole-Program Optimization Opportunities for DNNs. MLSys Yijin Li, Jiacheng Zhao, Qianqi Sun, Haohui Mai, Lei Chen, Wanlu Cao, Yanfan Chen, Zhicheng Li, Ying Liu, Xinyuan Zhang, Xiyu Shi, Jie Zhao, Jingling Xue, Huimin Cui, Xiaobing Feng
2020	A*	`conf`	Boxer: Preventing fraud by scanning credit cards. USENIX Security Symposium Zain ul Abi Din, Hari Venugopalan, Jaime Park, Andy Li, Weisu Yin, Haohui Mai, Yong Jae Lee, Steven Liu, Samuel T. King
2013	—	`—`	Building abstractions for fast, secure, reliable computer systems Haohui Mai
2013	A*	`conf`	Verifying security invariants in ExpressOS. ASPLOS Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan
2012	—	`conf`	A Case for Parallelizing Web Pages. HotPar Haohui Mai, Shuo Tang, Samuel T. King, Calin Cascaval, Pablo Montesinos
2011	A*	`conf`	Debugging the data plane with anteater. SIGCOMM Haohui Mai, Ahmed Khurshid, Rachit Agarwal, Matthew Caesar, Brighten Godfrey, Samuel Talmadge King
2010	A*	`conf`	SherLog: error diagnosis by connecting clues from run-time logs. ASPLOS Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou, Shankar Pasupathy
2010	A*	`conf`	Trust and Protection in the Illinois Browser Operating System. OSDI Shuo Tang, Haohui Mai, Samuel T. King
2008	—	`conf`	Towards Automatic Inference of Task Hierarchies in Complex Systems. HotDep Haohui Mai, Chongnan Gao, Xuezheng Liu, Xi Wang, Geoffrey M. Voelker