Follow
Haoxiang Lin
Haoxiang Lin
Microsoft Research Asia
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
MODIST: Transparent model checking of unmodified distributed systems
J Yang, T Chen, M Wu, Z Xu, X Liu, H Lin, M Yang, F Long, L Zhang, ...
NSDI'09, 213-228, 2009
3172009
GraM: scaling graph computation to the trillions
M Wu, F Yang, J Xue, W Xiao, Y Miao, L Wei, H Lin, Y Dai, L Zhou
Proceedings of the Sixth ACM Symposium on Cloud Computing, 408-421, 2015
1622015
Estimating gpu memory consumption of deep learning models
Y Gao, Y Liu, H Zhang, Z Li, Y Zhu, H Lin, M Yang
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
1112020
Optimizing Data Shuffling in Data-Parallel Computation by Understanding User-Defined Functions
J Zhang, H Zhou, R Chen, X Fan, Z Guo, H Lin, JY Li, W Lin, J Zhou, ...
9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12 …, 2012
1092012
An empirical study on program failures of deep learning jobs
R Zhang, W Xiao, H Zhang, Y Liu, H Lin, M Yang
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
89*2020
An empirical study on quality issues of production big data platform
H Zhou, JG Lou, H Zhang, H Lin, H Lin, T Qin
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
582015
A characteristic study on failures of production distributed data-parallel programs
S Li, H Zhou, H Lin, T Xiao, H Lin, W Lin, T Xie
2013 35th International Conference on Software Engineering (ICSE), 963-972, 2013
502013
Data-parallel computation management
J Zhang, H Zhou, Z Guo, H Lin, L Zhou
US Patent 9,383,982, 2016
452016
G2: A graph processing system for diagnosing distributed systems
Z Guo, D Zhou, H Lin, M Yang, F Long, C Deng, C Liu, L Zhou
2011 USENIX Annual Technical Conference (USENIX ATC 11), 2011
432011
Enhancing the interoperability between deep learning frameworks by model conversion
Y Liu, C Chen, R Zhang, T Qin, X Ji, H Lin, M Yang
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
362020
Hang analysis: fighting responsiveness bugs
X Wang, Z Guo, X Liu, Z Xu, H Lin, X Wang, Z Zhang
ACM SIGOPS Operating Systems Review 42 (4), 177-190, 2008
362008
Analysis and detection of soft hang responsiveness program errors
H Lin, XI Wang, Z Guo, X Liu, Z Zhang
US Patent 8,166,464, 2012
322012
Runtime performance prediction for deep learning models with graph neural network
Y Gao, X Gu, H Zhang, H Lin, M Yang
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
302023
Language-based replay via data flow cut
M Wu, F Long, X Wang, Z Xu, H Lin, X Liu, Z Guo, H Guo, L Zhou, Z Zhang
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
232010
Automatic Program Partition For Targeted Replay
M Wu, F Long, Z Xu, X Liu, H Lin, Z Guo, Z Zhang, L Zhou
US Patent App. 12/951,253, 2012
192012
Resource-Guided Configuration Space Reduction for Deep Learning Models
Y Gao, Y Zhu, H Zhang, H Lin, M Yang
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
112021
Refty: Refinement Types for Valid Deep Learning Models
Y Gao, Z Li, H Lin, H Zhang, M Wu, M Yang
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE …, 2022
32022
基于 Linux 的通用加密文件系统 Waycryptic 的设计与实现
林昊翔, 董渊, 张为, 张素琴, 胡长军
小型微型计算机系统 28 (1), 122-126, 2007
32007
An Empirical Study on Quality Issues of Deep Learning Platform
Y Gao, X Shi, H Lin, H Zhang, H Wu, R Li, M Yang
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
22023
A simple proof on the inequality of arithmetic and geometric means
H Lin
arXiv preprint arXiv:1201.5534, 2011
22011
The system can't perform the operation now. Try again later.
Articles 1–20